Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
EvalBind REALFLOAT | |
Semantic REALFLOAT | |
Eval REALFLOAT | |
Render REALFLOAT | |
StringTree REALFLOAT | |
Equality 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 |