Safe Haskell	Safe

Eta.Types.Bool

Description

The Bool type and its operations

Synopsis

Documentation

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 #
Read Bool
Methods readsPrec :: Int -> ReadS Bool # readList :: ReadS [Bool] readPrec :: ReadPrec Bool readListPrec :: ReadPrec [Bool]
Show Bool
Methods showsPrec :: Int -> Bool -> ShowS # show :: Bool -> String # showList :: [Bool] -> ShowS #
Generic Bool
Associated Types type Rep Bool :: * -> * Methods from :: Bool -> Rep Bool x to :: Rep Bool x -> Bool
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

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

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

(==) :: Eq a => a -> a -> Bool #

(/=) :: Eq a => a -> a -> Bool #

not :: Bool -> Bool #

>>> import Prelude (Int, foldl, (*))
>>> :{
 factorial :: Int -> Int
 factorial n = foldl (*) 1 [1..n]
:}

otherwise :: Bool #

otherwise is defined as True.

Used for guards:

 factorial :: Int -> Int
 factorial n
  | n == 0      = 1
  | otherwise   = n * factorial (n - 1)

>>> factorial 3
6