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

Safe HaskellNone

Feldspar.Core.Constructs.SizeProp

Documentation

data PropSize a whereSource

Constructors

PropSize :: (Type a, Type b) => (Size a -> Size b) -> PropSize (a :-> (b :-> Full b)) 

Instances

Semantic PropSize 
StringTree PropSize 
Render PropSize 
Eval PropSize 
Equality PropSize 
EvalBind PropSize 
Monotonic PropSize 
Sharable PropSize 
AlphaEq dom dom dom env => AlphaEq PropSize PropSize dom env 
SizeProp (:|| PropSize Type) 
(:<: (:|| PropSize Type) dom, OptimizeSuper dom) => Optimize (:|| PropSize Type) dom