Ideas.Common.Derivation

Data type

data Derivation s a

Constructing a derivation

emptyDerivation

prepend

extend

Querying a derivation

isEmpty

derivationLength

terms

steps

triples

firstTerm

lastTerm

lastStep

withoutLast

updateSteps

derivationM