Portability | portable (depends on ghc) |
---|---|

Stability | provisional |

Maintainer | bastiaan.heeren@ou.nl |

Safe Haskell | None |

- class Recognizable f where
- recognizer :: f a -> Recognizer a
- recognizeAll :: f a -> a -> a -> [Environment]
- recognize :: f a -> a -> a -> Maybe Environment
- recognizeTrans :: f a -> Trans (a, a) ()

- data Recognizer a
- makeRecognizer :: (a -> a -> Bool) -> Recognizer a
- makeRecognizerEnvMonad :: (a -> a -> EnvMonad ()) -> Recognizer a
- makeRecognizerTrans :: Trans (a, a) () -> Recognizer a

# data type and type class

class Recognizable f whereSource

recognizer :: f a -> Recognizer aSource

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

recognize :: f a -> a -> a -> Maybe EnvironmentSource

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

data Recognizer a Source

# Constructor functions

makeRecognizer :: (a -> a -> Bool) -> Recognizer aSource

makeRecognizerEnvMonad :: (a -> a -> EnvMonad ()) -> Recognizer aSource

makeRecognizerTrans :: Trans (a, a) () -> Recognizer aSource