ideas-1.5: 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

Methods

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

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

complement :: a -> a 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