Data.Singletons.Prelude.Enum

Defines the promoted and singleton version of Bounded, PBounded and SBounded

Documentation

class PBounded (a :: Type)

Associated Types

type MinBound :: a

type MaxBound :: a

Instances

PBounded Bool

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Ordering

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded ()

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded All

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded Any

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Min a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Max a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (First a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Last a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Identity a)

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b)

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c)

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (Const a b)

Defined in Data.Singletons.Prelude.Const

Associated Types

type MinBound :: a

type MaxBound :: a

PBounded (a, b, c, d)

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

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

Defined in Data.Singletons.Prelude.Enum

Associated Types

type MinBound :: a

type MaxBound :: a

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

Defined in Data.Singletons.Prelude.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

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Ordering

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded ()

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Bool => SBounded All

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded Bool => SBounded Any

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Min a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Max a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (First a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Last a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded m => SBounded (WrappedMonoid m)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Identity a)

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Dual a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Sum a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Product a)

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

SBounded a => SBounded (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

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

Defined in Data.Singletons.Prelude.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.Prelude.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.Prelude.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.Prelude.Enum

Methods

sMinBound :: Sing MinBoundSym0

sMaxBound :: Sing MaxBoundSym0

class PEnum (a :: Type)

Associated Types

type Succ (arg :: a) :: a

type Pred (arg :: a) :: a

type ToEnum (arg :: Nat) :: a

type FromEnum (arg :: a) :: Nat

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

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

Instances

PEnum Bool

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum Ordering

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum Nat

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum ()

Defined in Data.Singletons.Prelude.Enum

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (First a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Last a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (WrappedMonoid a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Identity a)

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

PEnum (Const a b)

Defined in Data.Singletons.Prelude.Const

Associated Types

type Succ arg :: a

type Pred arg :: a

type ToEnum arg :: a

type FromEnum arg :: Nat

type EnumFromTo arg arg :: [a]

type EnumFromThenTo arg arg arg :: [a]

class SEnum a where

Minimal complete definition

sToEnum, sFromEnum

Methods

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

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

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

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

sEnumFromTo :: forall (t :: a) (t :: a). 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])

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

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

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

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

Instances

SEnum Bool

Defined in Data.Singletons.Prelude.Enum

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum Ordering

Defined in Data.Singletons.Prelude.Enum

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum Nat

Defined in Data.Singletons.Prelude.Enum

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum ()

Defined in Data.Singletons.Prelude.Enum

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Min a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Max a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (First a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Last a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (WrappedMonoid a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Identity a)

Defined in Data.Singletons.Prelude.Identity

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

SEnum a => SEnum (Const a b)

Defined in Data.Singletons.Prelude.Const

Methods

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

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

sToEnum :: Sing t -> Sing (Apply ToEnumSym0 t)

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

sEnumFromTo :: Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t)

sEnumFromThenTo :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t)

Defunctionalization symbols

type MinBoundSym0 = MinBound

type MaxBoundSym0 = MaxBound

data SuccSym0 :: forall a6989586621679740077. (~>) a6989586621679740077 a6989586621679740077

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing SuccSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type SuccSym1 (arg6989586621679740361 :: a6989586621679740077) = Succ arg6989586621679740361

data PredSym0 :: forall a6989586621679740077. (~>) a6989586621679740077 a6989586621679740077

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing PredSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type PredSym1 (arg6989586621679740363 :: a6989586621679740077) = Pred arg6989586621679740363

data ToEnumSym0 :: forall a6989586621679740077. (~>) Nat a6989586621679740077

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing ToEnumSym0

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679740077 -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (ToEnumSym0 :: TyFun Nat k2 -> Type) (arg6989586621679740365 :: Nat)

Defined in Data.Singletons.Prelude.Enum

type Apply (ToEnumSym0 :: TyFun Nat k2 -> Type) (arg6989586621679740365 :: Nat) = (ToEnum arg6989586621679740365 :: k2)

type ToEnumSym1 (arg6989586621679740365 :: Nat) = ToEnum arg6989586621679740365

data FromEnumSym0 :: forall a6989586621679740077. (~>) a6989586621679740077 Nat

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing FromEnumSym0

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679740077 Nat -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (FromEnumSym0 :: TyFun a Nat -> Type) (arg6989586621679740367 :: a)

Defined in Data.Singletons.Prelude.Enum

type Apply (FromEnumSym0 :: TyFun a Nat -> Type) (arg6989586621679740367 :: a) = FromEnum arg6989586621679740367

type FromEnumSym1 (arg6989586621679740367 :: a6989586621679740077) = FromEnum arg6989586621679740367

data EnumFromToSym0 :: forall a6989586621679740077. (~>) a6989586621679740077 ((~>) a6989586621679740077 [a6989586621679740077])

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing EnumFromToSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym0 :: TyFun a6989586621679740077 (a6989586621679740077 ~> [a6989586621679740077]) -> Type) (arg6989586621679740369 :: a6989586621679740077)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym0 :: TyFun a6989586621679740077 (a6989586621679740077 ~> [a6989586621679740077]) -> Type) (arg6989586621679740369 :: a6989586621679740077) = EnumFromToSym1 arg6989586621679740369

data EnumFromToSym1 (arg6989586621679740369 :: a6989586621679740077) :: (~>) a6989586621679740077 [a6989586621679740077]

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing (EnumFromToSym1 d)

SuppressUnusedWarnings (EnumFromToSym1 arg6989586621679740369 :: TyFun a6989586621679740077 [a6989586621679740077] -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym1 arg6989586621679740369 :: TyFun a [a] -> Type) (arg6989586621679740370 :: a)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym1 arg6989586621679740369 :: TyFun a [a] -> Type) (arg6989586621679740370 :: a) = EnumFromTo arg6989586621679740369 arg6989586621679740370

type EnumFromToSym2 (arg6989586621679740369 :: a6989586621679740077) (arg6989586621679740370 :: a6989586621679740077) = EnumFromTo arg6989586621679740369 arg6989586621679740370

data EnumFromThenToSym0 :: forall a6989586621679740077. (~>) a6989586621679740077 ((~>) a6989586621679740077 ((~>) a6989586621679740077 [a6989586621679740077]))

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing EnumFromThenToSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679740077 (a6989586621679740077 ~> (a6989586621679740077 ~> [a6989586621679740077])) -> Type) (arg6989586621679740373 :: a6989586621679740077)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679740077 (a6989586621679740077 ~> (a6989586621679740077 ~> [a6989586621679740077])) -> Type) (arg6989586621679740373 :: a6989586621679740077) = EnumFromThenToSym1 arg6989586621679740373

data EnumFromThenToSym1 (arg6989586621679740373 :: a6989586621679740077) :: (~>) a6989586621679740077 ((~>) a6989586621679740077 [a6989586621679740077])

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing (EnumFromThenToSym1 d)

SuppressUnusedWarnings (EnumFromThenToSym1 arg6989586621679740373 :: TyFun a6989586621679740077 (a6989586621679740077 ~> [a6989586621679740077]) -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym1 arg6989586621679740373 :: TyFun a6989586621679740077 (a6989586621679740077 ~> [a6989586621679740077]) -> Type) (arg6989586621679740374 :: a6989586621679740077)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym1 arg6989586621679740373 :: TyFun a6989586621679740077 (a6989586621679740077 ~> [a6989586621679740077]) -> Type) (arg6989586621679740374 :: a6989586621679740077) = EnumFromThenToSym2 arg6989586621679740373 arg6989586621679740374

data EnumFromThenToSym2 (arg6989586621679740373 :: a6989586621679740077) (arg6989586621679740374 :: a6989586621679740077) :: (~>) a6989586621679740077 [a6989586621679740077]

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing (EnumFromThenToSym2 d1 d2)

SuppressUnusedWarnings (EnumFromThenToSym2 arg6989586621679740374 arg6989586621679740373 :: TyFun a6989586621679740077 [a6989586621679740077] -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym2 arg6989586621679740374 arg6989586621679740373 :: TyFun a [a] -> Type) (arg6989586621679740375 :: a)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym2 arg6989586621679740374 arg6989586621679740373 :: TyFun a [a] -> Type) (arg6989586621679740375 :: a) = EnumFromThenTo arg6989586621679740374 arg6989586621679740373 arg6989586621679740375

type EnumFromThenToSym3 (arg6989586621679740373 :: a6989586621679740077) (arg6989586621679740374 :: a6989586621679740077) (arg6989586621679740375 :: a6989586621679740077) = EnumFromThenTo arg6989586621679740373 arg6989586621679740374 arg6989586621679740375