ideas-1.7: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Predicate

Contents

Description

Representation for predicates

Synopsis

Predicate representation

Exports from Boolean algebra

class BoolValue a where Source #

Minimal complete definition

isTrue, isFalse

Methods

true :: a Source #

false :: a Source #

fromBool :: Bool -> a Source #

isTrue :: a -> Bool Source #

isFalse :: a -> Bool Source #

class BoolValue a => Boolean a where Source #

Minimal complete definition

(<&&>), (<||>), complement

Methods

(<&&>) :: a -> a -> a Source #

(<||>) :: a -> a -> a Source #

complement :: a -> a Source #

Instances

Boolean Bool Source # 
Boolean (Predicate a) Source # 
Boolean b => Boolean (a -> b) Source # 

Methods

(<&&>) :: (a -> b) -> (a -> b) -> a -> b Source #

(<||>) :: (a -> b) -> (a -> b) -> a -> b Source #

complement :: (a -> b) -> a -> b Source #

ands :: Boolean a => [a] -> a Source #

ors :: Boolean a => [a] -> a Source #

implies :: Boolean a => a -> a -> a Source #

equivalent :: Boolean a => a -> a -> a Source #