| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.Integral
Documentation
data INTEGRAL a where
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 | |
| ToTree INTEGRAL | |
| Equality INTEGRAL | |
| Sharable INTEGRAL | |
| AlphaEq dom dom dom env => AlphaEq INTEGRAL INTEGRAL dom env | |
| SizeProp (:|| INTEGRAL Type) | |
| (:<: (:|| INTEGRAL Type) dom, :<: (:|| BITS Type) dom, :<: (:|| NUM Type) dom, :<: (:|| EQ Type) dom, :<: (:|| ORD Type) dom, :<: (:|| Condition Type) dom, :<: (:|| Logic Type) dom, OptimizeSuper dom, Optimize (:|| Condition Type) dom) => Optimize (:|| INTEGRAL Type) dom |