Dvda.MultipleShooting.MSMonad

Documentation

type State s = StateT s Identity

A state monad parameterized by the type s of the state to carry.

The return function leaves the state unchanged, while >>= uses the final state of the first computation as the initial state of the second.

setStates :: [String] -> State (Step a) [Expr a]

setActions :: [String] -> State (Step a) [Expr a]

addParam :: (Eq a, Hashable a) => String -> State (Step a) (Expr a)

addParams :: (Eq a, Hashable a) => [String] -> State (Step a) [Expr a]

addConstant :: (Eq a, Hashable a) => String -> State (Step a) (Expr a)

addConstants :: (Eq a, Hashable a) => [String] -> State (Step a) [Expr a]

setDxdt :: [Expr a] -> State (Step a) ()

setLagrangeTerm :: Expr a -> (a, a) -> State (Step a) ()

setMayerTerm :: Expr a -> State (Step a) ()

setDt :: Expr a -> State (Step a) ()

addOutput :: Expr a -> String -> State (Step a) ()

setPeriodic :: (Eq a, Hashable a, Show a) => Expr a -> State (Step a) ()

addConstraint :: Expr a -> Ordering -> Expr a -> State (Step a) ()

setBound :: (Show a, Eq a, Hashable a) => Expr a -> (a, a) -> BCTime -> State (Step a) ()

lagrangeStateName, lagrangeTermName :: String