tfp-0.6: Type-level programming library using type families

Portabilitynon-portable (type families, requires ghc >= 6.9)
Stabilityexperimental
Maintainerpgavin@gmail.com
Safe HaskellNone

Types.Data.Bool

Description

Type-level numerical operations using type families.

Documentation

data True Source

Instances

trueT :: TrueSource

data False Source

Instances

falseT :: FalseSource

type family Not x Source

notT :: x -> Not xSource

type family x :&&: y Source

andT :: x -> y -> x :&&: ySource

type family x :||: y Source

orT :: x -> y -> x :||: ySource

class IfT x y z whereSource

Associated Types

type If x y z Source

Methods

ifT :: x -> y -> z -> If x y zSource

Instances

IfT False y z 
IfT True y z