Safe Haskell	Safe
Language	Haskell2010

Precursor.Data.Bool

Contents

Booleans
- Operations

Synopsis

Booleans

data Bool :: * #

Constructors

False
True

Instances

Bounded Bool
Methods minBound :: Bool # maxBound :: Bool #
Enum Bool
Methods succ :: Bool -> Bool # pred :: Bool -> Bool # toEnum :: Int -> Bool # fromEnum :: Bool -> Int # enumFrom :: Bool -> [Bool] # enumFromThen :: Bool -> Bool -> [Bool] # enumFromTo :: Bool -> Bool -> [Bool] # enumFromThenTo :: Bool -> Bool -> Bool -> [Bool] #
Eq Bool
Methods (==) :: Bool -> Bool -> Bool # (/=) :: Bool -> Bool -> Bool #
Ord Bool
Methods compare :: Bool -> Bool -> Ordering # (<) :: Bool -> Bool -> Bool # (<=) :: Bool -> Bool -> Bool # (>) :: Bool -> Bool -> Bool # (>=) :: Bool -> Bool -> Bool # max :: Bool -> Bool -> Bool # min :: Bool -> Bool -> Bool #
Generic Bool
Associated Types type Rep Bool :: * -> * # Methods from :: Bool -> Rep Bool x # to :: Rep Bool x -> Bool #
Lift Bool
Methods lift :: Bool -> Q Exp #
Semiring Bool Source #
Methods one :: Bool Source # zero :: Bool Source # (*) :: Bool -> Bool -> Bool Source # (+) :: Bool -> Bool -> Bool Source #
SingI Bool False
Methods sing :: Sing False a
SingI Bool True
Methods sing :: Sing True a
SingKind Bool (KProxy Bool)
Associated Types type DemoteRep (KProxy Bool) (kparam :: KProxy (KProxy Bool)) :: * Methods fromSing :: Sing (KProxy Bool) a -> DemoteRep (KProxy Bool) kparam
type Rep Bool
type Rep Bool = D1 (MetaData "Bool" "GHC.Types" "ghc-prim" False) ((:+:) (C1 (MetaCons "False" PrefixI False) U1) (C1 (MetaCons "True" PrefixI False) U1))
data Sing Bool
data Sing Bool where STrue :: Sing Bool True SFalse :: Sing Bool False
type (==) Bool a b
type (==) Bool a b = EqBool a b
type DemoteRep Bool (KProxy Bool)
type DemoteRep Bool (KProxy Bool) = Bool

Operations

(&&) :: Bool -> Bool -> Bool infixr 3 #

Boolean "and"

(||) :: Bool -> Bool -> Bool infixr 2 #

Boolean "or"

not :: Bool -> Bool #

Boolean "not"

otherwise :: Bool #

otherwise is defined as the value True. It helps to make guards more readable. eg.

 f x | x < 0     = ...
     | otherwise = ...

bool :: a -> a -> Bool -> a Source #

Fold over a Bool.

>>> bool 1 0 True
1
>>> bool 1 0 False
0

ifThenElse :: Bool -> a -> a -> a Source #

Used for desugaring if expressions.

>>> ifThenElse True 1 0
1
>>> ifThenElse False 1 0
0