Data.Singletons.Base.Enum

Defines the promoted and singleton version of the Bounded and Enum type classes.

While Prelude.Singletons re-exports the promoted and singled versions of Enum, it deliberately avoids re-exporting Succ and Pred, as these are names are likely to clash with code that deals with unary natural numbers. As a result, this module exists to provide Succ and Pred for those who want them.

Documentation

class PBounded a

Associated Types

type MinBound :: a

type MaxBound :: a

Instances

PBounded All

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Any

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Ordering

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded ()

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Bool

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Char

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Identity a)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (First a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Last a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Max a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Min a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (WrappedMonoid m)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Dual a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Product a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Sum a)

Defined in Data.Semigroup.Singletons.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Proxy s)

Defined in Data.Proxy.Singletons

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Const a b)

Defined in Data.Functor.Const.Singletons

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c, d)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c, d, e)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c, d, e, f)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c, d, e, f, g)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

class SBounded a where

Methods

sMinBound :: Sing (MinBoundSym0 :: a)

sMaxBound :: Sing (MaxBoundSym0 :: a)

Instances

SBounded Bool => SBounded All

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Bool => SBounded Any

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Ordering

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded ()

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Bool

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Char

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Identity a)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (First a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Last a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Max a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Min a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded m => SBounded (WrappedMonoid m)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Dual a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Product a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Sum a)

Defined in Data.Semigroup.Singletons.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded (Proxy s)

Defined in Data.Proxy.Singletons

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b) => SBounded (a, b)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Const a b)

Defined in Data.Functor.Const.Singletons

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b, SBounded c) => SBounded (a, b, c)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b, SBounded c, SBounded d) => SBounded (a, b, c, d)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e) => SBounded (a, b, c, d, e)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f) => SBounded (a, b, c, d, e, f)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f, SBounded g) => SBounded (a, b, c, d, e, f, g)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

class PEnum a

Associated Types

type Succ (arg :: a) :: a

type Succ a = Apply Succ_6989586621679606501Sym0 a

type Pred (arg :: a) :: a

type Pred a = Apply Pred_6989586621679606514Sym0 a

type ToEnum (arg :: Natural) :: a

type FromEnum (arg :: a) :: Natural

type EnumFromTo (arg :: a) (arg :: a) :: [a]

type EnumFromTo a a = Apply (Apply EnumFromTo_6989586621679606524Sym0 a) a

type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a]

type EnumFromThenTo a a a = Apply (Apply (Apply EnumFromThenTo_6989586621679606536Sym0 a) a) a

Instances

PEnum Ordering

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum Natural

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum ()

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum Bool

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum Char

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Identity a)

Defined in Data.Functor.Identity.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (First a)

Defined in Data.Semigroup.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Last a)

Defined in Data.Semigroup.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Max a)

Defined in Data.Semigroup.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Min a)

Defined in Data.Semigroup.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (WrappedMonoid a)

Defined in Data.Semigroup.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Proxy s)

Defined in Data.Proxy.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

PEnum (Const a b)

Defined in Data.Functor.Const.Singletons

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Natural

type EnumFromTo arg arg1 :: [a]

type EnumFromThenTo arg arg1 arg2 :: [a]

class SEnum a where

Minimal complete definition

sToEnum, sFromEnum

Methods

sSucc :: forall (t :: a). Sing t -> Sing (Apply SuccSym0 t :: a)

default sSucc :: forall (t :: a). (Apply SuccSym0 t :: a) ~ Apply Succ_6989586621679606501Sym0 t => Sing t -> Sing (Apply SuccSym0 t :: a)

sPred :: forall (t :: a). Sing t -> Sing (Apply PredSym0 t :: a)

default sPred :: forall (t :: a). (Apply PredSym0 t :: a) ~ Apply Pred_6989586621679606514Sym0 t => Sing t -> Sing (Apply PredSym0 t :: a)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t :: a)

sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Natural)

sEnumFromTo :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a])

default sEnumFromTo :: forall (t :: a) (t :: a). (Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679606524Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a])

sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a])

default sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) ~ Apply (Apply (Apply EnumFromThenTo_6989586621679606536Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a])

Instances

SEnum Ordering

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Ordering). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Ordering). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Ordering). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Ordering) (t2 :: Ordering). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Ordering) (t2 :: Ordering) (t3 :: Ordering). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum Natural

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Natural). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Natural). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Natural). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Natural). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum ()

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: ()). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: ()). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: ()). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: ()) (t2 :: ()). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: ()) (t2 :: ()) (t3 :: ()). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum Bool

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Bool). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Bool). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Bool). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Bool) (t2 :: Bool) (t3 :: Bool). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum Char

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Char). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Char). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Char). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Char) (t2 :: Char) (t3 :: Char). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (Identity a)

Defined in Data.Functor.Identity.Singletons

Methods

sSucc :: forall (t :: Identity a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Identity a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Identity a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Identity a) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Identity a) (t2 :: Identity a) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (First a)

Defined in Data.Semigroup.Singletons

Methods

sSucc :: forall (t :: First a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: First a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: First a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: First a) (t2 :: First a) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (Last a)

Defined in Data.Semigroup.Singletons

Methods

sSucc :: forall (t :: Last a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Last a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Last a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Last a) (t2 :: Last a) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (Max a)

Defined in Data.Semigroup.Singletons

Methods

sSucc :: forall (t :: Max a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Max a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Max a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Max a) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Max a) (t2 :: Max a) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (Min a)

Defined in Data.Semigroup.Singletons

Methods

sSucc :: forall (t :: Min a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Min a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Min a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Min a) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Min a) (t2 :: Min a) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (WrappedMonoid a)

Defined in Data.Semigroup.Singletons

Methods

sSucc :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: WrappedMonoid a) (t2 :: WrappedMonoid a). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: WrappedMonoid a) (t2 :: WrappedMonoid a) (t3 :: WrappedMonoid a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum (Proxy s)

Defined in Data.Proxy.Singletons

Methods

sSucc :: forall (t :: Proxy s). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Proxy s). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Proxy s). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Proxy s) (t2 :: Proxy s). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Proxy s) (t2 :: Proxy s) (t3 :: Proxy s). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

SEnum a => SEnum (Const a b)

Defined in Data.Functor.Const.Singletons

Methods

sSucc :: forall (t :: Const a b). Sing t -> Sing (Apply SuccSym0 t)

sPred :: forall (t :: Const a b). Sing t -> Sing (Apply PredSym0 t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t)

sFromEnum :: forall (t :: Const a b). Sing t -> Sing (Apply FromEnumSym0 t)

sEnumFromTo :: forall (t1 :: Const a b) (t2 :: Const a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2)

sEnumFromThenTo :: forall (t1 :: Const a b) (t2 :: Const a b) (t3 :: Const a b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3)

Defunctionalization symbols

type family MinBoundSym0 :: a where ...

Equations

MinBoundSym0 = MinBound

type family MaxBoundSym0 :: a where ...

Equations

MaxBoundSym0 = MaxBound

data SuccSym0 :: (~>) a a

Instances

SEnum a => SingI (SuccSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing SuccSym0

SuppressUnusedWarnings (SuccSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679606478 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679606478 :: a) = Succ a6989586621679606478

type family SuccSym1 (a6989586621679606478 :: a) :: a where ...

Equations

SuccSym1 a6989586621679606478 = Succ a6989586621679606478

data PredSym0 :: (~>) a a

Instances

SEnum a => SingI (PredSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing PredSym0

SuppressUnusedWarnings (PredSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679606481 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679606481 :: a) = Pred a6989586621679606481

type family PredSym1 (a6989586621679606481 :: a) :: a where ...

Equations

PredSym1 a6989586621679606481 = Pred a6989586621679606481

data ToEnumSym0 :: (~>) Natural a

Instances

SEnum a => SingI (ToEnumSym0 :: TyFun Natural a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing ToEnumSym0

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Natural a -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679606484 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679606484 :: Natural) = ToEnum a6989586621679606484 :: k2

type family ToEnumSym1 (a6989586621679606484 :: Natural) :: a where ...

Equations

ToEnumSym1 a6989586621679606484 = ToEnum a6989586621679606484

data FromEnumSym0 :: (~>) a Natural

Instances

SEnum a => SingI (FromEnumSym0 :: TyFun a Natural -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing FromEnumSym0

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a Natural -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679606487 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679606487 :: a) = FromEnum a6989586621679606487

type family FromEnumSym1 (a6989586621679606487 :: a) :: Natural where ...

Equations

FromEnumSym1 a6989586621679606487 = FromEnum a6989586621679606487

data EnumFromToSym0 :: (~>) a ((~>) a [a])

Instances

SEnum a => SingI (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EnumFromToSym0

SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) (a6989586621679606491 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) (a6989586621679606491 :: a) = EnumFromToSym1 a6989586621679606491

data EnumFromToSym1 (a6989586621679606491 :: a) :: (~>) a [a]

Instances

SEnum a => SingI1 (EnumFromToSym1 :: a -> TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EnumFromToSym1 x)

(SEnum a, SingI d) => SingI (EnumFromToSym1 d :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EnumFromToSym1 d)

SuppressUnusedWarnings (EnumFromToSym1 a6989586621679606491 :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym1 a6989586621679606491 :: TyFun a [a] -> Type) (a6989586621679606492 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromToSym1 a6989586621679606491 :: TyFun a [a] -> Type) (a6989586621679606492 :: a) = EnumFromTo a6989586621679606491 a6989586621679606492

type family EnumFromToSym2 (a6989586621679606491 :: a) (a6989586621679606492 :: a) :: [a] where ...

Equations

EnumFromToSym2 a6989586621679606491 a6989586621679606492 = EnumFromTo a6989586621679606491 a6989586621679606492

data EnumFromThenToSym0 :: (~>) a ((~>) a ((~>) a [a]))

Instances

SEnum a => SingI (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing EnumFromThenToSym0

SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) (a6989586621679606497 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) (a6989586621679606497 :: a) = EnumFromThenToSym1 a6989586621679606497

data EnumFromThenToSym1 (a6989586621679606497 :: a) :: (~>) a ((~>) a [a])

Instances

SEnum a => SingI1 (EnumFromThenToSym1 :: a -> TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EnumFromThenToSym1 x)

(SEnum a, SingI d) => SingI (EnumFromThenToSym1 d :: TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EnumFromThenToSym1 d)

SuppressUnusedWarnings (EnumFromThenToSym1 a6989586621679606497 :: TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym1 a6989586621679606497 :: TyFun a (a ~> [a]) -> Type) (a6989586621679606498 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenToSym1 a6989586621679606497 :: TyFun a (a ~> [a]) -> Type) (a6989586621679606498 :: a) = EnumFromThenToSym2 a6989586621679606497 a6989586621679606498

data EnumFromThenToSym2 (a6989586621679606497 :: a) (a6989586621679606498 :: a) :: (~>) a [a]

Instances

SEnum a => SingI2 (EnumFromThenToSym2 :: a -> a -> TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (EnumFromThenToSym2 x y)

(SEnum a, SingI d) => SingI1 (EnumFromThenToSym2 d :: a -> TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (EnumFromThenToSym2 d x)

(SEnum a, SingI d1, SingI d2) => SingI (EnumFromThenToSym2 d1 d2 :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (EnumFromThenToSym2 d1 d2)

SuppressUnusedWarnings (EnumFromThenToSym2 a6989586621679606497 a6989586621679606498 :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym2 a6989586621679606497 a6989586621679606498 :: TyFun a [a] -> Type) (a6989586621679606499 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenToSym2 a6989586621679606497 a6989586621679606498 :: TyFun a [a] -> Type) (a6989586621679606499 :: a) = EnumFromThenTo a6989586621679606497 a6989586621679606498 a6989586621679606499

type family EnumFromThenToSym3 (a6989586621679606497 :: a) (a6989586621679606498 :: a) (a6989586621679606499 :: a) :: [a] where ...

Equations

EnumFromThenToSym3 a6989586621679606497 a6989586621679606498 a6989586621679606499 = EnumFromThenTo a6989586621679606497 a6989586621679606498 a6989586621679606499