base-4.7.0.0: Basic libraries

LicenseBSD-style (see the LICENSE file in the distribution)
Maintainerlibraries@haskell.org
Stabilityexperimental
Portabilitynot portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Bool

Description

Basic operations on type-level Booleans.

Since: 4.7.0.0

Synopsis

Documentation

type family If cond tru flsSource

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

type family a && bSource

Type-level "and"

type family a || bSource

Type-level "or"

type family Not aSource

Type-level "not"