| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Integral
Documentation
Constructors
| Quot :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) | |
| Rem :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) | |
| Div :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) | |
| Mod :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) | |
| Exp :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) |
Instances
| EvalBind INTEGRAL | |
| Semantic INTEGRAL | |
| Eval INTEGRAL | |
| Render INTEGRAL | |
| StringTree INTEGRAL | |
| Equality INTEGRAL | |
| Monotonic INTEGRAL | |
| Sharable INTEGRAL | |
| AlphaEq dom dom dom env => AlphaEq INTEGRAL INTEGRAL dom env | |
| SizeProp ((:||) INTEGRAL Type) | |
| ((:<:) ((:||) INTEGRAL Type) dom, (:<:) ((:||) BITS Type) dom, (:<:) ((:||) EQ Type) dom, (:<:) ((:||) ORD Type) dom, (:<:) ((:||) COMPLEX Type) dom, (:<:) ((:||) Condition Type) dom, (:<:) ((:||) Logic Type) dom, Monotonic dom, OptimizeSuper dom, Optimize ((:||) Condition Type) dom) => Optimize ((:||) INTEGRAL Type) dom |