Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

A type class for sequences together with the `Firsts`

type class for
accessing the firsts set and ready predicate.

## Synopsis

- class Sequence a where
- type Sym a

- class Firsts s where
- type Elem s

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

# Sequence type class

class Sequence a where 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.

Singleton sequence.

Sequential composition.

# Firsts type class

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