Ideas.Service.State

The information maintained for a learner trying to complete a derivation.

Exercise state

data State a

Instances

Show (State a)

HasId (State a)

HasEnvironment (State a)

Firsts (State a)

type Elem (State a) = (Step (Context a), Context 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)]

The first set.

microsteps :: State a -> [((Step (Context a), Context a), State a)]