| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Logic
Description
Implementation of Logic constructs
Documentation
Logic constructs
Constructors
| And :: Logic (Bool :-> (Bool :-> Full Bool)) | |
| Or :: Logic (Bool :-> (Bool :-> Full Bool)) | |
| Not :: Logic (Bool :-> Full Bool) |
Instances
| EvalBind Logic | |
| Semantic Logic | |
| Eval Logic | |
| Render Logic | |
| StringTree Logic | |
| Equality Logic | |
| Monotonic Logic | |
| Sharable Logic | |
| AlphaEq dom dom dom env => AlphaEq Logic Logic dom env | |
| SizeProp ((:||) Logic Type) | |
| ((:<:) ((:||) Logic Type) dom, (:<:) ((:||) EQ Type) dom, (:<:) ((:||) ORD Type) dom, Monotonic dom, OptimizeSuper dom) => Optimize ((:||) Logic Type) dom |