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

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

- class Recognizable f where
- data Recognizer a
- makeRecognizer :: (a -> a -> Bool) -> Recognizer a
- makeRecognizerTrans :: Trans (a, a) () -> Recognizer a

# data type and type class

class Recognizable f where Source #

recognizer :: f a -> Recognizer a Source #

recognizeAll :: f a -> a -> a -> [Environment] Source #

recognize :: f a -> a -> a -> Maybe Environment Source #

recognizeTrans :: f a -> Trans (a, a) () Source #

data Recognizer a Source #

# Constructor functions

makeRecognizer :: (a -> a -> Bool) -> Recognizer a Source #

makeRecognizerTrans :: Trans (a, a) () -> Recognizer a Source #