| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Fractional
Documentation
data FRACTIONAL a where Source
Constructors
| DivFrac :: (Type a, Fractional a) => FRACTIONAL (a :-> (a :-> Full a)) |
Instances
| EvalBind FRACTIONAL | |
| Semantic FRACTIONAL | |
| Eval FRACTIONAL | |
| Render FRACTIONAL | |
| StringTree FRACTIONAL | |
| Equality 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 |