type-level-tf-0.2.1: Type-level programming library (type families)

Portabilitynon-portable
Stabilityexperimental (MPTC, non-standarad instances)
Maintaineralfonso.acosta@gmail.com

Data.TypeLevel.Bool

Contents

Description

Type-level Booleans.

Synopsis

Type-level boolean values

data False Source

False type-level value

Instances

false :: FalseSource

False value-level reflecting function

data True Source

True type-level value

Instances

true :: TrueSource

True value-level reflecting function

Type-level boolean operations

type family Not b Source

type family And b_0 b_1 Source

type family Or b_0 b_1 Source