type-level-integers-0.0.1: Provides integers lifted to the type level

Index

KnownIntData.Type.Integer
KnownPosNatData.Type.Integer
LiftedIntData.Type.Integer
liftedIntValData.Type.Integer
LIntData.Type.Integer
LIntInvertData.Type.Integer
LIntMinusData.Type.Integer
LIntPlusData.Type.Integer
LIntPredData.Type.Integer
LIntSuccData.Type.Integer
LIntZeroData.Type.Integer
MinusData.Type.Integer
PlusData.Type.Integer
PosNatData.Type.Integer
PosNatOneData.Type.Integer
posNatValData.Type.Integer
SData.Type.Integer
SignData.Type.Integer