| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Conversion
Documentation
data Conversion a where Source
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
| EvalBind Conversion | |
| Semantic Conversion | |
| Eval Conversion | |
| Render Conversion | |
| StringTree Conversion | |
| Equality 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 |