| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Service.State
Contents
Description
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
- statePrefix :: State a -> Prefix (Context a)
- stateContext :: State a -> Context a
- stateTerm :: State a -> 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 -> [((Step (Context a), Context a), State a)]
Exercise state
makeNoState :: Exercise a -> Context a -> State a Source
emptyStateContext :: Exercise a -> Context a -> State a Source
emptyState :: Exercise a -> a -> State a Source
statePrefix :: State a -> Prefix (Context a) Source
stateContext :: State a -> Context a Source
withoutPrefix :: State a -> Bool Source
stateLabels :: State a -> [[Id]] Source