Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.SizeProp

Documentation

Constructors

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

Instances

EvalBind PropSize
Semantic PropSize
Eval PropSize
Render PropSize
StringTree PropSize
Equality 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