Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
The information maintained for a learner trying to complete a derivation.
- data 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
- statePrefixes :: State a -> [Prefix (Context a)]
- stateContext :: State a -> Context a
- stateTerm :: State a -> a
- stateLabels :: State a -> [[LabelInfo]]
Exercise state
makeNoState :: Exercise a -> Context a -> State aSource
emptyStateContext :: Exercise a -> Context a -> State aSource
emptyState :: Exercise a -> a -> State aSource
statePrefixes :: State a -> [Prefix (Context a)]Source
stateContext :: State a -> Context aSource
stateLabels :: State a -> [[LabelInfo]]Source