| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.Conversion
Documentation
data Conversion a whereSource
Constructors
| F2I :: (Type a, Integral a, RealFloat b) => Conversion (b :-> Full a) | |
| I2N :: (Type a, Type b, Integral a, Num b, Size a ~ Range a) => Conversion (a :-> Full b) | |
| B2I :: (Type a, Integral a) => Conversion (Bool :-> Full a) | |
| Round :: (Type a, Integral a, RealFloat b) => Conversion (b :-> Full a) | |
| Ceiling :: (Type a, Integral a, RealFloat b) => Conversion (b :-> Full a) | |
| Floor :: (Type a, Integral a, RealFloat b) => Conversion (b :-> Full a) |
Instances
| Semantic Conversion | |
| StringTree Conversion | |
| Render Conversion | |
| Eval Conversion | |
| Equality Conversion | |
| EvalBind Conversion | |
| Monotonic Conversion | |
| Sharable Conversion | |
| AlphaEq dom dom dom env => AlphaEq Conversion Conversion dom env | |
| SizeProp (:|| Conversion Type) | |
| (:<: (:|| Conversion Type) dom, OptimizeSuper dom) => Optimize (:|| Conversion Type) dom |