| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
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 where Source
Minimal complete definition
Methods
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
Instances
data Recognizer a Source
Instances
Constructor functions
makeRecognizer :: (a -> a -> Bool) -> Recognizer a Source
makeRecognizerEnvMonad :: (a -> a -> EnvMonad ()) -> Recognizer a Source
makeRecognizerTrans :: Trans (a, a) () -> Recognizer a Source