| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.Primitives.Class.UnitaryCompile
Synopsis
- class (size ~ SizeType prim, prec ~ PrecType prim, ValidPrimShape (PrimFnShape prim)) => UnitaryCompilePrim prim size prec | prim -> size prec where
- compileUPrim :: forall ext' m shape. (m ~ UnitaryCompilePrimMonad ext' prim, size ~ SizeType ext', prec ~ PrecType ext', shape ~ PrimFnShape prim) => prim -> FailProb prec -> m (UStmt size)
Documentation
class (size ~ SizeType prim, prec ~ PrecType prim, ValidPrimShape (PrimFnShape prim)) => UnitaryCompilePrim prim size prec | prim -> size prec where #
Compile a primitive to a unitary statement.
Minimal complete definition
Nothing
Methods
compileUPrim :: forall ext' m shape. (m ~ UnitaryCompilePrimMonad ext' prim, size ~ SizeType ext', prec ~ PrecType ext', shape ~ PrimFnShape prim) => prim -> FailProb prec -> m (UStmt size) #
Instances
| UnitaryCompilePrim (DefaultPrimCollection size prec) size prec # | |
Defined in Traq.Primitives Methods compileUPrim :: forall ext' m (shape :: Type -> Type). (m ~ UnitaryCompilePrimMonad ext' (DefaultPrimCollection size prec), size ~ SizeType ext', prec ~ PrecType ext', shape ~ PrimFnShape (DefaultPrimCollection size prec)) => DefaultPrimCollection size prec -> FailProb prec -> m (UStmt size) # | |