Data.IntCast

Conversion functions

statically checked

intCast

intCastIso

intCastEq

dynamically checked

intCastMaybe

Registering new integer types

type family IntBaseType a :: IntBaseTypeK

data IntBaseTypeK

Type-level predicates

type IsIntSubType a b

type family IsIntBaseSubType a b :: Bool

type IsIntTypeIso a b

type family IsIntBaseTypeIso a b :: Bool

type IsIntTypeEq a b

type family IsIntBaseTypeEq a b :: Bool