Ideas.Service.State

Contents

• Exercise state

Description

Synopsis

• data State a
• startState :: QCGen -> Exercise a -> Maybe String -> a -> State a
• makeState :: Exercise a -> Prefix (Context a) -> Context a -> State a
• makeNoState :: Exercise a -> Context a -> State a
• emptyStateContext :: Exercise a -> Context a -> State a
• emptyState :: Exercise a -> a -> State a
• exercise :: State a -> Exercise a
• statePrefix :: State a -> Prefix (Context a)
• stateContext :: State a -> Context a
• stateTerm :: State a -> a
• stateUser :: State a -> Maybe String
• stateSession :: State a -> Maybe String
• stateStartTerm :: State a -> Maybe String
• restart :: State a -> State a
• withoutPrefix :: State a -> Bool
• stateLabels :: State a -> [[Id]]
• suitable :: State a -> Bool
• finished :: State a -> Bool
• firsts :: Firsts s => s -> [(Elem s, s)]
• microsteps :: State a -> [((Rule (Context a), Context a, Environment), State a)]

Exercise state