Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulerebase-1.21.2Haskell2010

Rebase.Data.Type.Bool

Packagerebase-1.21.2
Exports4
LanguageHaskell2010
LicenceMIT
SourceBool.hs

familytype family (&&) (a :: Bool) (b :: Bool) :: Bool where

Type-level "and"

Equations

(&&) 'False a = 'False
(&&) 'True a = a
(&&) a 'False = 'False
(&&) a 'True = a
(&&) a a = a

familytype family (||) (a :: Bool) (b :: Bool) :: Bool where

Type-level "or"

Equations

(||) 'False a = a
(||) 'True a = 'True
(||) a 'False = a
(||) a 'True = 'True
(||) a a = a

familytype family If (cond :: Bool) (tru :: k) (fls :: k) :: k where

Type-level If. If True a b ==> a; If False a b ==> b

Equations

If 'True tru fls = tru
If 'False tru fls = fls

familytype family Not (a :: Bool) :: Bool where

Type-level "not". An injective type family since 4.10.0.0.

Equations

Not 'False = 'True
Not 'True = 'False