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

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

## Synopsis

- 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 #

## Instances

Recognizable Recognizer Source # | |

Defined in Ideas.Common.Rule.Recognizer recognizer :: Recognizer a -> Recognizer a Source # recognizeAll :: Recognizer a -> a -> a -> [Environment] Source # recognize :: Recognizer a -> a -> a -> Maybe Environment Source # recognizeTrans :: Recognizer a -> Trans (a, a) () Source # | |

Recognizable Rule Source # | |

Defined in Ideas.Common.Rule.Abstract recognizer :: Rule a -> Recognizer a Source # recognizeAll :: Rule a -> a -> a -> [Environment] Source # recognize :: Rule a -> a -> a -> Maybe Environment Source # recognizeTrans :: Rule a -> Trans (a, a) () Source # |

data Recognizer a Source #

## Instances

# Constructor functions

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

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