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