Recognize.Model.Result

Description

Synopsis

Documentation

Describes the possible results of the predicate of a constraint

Constructors

Success	The predicate was true
Failure	The predicate was false
Unknown	We don't know whether the predicate is true or false

Instances

Eq Result Source #
Instance details Defined in Recognize.Model.Result Methods (==) :: Result -> Result -> Bool # (/=) :: Result -> Result -> Bool #
Show Result Source #
Instance details Defined in Recognize.Model.Result Methods showsPrec :: Int -> Result -> ShowS # show :: Result -> String # showList :: [Result] -> ShowS #
Semigroup Result Source #
Instance details Defined in Recognize.Model.Result Methods (<>) :: Result -> Result -> Result # sconcat :: NonEmpty Result -> Result # stimes :: Integral b => b -> Result -> Result #
Monoid Result Source #
Instance details Defined in Recognize.Model.Result Methods mempty :: Result # mappend :: Result -> Result -> Result # mconcat :: [Result] -> Result #