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 #