tfp-0.2: Type-level programming library using type families Source code Contents Index

Types.Data.Bool Portability non-portable (type families, requires ghc >= 6.9) Stability experimental Maintainer pgavin@gmail.com

Description

Type-level numerical operations using type families.

Documentation

data True Source

Instances Show True Typeable True IfT True y z

trueT :: True Source

data False Source

Instances Show False Typeable False IfT False y z

falseT :: False Source

type family Not x Source

notT :: x -> Not x Source

type family x :&&: y Source

andT :: x -> y -> x :&&: x Source

type family x :||: y Source

orT :: x -> y -> x :||: x Source

class IfT x y z where Source

Associated Types type If x y z Source Methods ifT :: x -> y -> z -> If x y z Source Instances IfT False y z IfT True y z

Produced by Haddock version 2.6.0