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: 4.7.0.0

type family If cond tru fls Source

Type-level If. `If True a b`

==> `a`

; `If False a b`

==> `b`

type family a && b infixr 3 Source

Type-level "and"

type family a || b infixr 2 Source

Type-level "or"

Type-level "not"

© The University of Glasgow and others

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

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