Defines the mapping between haskell types and a set of optimization parameters used to represent said type.
Documentation
limitPositive, limitUnit, limitNegative :: Num a => Limit aSource
class Empty z => Parameter z x | x -> z whereSource
pokeParam :: z -> x -> Ptr Double -> IO ()Source
peekParam :: z -> Ptr Double -> IO xSource
Parameter () Bool | |
Parameter () Char | |
Parameter () () | |
Parameter zb b => Parameter zb (Maybe b) | |
Parameter (Limit Double) Double | |
Parameter (Limit Float) Float | |
Parameter (Limit Int) Int | |
(Parameter za a, Parameter zb b) => Parameter (za, zb) (Either a b) | |
(Parameter za a, Parameter zb b) => Parameter (za, zb) (a, b) | |
(Parameter za a, Parameter zb b, Parameter zc c) => Parameter (za, zb, zc) (a, b, c) |