ideas-1.5: Feedback services for intelligent tutoring systems
Portabilityportable (depends on ghc)
Safe HaskellSafe




Datatype for representing a derivation (parameterized both in the terms and the steps)


Data type

Constructing a derivation

prepend :: (a, s) -> Derivation s a -> Derivation s a Source

extend :: Derivation s a -> (s, a) -> Derivation s a Source

Querying a derivation

isEmpty :: Derivation s a -> Bool Source

Tests whether the derivation is empty

derivationLength :: Derivation s a -> Int Source

Returns the number of steps in a derivation

terms :: Derivation s a -> [a] Source

All terms in a derivation

steps :: Derivation s a -> [s] Source

All steps in a derivation

triples :: Derivation s a -> [(a, s, a)] Source

The triples of a derivation, consisting of the before term, the step, and the after term.

updateSteps :: (a -> s -> a -> t) -> Derivation s a -> Derivation t a Source

derivationM :: Monad m => (s -> m ()) -> (a -> m ()) -> Derivation s a -> m () Source

Apply a monadic function to each term, and to each step