License | BSD-style (see the LICENSE file in the distribution) |
---|---|

Maintainer | [email protected] |

Stability | experimental |

Portability | not portable |

Safe Haskell | Safe |

Language | Haskell2010 |

Basic operations on type-level Booleans.

Since: base-4.7.0.0

type family If cond tru fls where ... Source

Type-level If. `If True a b`

==> `a`

; `If False a b`

==> `b`

type family a && b where ... infixr 3 Source

Type-level "and"

type family a || b where ... infixr 2 Source

Type-level "or"

type family Not a = res | res -> a where ... Source

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

.

Since: base-4.7.0.0

© The University of Glasgow and others

Licensed under a BSD-style license (see top of the page).

https://downloads.haskell.org/~ghc/8.8.3/docs/html/libraries/base-4.13.0.0/Data-Type-Bool.html