data-type-0.0.1: Basic type wrangling types and classes
Data.Type.Bool
data TTrue Source
Instances
data TFalse Source
hTrue :: TTrueSource
hFalse :: TFalseSource
class TNot a r | a -> r whereSource
Methods
tNot :: a -> rSource
class TAnd a b r | a b -> r whereSource
tAnd :: a -> b -> rSource
class TOr a b r | a b -> r whereSource
tOr :: a -> b -> rSource
class CNot f r whereSource
cNot :: f a -> rSource