type-combinators-0.2.1.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 BoolEq f where Source

Methods

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

Instances