Ideas.Common.Rule.Recognizer

data type and type class

class Recognizable f where

Minimal complete definition

recognizer

Methods

recognizer :: f a -> Recognizer a

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

recognize :: f a -> a -> a -> Maybe Environment

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

Instances

Recognizable Recognizer

Defined in Ideas.Common.Rule.Recognizer

Methods

recognizer :: Recognizer a -> Recognizer a

recognizeAll :: Recognizer a -> a -> a -> [Environment]

recognize :: Recognizer a -> a -> a -> Maybe Environment

recognizeTrans :: Recognizer a -> Trans (a, a) ()

Recognizable Rule

Defined in Ideas.Common.Rule.Abstract

Methods

recognizer :: Rule a -> Recognizer a

recognizeAll :: Rule a -> a -> a -> [Environment]

recognize :: Rule a -> a -> a -> Maybe Environment

recognizeTrans :: Rule a -> Trans (a, a) ()

data Recognizer a

Instances

LiftView Recognizer

Defined in Ideas.Common.Rule.Recognizer

Methods

liftView :: View a b -> Recognizer b -> Recognizer a

liftViewIn :: View a (b, c) -> Recognizer b -> Recognizer a

Recognizable Recognizer

Defined in Ideas.Common.Rule.Recognizer

Methods

recognizer :: Recognizer a -> Recognizer a

recognizeAll :: Recognizer a -> a -> a -> [Environment]

recognize :: Recognizer a -> a -> a -> Maybe Environment

recognizeTrans :: Recognizer a -> Trans (a, a) ()

Semigroup (Recognizer a)

Defined in Ideas.Common.Rule.Recognizer

Methods

(<>) :: Recognizer a -> Recognizer a -> Recognizer a

sconcat :: NonEmpty (Recognizer a) -> Recognizer a

stimes :: Integral b => b -> Recognizer a -> Recognizer a

Monoid (Recognizer a)

Defined in Ideas.Common.Rule.Recognizer

Methods

mempty :: Recognizer a

mappend :: Recognizer a -> Recognizer a -> Recognizer a

mconcat :: [Recognizer a] -> Recognizer a

HasRefs (Recognizer a)

Defined in Ideas.Common.Rule.Recognizer

Methods

getRefs :: Recognizer a -> [Some Ref]

allRefs :: Recognizer a -> [Some Ref]

getRefIds :: Recognizer a -> [Id]

Constructor functions

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

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