Numeric.Limp.Canon.Program

Documentation

data Program z r c

Constructors

Program

Fields

_objective :: Linear z r c

_constraints :: Constraint z r c

_bounds :: Map (Either z r) (Maybe (R c), Maybe (R c))

objective :: forall z r c. Lens' (Program z r c) (Linear z r c)

constraints :: forall z r c. Lens' (Program z r c) (Constraint z r c)

bounds :: forall z r c. Lens' (Program z r c) (Map (Either z r) (Maybe (R c), Maybe (R c)))

varsOfProgram :: (Ord z, Ord r) => Program z r c -> Set (Either z r)