type-combinators-0.2.2.0: 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 :: Constraint 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