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.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded Any

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded Ordering

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded ()

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded Bool

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded Char

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded (First a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Last a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Max a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Min a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (WrappedMonoid m)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Identity a)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded (Dual a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Product a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Sum a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MinBound

type MaxBound

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type MaxBound

PBounded (Proxy s)

Defined in Data.Proxy.Singletons

Associated Types

type MinBound

Defined in Data.Proxy.Singletons

type MinBound

type MaxBound

Defined in Data.Proxy.Singletons

type MaxBound

PBounded (a, b)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded (Const a b)

Defined in Data.Functor.Const.Singletons

Associated Types

type MinBound

Defined in Data.Functor.Const.Singletons

type MinBound

type MaxBound

Defined in Data.Functor.Const.Singletons

type MaxBound

PBounded (a, b, c)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

PBounded (a, b, c, d)

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

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

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

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

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

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

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound

Defined in Data.Singletons.Base.Enum

type MinBound

type MaxBound

Defined in Data.Singletons.Base.Enum

type MaxBound

class SBounded a where

Methods

sMinBound :: Sing (MinBound :: a)

sMaxBound :: Sing (MaxBound :: a)

Instances

SBounded Bool => SBounded All

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: All)

sMaxBound :: Sing (MaxBound :: All)

SBounded Bool => SBounded Any

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Any)

sMaxBound :: Sing (MaxBound :: Any)

SBounded Ordering

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: Ordering)

sMaxBound :: Sing (MaxBound :: Ordering)

SBounded ()

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: ())

sMaxBound :: Sing (MaxBound :: ())

SBounded Bool

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: Bool)

sMaxBound :: Sing (MaxBound :: Bool)

SBounded Char

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: Char)

sMaxBound :: Sing (MaxBound :: Char)

SBounded a => SBounded (First a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: First a)

sMaxBound :: Sing (MaxBound :: First a)

SBounded a => SBounded (Last a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Last a)

sMaxBound :: Sing (MaxBound :: Last a)

SBounded a => SBounded (Max a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Max a)

sMaxBound :: Sing (MaxBound :: Max a)

SBounded a => SBounded (Min a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Min a)

sMaxBound :: Sing (MaxBound :: Min a)

SBounded m => SBounded (WrappedMonoid m)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: WrappedMonoid m)

sMaxBound :: Sing (MaxBound :: WrappedMonoid m)

SBounded a => SBounded (Identity a)

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: Identity a)

sMaxBound :: Sing (MaxBound :: Identity a)

SBounded a => SBounded (Dual a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Dual a)

sMaxBound :: Sing (MaxBound :: Dual a)

SBounded a => SBounded (Product a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Product a)

sMaxBound :: Sing (MaxBound :: Product a)

SBounded a => SBounded (Sum a)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sMinBound :: Sing (MinBound :: Sum a)

sMaxBound :: Sing (MaxBound :: Sum a)

SBounded (Proxy s)

Defined in Data.Proxy.Singletons

Methods

sMinBound :: Sing (MinBound :: Proxy s)

sMaxBound :: Sing (MaxBound :: Proxy s)

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

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: (a, b))

sMaxBound :: Sing (MaxBound :: (a, b))

SBounded a => SBounded (Const a b)

Defined in Data.Functor.Const.Singletons

Methods

sMinBound :: Sing (MinBound :: Const a b)

sMaxBound :: Sing (MaxBound :: Const a b)

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

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: (a, b, c))

sMaxBound :: Sing (MaxBound :: (a, b, c))

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

Defined in Data.Singletons.Base.Enum

Methods

sMinBound :: Sing (MinBound :: (a, b, c, d))

sMaxBound :: Sing (MaxBound :: (a, b, c, d))

(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 (MinBound :: (a, b, c, d, e))

sMaxBound :: Sing (MaxBound :: (a, b, c, d, e))

(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 (MinBound :: (a, b, c, d, e, f))

sMaxBound :: Sing (MaxBound :: (a, b, c, d, e, f))

(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 (MinBound :: (a, b, c, d, e, f, g))

sMaxBound :: Sing (MaxBound :: (a, b, c, d, e, f, g))

class PEnum a

Associated Types

type Succ (arg :: a) :: a

type Succ (arg :: a) = Succ_6989586621679414077 arg

type Pred (arg :: a) :: a

type Pred (arg :: a) = Pred_6989586621679414092 arg

type ToEnum (arg :: Natural) :: a

type FromEnum (arg :: a) :: Natural

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

type EnumFromTo (arg :: a) (arg1 :: a) = EnumFromTo_6989586621679414102 arg arg1

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

type EnumFromThenTo (arg :: a) (arg1 :: a) (arg2 :: a) = EnumFromThenTo_6989586621679414114 arg arg1 arg2

Instances

PEnum Ordering

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Ordering)

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Ordering)

type Pred (arg :: Ordering)

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Ordering)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Ordering)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Ordering)

type EnumFromTo (arg1 :: Ordering) (arg2 :: Ordering)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: Ordering) (arg2 :: Ordering)

type EnumFromThenTo (arg1 :: Ordering) (arg2 :: Ordering) (arg3 :: Ordering)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: Ordering) (arg2 :: Ordering) (arg3 :: Ordering)

PEnum Natural

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Succ (a :: Natural)

type Pred (a :: Natural)

Defined in Data.Singletons.Base.Enum

type Pred (a :: Natural)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Natural)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Natural)

type EnumFromTo (a1 :: Natural) (a2 :: Natural)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (a1 :: Natural) (a2 :: Natural)

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)

PEnum ()

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: ())

Defined in Data.Singletons.Base.Enum

type Succ (arg :: ())

type Pred (arg :: ())

Defined in Data.Singletons.Base.Enum

type Pred (arg :: ())

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: ())

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: ())

type EnumFromTo (arg1 :: ()) (arg2 :: ())

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: ()) (arg2 :: ())

type EnumFromThenTo (arg1 :: ()) (arg2 :: ()) (arg3 :: ())

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: ()) (arg2 :: ()) (arg3 :: ())

PEnum Bool

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Bool)

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Bool)

type Pred (arg :: Bool)

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Bool)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Bool)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Bool)

type EnumFromTo (arg1 :: Bool) (arg2 :: Bool)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: Bool) (arg2 :: Bool)

type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool)

PEnum Char

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Succ (arg :: Char)

type Pred (arg :: Char)

Defined in Data.Singletons.Base.Enum

type Pred (arg :: Char)

type ToEnum a

Defined in Data.Singletons.Base.Enum

type ToEnum a

type FromEnum (a :: Char)

Defined in Data.Singletons.Base.Enum

type FromEnum (a :: Char)

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromTo (arg1 :: Char) (arg2 :: Char)

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

Defined in Data.Singletons.Base.Enum

type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

PEnum (First a)

Defined in Data.Semigroup.Singletons

PEnum (Last a)

Defined in Data.Semigroup.Singletons

PEnum (Max a)

Defined in Data.Semigroup.Singletons

PEnum (Min a)

Defined in Data.Semigroup.Singletons

PEnum (WrappedMonoid a)

Defined in Data.Semigroup.Singletons

PEnum (Identity a)

Defined in Data.Functor.Identity.Singletons

PEnum (Proxy s)

Defined in Data.Proxy.Singletons

PEnum (Const a b)

Defined in Data.Functor.Const.Singletons

class SEnum a where

Minimal complete definition

sToEnum, sFromEnum

Methods

sSucc :: forall (t :: a). Sing t -> Sing (Succ t)

default sSucc :: forall (t :: a). Succ t ~ Succ_6989586621679414077 t => Sing t -> Sing (Succ t)

sPred :: forall (t :: a). Sing t -> Sing (Pred t)

default sPred :: forall (t :: a). Pred t ~ Pred_6989586621679414092 t => Sing t -> Sing (Pred t)

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

sFromEnum :: forall (t :: a). Sing t -> Sing (FromEnum t)

sEnumFromTo :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (EnumFromTo t1 t2)

default sEnumFromTo :: forall (t1 :: a) (t2 :: a). EnumFromTo t1 t2 ~ EnumFromTo_6989586621679414102 t1 t2 => Sing t1 -> Sing t2 -> Sing (EnumFromTo t1 t2)

sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (EnumFromThenTo t1 t2 t3)

default sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a). EnumFromThenTo t1 t2 t3 ~ EnumFromThenTo_6989586621679414114 t1 t2 t3 => Sing t1 -> Sing t2 -> Sing t3 -> Sing (EnumFromThenTo t1 t2 t3)

Instances

SEnum Ordering

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Ordering). Sing t -> Sing (Succ t)

sPred :: forall (t :: Ordering). Sing t -> Sing (Pred t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Ordering)

sFromEnum :: forall (t :: Ordering). Sing t -> Sing (FromEnum t)

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

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

SEnum Natural

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Natural). Sing t -> Sing (Succ t)

sPred :: forall (t :: Natural). Sing t -> Sing (Pred t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Natural)

sFromEnum :: forall (t :: Natural). Sing t -> Sing (FromEnum t)

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

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

SEnum ()

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: ()). Sing t -> Sing (Succ t)

sPred :: forall (t :: ()). Sing t -> Sing (Pred t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: ())

sFromEnum :: forall (t :: ()). Sing t -> Sing (FromEnum t)

sEnumFromTo :: forall (t1 :: ()) (t2 :: ()). Sing t1 -> Sing t2 -> Sing (EnumFromTo t1 t2)

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

SEnum Bool

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Bool). Sing t -> Sing (Succ t)

sPred :: forall (t :: Bool). Sing t -> Sing (Pred t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Bool)

sFromEnum :: forall (t :: Bool). Sing t -> Sing (FromEnum t)

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

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

SEnum Char

Defined in Data.Singletons.Base.Enum

Methods

sSucc :: forall (t :: Char). Sing t -> Sing (Succ t)

sPred :: forall (t :: Char). Sing t -> Sing (Pred t)

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Char)

sFromEnum :: forall (t :: Char). Sing t -> Sing (FromEnum t)

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

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

SEnum a => SEnum (First a)

Defined in Data.Semigroup.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: First a)

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

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

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

SEnum a => SEnum (Last a)

Defined in Data.Semigroup.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Last a)

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

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

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

SEnum a => SEnum (Max a)

Defined in Data.Semigroup.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Max a)

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

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

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

SEnum a => SEnum (Min a)

Defined in Data.Semigroup.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Min a)

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

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

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

SEnum a => SEnum (WrappedMonoid a)

Defined in Data.Semigroup.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: WrappedMonoid a)

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

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

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

SEnum a => SEnum (Identity a)

Defined in Data.Functor.Identity.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Identity a)

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

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

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

SEnum (Proxy s)

Defined in Data.Proxy.Singletons

Methods

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

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Proxy s)

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

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

sEnumFromThenTo :: forall (t1 :: Proxy s) (t2 :: Proxy s) (t3 :: Proxy s). Sing t1 -> Sing t2 -> Sing t3 -> Sing (EnumFromThenTo 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 (Succ t)

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

sToEnum :: forall (t :: Natural). Sing t -> Sing (ToEnum t :: Const a b)

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

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

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

Defunctionalization symbols

type family MinBoundSym0 :: a where ...

Equations

MinBoundSym0 = MinBound :: a

type family MaxBoundSym0 :: a where ...

Equations

MaxBoundSym0 = MaxBound :: a

data SuccSym0 (a1 :: TyFun a a)

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (SuccSym0 :: TyFun a a -> Type)

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

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

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

Equations

SuccSym1 (a6989586621679414054 :: a) = Succ a6989586621679414054

data PredSym0 (a1 :: TyFun a a)

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (PredSym0 :: TyFun a a -> Type)

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

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

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

Equations

PredSym1 (a6989586621679414057 :: a) = Pred a6989586621679414057

data ToEnumSym0 (a1 :: TyFun Natural a)

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (ToEnumSym0 :: TyFun Natural a -> Type)

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (ToEnumSym0 :: TyFun Natural a -> Type) (a6989586621679414060 :: Natural)

Defined in Data.Singletons.Base.Enum

type Apply (ToEnumSym0 :: TyFun Natural a -> Type) (a6989586621679414060 :: Natural) = ToEnum a6989586621679414060 :: a

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

Equations

ToEnumSym1 a6989586621679414060 = ToEnum a6989586621679414060 :: a

data FromEnumSym0 (a1 :: TyFun a Natural)

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

sing :: Sing (FromEnumSym0 :: TyFun a Natural -> Type)

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

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

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

Equations

FromEnumSym1 (a6989586621679414063 :: a) = FromEnum a6989586621679414063

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

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

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

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

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Enum

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

data EnumFromToSym1 (a6989586621679414067 :: a) (b :: TyFun a [a])

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: a). 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 a6989586621679414067 :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym1 a6989586621679414067 :: TyFun a [a] -> Type) (a6989586621679414068 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromToSym1 a6989586621679414067 :: TyFun a [a] -> Type) (a6989586621679414068 :: a) = EnumFromTo a6989586621679414067 a6989586621679414068

type family EnumFromToSym2 (a6989586621679414067 :: a) (a6989586621679414068 :: a) :: [a] where ...

Equations

EnumFromToSym2 (a6989586621679414067 :: a) (a6989586621679414068 :: a) = EnumFromTo a6989586621679414067 a6989586621679414068

data EnumFromThenToSym0 (a1 :: TyFun 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 :: TyFun a (a ~> (a ~> [a])) -> Type)

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) (a6989586621679414073 :: a)

Defined in Data.Singletons.Base.Enum

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

data EnumFromThenToSym1 (a6989586621679414073 :: a) (b :: TyFun a (a ~> [a]))

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

liftSing :: forall (x :: a). 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 a6989586621679414073 :: TyFun a (a ~> [a]) -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym1 a6989586621679414073 :: TyFun a (a ~> [a]) -> Type) (a6989586621679414074 :: a)

Defined in Data.Singletons.Base.Enum

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

data EnumFromThenToSym2 (a6989586621679414073 :: a) (a6989586621679414074 :: a) (c :: TyFun a [a])

Instances

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

Defined in Data.Singletons.Base.Enum

Methods

liftSing2 :: forall (x :: a) (y :: a). 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 :: a). 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 a6989586621679414073 a6989586621679414074 :: TyFun a [a] -> Type)

Defined in Data.Singletons.Base.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym2 a6989586621679414073 a6989586621679414074 :: TyFun a [a] -> Type) (a6989586621679414075 :: a)

Defined in Data.Singletons.Base.Enum

type Apply (EnumFromThenToSym2 a6989586621679414073 a6989586621679414074 :: TyFun a [a] -> Type) (a6989586621679414075 :: a) = EnumFromThenTo a6989586621679414073 a6989586621679414074 a6989586621679414075

type family EnumFromThenToSym3 (a6989586621679414073 :: a) (a6989586621679414074 :: a) (a6989586621679414075 :: a) :: [a] where ...

Equations

EnumFromThenToSym3 (a6989586621679414073 :: a) (a6989586621679414074 :: a) (a6989586621679414075 :: a) = EnumFromThenTo a6989586621679414073 a6989586621679414074 a6989586621679414075