typelevel-1.0: Useful type level operations (type families and related operators).

Index

:==Type.Bool
AndType.Bool
ElAtType.List
IfType.Bool
If'Type.Bool
OrType.Bool
RemovedType.List
RemovedIdxType.List
XorType.Bool