Data.Singletons.Prelude.Enum

class PBounded kproxy

class SBounded a

class PEnum kproxy

class SEnum a

Defunctionalization symbols

type MinBoundSym0

type MaxBoundSym0

data SuccSym0 l

type SuccSym1 t

data PredSym0 l

type PredSym1 t

data ToEnumSym0 l

type ToEnumSym1 t

data FromEnumSym0 l

type FromEnumSym1 t

data EnumFromToSym0 l

data EnumFromToSym1 l l

type EnumFromToSym2 t t

data EnumFromThenToSym0 l

data EnumFromThenToSym1 l l

data EnumFromThenToSym2 l l l

type EnumFromThenToSym3 t t t