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_6989586621679731296Sym0 t => Sing t -> Sing (Apply SuccSym0 t :: a)

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

sEnumFromTo :: forall (t :: a) (t :: a). (Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679731316Sym0 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_6989586621679731332Sym0 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 a6989586621679730982. (~>) a6989586621679730982 a6989586621679730982

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing SuccSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type SuccSym1 (arg6989586621679731266 :: a6989586621679730982) = Succ arg6989586621679731266

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

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing PredSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type PredSym1 (arg6989586621679731268 :: a6989586621679730982) = Pred arg6989586621679731268

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

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing ToEnumSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type ToEnumSym1 (arg6989586621679731270 :: Nat) = ToEnum arg6989586621679731270

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

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing FromEnumSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Enum

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

type FromEnumSym1 (arg6989586621679731272 :: a6989586621679730982) = FromEnum arg6989586621679731272

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

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing EnumFromToSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym0 :: TyFun a6989586621679730982 (a6989586621679730982 ~> [a6989586621679730982]) -> Type) (arg6989586621679731274 :: a6989586621679730982)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym0 :: TyFun a6989586621679730982 (a6989586621679730982 ~> [a6989586621679730982]) -> Type) (arg6989586621679731274 :: a6989586621679730982) = EnumFromToSym1 arg6989586621679731274

data EnumFromToSym1 (arg6989586621679731274 :: a6989586621679730982) :: (~>) a6989586621679730982 [a6989586621679730982]

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 arg6989586621679731274 :: TyFun a6989586621679730982 [a6989586621679730982] -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromToSym1 arg6989586621679731274 :: TyFun a [a] -> Type) (arg6989586621679731275 :: a)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromToSym1 arg6989586621679731274 :: TyFun a [a] -> Type) (arg6989586621679731275 :: a) = EnumFromTo arg6989586621679731274 arg6989586621679731275

type EnumFromToSym2 (arg6989586621679731274 :: a6989586621679730982) (arg6989586621679731275 :: a6989586621679730982) = EnumFromTo arg6989586621679731274 arg6989586621679731275

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

Instances

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

Defined in Data.Singletons.Prelude.Enum

Methods

sing :: Sing EnumFromThenToSym0

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

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679730982 (a6989586621679730982 ~> (a6989586621679730982 ~> [a6989586621679730982])) -> Type) (arg6989586621679731278 :: a6989586621679730982)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym0 :: TyFun a6989586621679730982 (a6989586621679730982 ~> (a6989586621679730982 ~> [a6989586621679730982])) -> Type) (arg6989586621679731278 :: a6989586621679730982) = EnumFromThenToSym1 arg6989586621679731278

data EnumFromThenToSym1 (arg6989586621679731278 :: a6989586621679730982) :: (~>) a6989586621679730982 ((~>) a6989586621679730982 [a6989586621679730982])

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 arg6989586621679731278 :: TyFun a6989586621679730982 (a6989586621679730982 ~> [a6989586621679730982]) -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym1 arg6989586621679731278 :: TyFun a6989586621679730982 (a6989586621679730982 ~> [a6989586621679730982]) -> Type) (arg6989586621679731279 :: a6989586621679730982)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym1 arg6989586621679731278 :: TyFun a6989586621679730982 (a6989586621679730982 ~> [a6989586621679730982]) -> Type) (arg6989586621679731279 :: a6989586621679730982) = EnumFromThenToSym2 arg6989586621679731278 arg6989586621679731279

data EnumFromThenToSym2 (arg6989586621679731278 :: a6989586621679730982) (arg6989586621679731279 :: a6989586621679730982) :: (~>) a6989586621679730982 [a6989586621679730982]

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 arg6989586621679731279 arg6989586621679731278 :: TyFun a6989586621679730982 [a6989586621679730982] -> Type)

Defined in Data.Singletons.Prelude.Enum

Methods

suppressUnusedWarnings :: ()

type Apply (EnumFromThenToSym2 arg6989586621679731279 arg6989586621679731278 :: TyFun a [a] -> Type) (arg6989586621679731280 :: a)

Defined in Data.Singletons.Prelude.Enum

type Apply (EnumFromThenToSym2 arg6989586621679731279 arg6989586621679731278 :: TyFun a [a] -> Type) (arg6989586621679731280 :: a) = EnumFromThenTo arg6989586621679731279 arg6989586621679731278 arg6989586621679731280

type EnumFromThenToSym3 (arg6989586621679731278 :: a6989586621679730982) (arg6989586621679731279 :: a6989586621679730982) (arg6989586621679731280 :: a6989586621679730982) = EnumFromThenTo arg6989586621679731278 arg6989586621679731279 arg6989586621679731280