ideas-1.5: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellSafe
LanguageHaskell98

Ideas.Common.Strategy.Sequence

Contents

Description

A type class for sequences together with the Firsts type class for accessing the firsts set and ready predicate.

Synopsis

Sequence type class

class Sequence a where Source

Minimal complete definition

done, (~>), (.*.)

Associated Types

type Sym a Source

Methods

done :: a Source

The empty sequence.

(~>) :: Sym a -> a -> a infixr 5 Source

Prepend a symbol to a sequence.

(.*.) :: a -> a -> a infixr 5 Source

Append two sequences.

single :: Sym a -> a Source

Singleton sequence.

sequence :: [a] -> a Source

Sequential composition.

Instances

Firsts type class

class Firsts s where Source

Associated Types

type Elem s Source

The type associated with a step in the first set.

Methods

ready :: s -> Bool Source

The ready predicate (we are done).

firsts :: s -> [(Elem s, s)] Source

The firsts set.

Instances

firstsTree :: Firsts s => s -> DerivationTree (Elem s) s Source