type-combinators-0.2.4.3: A collection of data types for type-level programming

CopyrightCopyright (C) 2015 Kyle Carter
LicenseBSD3
MaintainerKyle Carter <kylcarte@indiana.edu>
Stabilityexperimental
PortabilityRankNTypes
Safe HaskellNone
LanguageHaskell2010

Type.Family.Bool

Description

Convenient type families for working with type-level Bools.

Documentation

type family BoolC (b :: Bool) = (c :: Constraint) | c -> b where ... Source #

Equations

BoolC True = ØC 
BoolC False = Fail 

type (==>) a b = Not a || b infixr 1 Source #

type (<==>) a b = a == b infixr 1 Source #

type (^^) a b = (a || b) && Not (a && b) infixr 4 Source #