Safe Haskell | None |
---|
Documentation
Semantic REALFLOAT | |
StringTree REALFLOAT | |
Render REALFLOAT | |
Eval REALFLOAT | |
Equality REALFLOAT | |
EvalBind REALFLOAT | |
Monotonic REALFLOAT | |
Sharable REALFLOAT | |
AlphaEq dom dom dom env => AlphaEq REALFLOAT REALFLOAT dom env | |
SizeProp (:|| REALFLOAT Type) | |
(:<: (:|| REALFLOAT Type) dom, OptimizeSuper dom) => Optimize (:|| REALFLOAT Type) dom |