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

Data.Type.Boolean

Description

A singleton-esque type for type-level Bool values.

Documentation

data Boolean :: Bool -> * where Source

Constructors

False_ :: Boolean False 
True_ :: Boolean True 

Instances

not' :: Boolean a -> Boolean (Not a) Source

(.||) :: Boolean a -> Boolean b -> Boolean (a || b) infixr 2 Source

(.&&) :: Boolean a -> Boolean b -> Boolean (a && b) infixr 3 Source

(.^^) :: Boolean a -> Boolean b -> Boolean (a ^^ b) infixr 4 Source

(==>) :: Boolean a -> Boolean b -> Boolean (a ==> b) infixr 1 Source

(<==>) :: Boolean a -> Boolean b -> Boolean (a <==> b) infixr 1 Source

class BoolEquality f where Source

Associated Types

type BoolEqC f a b :: Constraint Source

Methods

(.==) :: BoolEqC f a b => f a -> f b -> Boolean (a == b) infix 4 Source

Instances