Data.HList.FakePrelude

Booleans

data HTrue

hTrue

data HFalse

hFalse

class HBool x

Conjunction

class HAnd t t' t''

Disjunction

class HOr t t' t''

Conditional

class HCond t x y z

Naturals

data HZero

data HSucc n

hZero

hSucc

hPred

class HNat n

class HNat2Integral n

Maybies

data HNothing

data HJust x

Equality for types

class HEq x y b

hEq

Staged equality

class HStagedEq x y

class HLt x y b

hLt

class TypeEq x y b

typeEq

proxyEq

Type-safe cast

class TypeCast x y

A phantom type for type proxies

data Proxy e

proxy

toProxy

unProxy

Type equality and disequality

class TypeEqTrue x y

class TypeEqFalse x y

typeEqTrue

typeEqFalse

Subtyping

class SubType l l'

subType

Error messages

class Fail x