Optimize.Parameter

Defines the mapping between haskell types and a set of optimization parameters used to represent said type.

Documentation

smallDouble :: Double

data ParamInfo

Constructors

ParamInfo

Fields

limitLow :: !Double

limitHigh :: !Double

isIntegral :: !Bool

data Limit a

Constructors

Limit

Fields

minLimit :: Maybe a

maxLimit :: Maybe a

Instances

Empty (Limit a)

Parameter (Limit Double) Double

Parameter (Limit Float) Float

Parameter (Limit Int) Int

limitNegative :: Num a => Limit a

limitUnit :: Num a => Limit a

limitPositive :: Num a => Limit a

class Empty a where

Methods

empty :: a

Instances

Empty ()

Empty (Maybe a)

Empty (Limit a)

(Empty x, Empty y) => Empty (x, y)

(Empty x, Empty y, Empty z) => Empty (x, y, z)

class Empty z => Parameter z x | x -> z where

Methods

pokeParam :: z -> x -> Ptr Double -> IO ()

peekParam :: z -> Ptr Double -> IO x

paramInfo :: x -> z -> [ParamInfo] -> [ParamInfo]

numParams :: x -> z -> Int

Instances

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)

advancePtr :: forall a. Storable a => Ptr a -> Int -> Ptr a