Safe Haskell | None |
---|
Documentation
data FRACTIONAL a whereSource
DivFrac :: (Type a, Fractional a) => FRACTIONAL (a :-> (a :-> Full a)) |
Semantic FRACTIONAL | |
StringTree FRACTIONAL | |
Render FRACTIONAL | |
Eval FRACTIONAL | |
Equality FRACTIONAL | |
EvalBind FRACTIONAL | |
Monotonic FRACTIONAL | |
Sharable FRACTIONAL | |
AlphaEq dom dom dom env => AlphaEq FRACTIONAL FRACTIONAL dom env | |
SizeProp (:|| FRACTIONAL Type) | |
(:<: (:|| FRACTIONAL Type) dom, :<: (:|| NUM Type) dom, OptimizeSuper dom) => Optimize (:|| FRACTIONAL Type) dom |