Contents Index

Org.Org.Semantic.HBase.TypeCalc.BooleanType

Synopsis

data True data False class BooleanType a where getBooleanTypeValue :: Type a -> Bool class Pick which t f r | which t f -> r class Is a class Isnt a class EitherIs a b class BothAre a b class Not a b | a -> b, b -> a class Or a b c | a b -> c class And a b c | a b -> c

Documentation

data True

Instances BooleanType True Pick True t f t Is True EitherIs True b EitherIs False True BothAre True True BothAre True True Not True False Not False True Or True b True Or True b True And True b b IsAtLeast Zero (NegativeSucc b) True IsAtLeast (Succ a) (NegativeSucc b) True IsAtLeast Zero Zero True IsAtLeast (Succ a) Zero True IsEven Zero True

data False

Instances BooleanType False Pick False t f f Isnt False EitherIs False True Not True False Not False True Or False b b And False b False And False b False IsAtLeast (NegativeSucc a) Zero False IsAtLeast (NegativeSucc a) (Succ b) False IsAtLeast Zero (Succ b) False

class BooleanType a where

Metatype Methods getBooleanTypeValue :: Type a -> Bool Instances BooleanType True BooleanType False

class Pick which t f r | which t f -> r

Instances Pick True t f t Pick False t f f

class Is a

Instances Is True

class Isnt a

Instances Isnt False

class EitherIs a b

Instances EitherIs True b EitherIs False True

class BothAre a b

Instances BothAre True True

class Not a b | a -> b, b -> a

Instances Not True False Not False True

class Or a b c | a b -> c

Instances Or True b True Or False b b

class And a b c | a b -> c

Instances And True b b And False b False

Produced by Haddock version 0.6