| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.ConditionM
Documentation
data ConditionM m a where Source
Constructors
| ConditionM :: (Monad m, Type a) => ConditionM m (Bool :-> (m a :-> (m a :-> Full (m a)))) |
Instances
| EvalBind (ConditionM m) | |
| Semantic (ConditionM m) | |
| Eval (ConditionM m) | |
| Render (ConditionM m) | |
| StringTree (ConditionM m) | |
| Equality (ConditionM m) | |
| Monotonic (ConditionM m) | |
| LatticeSize1 m => SizeProp (ConditionM m) | |
| Sharable (ConditionM m) | |
| ((:<:) (ConditionM m) dom, (:<:) ((:||) Logic Type) dom, OptimizeSuper dom, LatticeSize1 m) => Optimize (ConditionM m) dom | |
| AlphaEq dom dom dom env => AlphaEq (ConditionM m) (ConditionM m) dom env |