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

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | Safe-Inferred |

Language | Haskell98 |

A type class for sequences together with the `Step`

datatype.

- class Sequence f where
- class Firsts s where
- firstsMenu :: Firsts s => s -> Menu (Elem s, s)
- firstsOrdered :: Firsts s => (Elem s -> Elem s -> Ordering) -> s -> [(Elem s, s)]
- firstsTree :: Firsts s => s -> DerivationTree (Elem s) s
- stopped :: Firsts s => s -> Bool
- data MenuItem a s
- menuItem :: b -> (a -> s -> b) -> MenuItem a s -> b
- isDone :: MenuItem a s -> Bool

# Sequence type class

# Firsts type class

firstsMenu :: Firsts s => s -> Menu (Elem s, s) Source

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