Numeric.Limp.Program.Bounds

Documentation

data Bounds z r c

Constructors

BoundZ (B (Z c) z)

BoundR (B (R c) r)

type B rep v = (Maybe rep, v, Maybe rep)

lowerUpperZ :: Rep c => Z c -> z -> Z c -> Bounds z r c

lowerZ :: Rep c => Z c -> z -> Bounds z r c

upperZ :: Rep c => z -> Z c -> Bounds z r c

binary :: Rep c => z -> Bounds z r c

lowerUpperR :: Rep c => R c -> r -> R c -> Bounds z r c

lowerR :: Rep c => R c -> r -> Bounds z r c

upperR :: Rep c => r -> R c -> Bounds z r c