| Portability | portable (depends on ghc) |
|---|---|
| Stability | provisional |
| Maintainer | bastiaan.heeren@ou.nl |
| Safe Haskell | None |
Ideas.Common.Rule.Recognizer
Description
- 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
Methods
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
Instances
data Recognizer a Source
Instances
Constructor functions
makeRecognizer :: (a -> a -> Bool) -> Recognizer aSource
makeRecognizerEnvMonad :: (a -> a -> EnvMonad ()) -> Recognizer aSource
makeRecognizerTrans :: Trans (a, a) () -> Recognizer aSource