Ideas.Service.State

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

Exercise state

data State a

Instances

Show (State a)

Methods

showsPrec :: Int -> State a -> ShowS

show :: State a -> String

showList :: [State a] -> ShowS

Firsts (State a)

Associated Types

type Elem (State a) :: *

Methods

ready :: State a -> Bool

firsts :: State a -> [(Elem (State a), State a)]

HasId (State a)

Methods

getId :: State a -> Id

changeId :: (Id -> Id) -> State a -> State a

HasEnvironment (State a)

Methods

environment :: State a -> Environment

setEnvironment :: Environment -> State a -> State a

deleteRef :: Ref a -> State a -> State a

insertRef :: Ref a -> a -> State a -> State a

changeRef :: Ref a -> (a -> a) -> State a -> State a

type Elem (State a)

type Elem (State a) = (Rule (Context a), Context a, Environment)

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)]

The firsts set.

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