Feldspar.Core.Constructs.Integral

feldspar-language-0.6.0.2: A functional embedded language for DSP and parallelism

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 |