| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.ConditionM
Documentation
data ConditionM m a whereSource
Constructors
| ConditionM :: (Monad m, Type a) => ConditionM m (Bool :-> (m a :-> (m a :-> Full (m a)))) |
Instances
| Semantic (ConditionM m) | |
| StringTree (ConditionM m) | |
| Render (ConditionM m) | |
| Eval (ConditionM m) | |
| Equality (ConditionM m) | |
| EvalBind (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 |