Copyright | (C) 2014 Jan Stolarek Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Enum
Contents
Synopsis
- class PBounded (a :: Type) where
- class SBounded a where
- sMinBound :: Sing (MinBoundSym0 :: a)
- sMaxBound :: Sing (MaxBoundSym0 :: a)
- class PEnum (a :: Type) where
- 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]
- class SEnum a where
- 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])
- type MinBoundSym0 = MinBound
- type MaxBoundSym0 = MaxBound
- data SuccSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 a6989586621679763161
- type SuccSym1 (arg6989586621679763445 :: a6989586621679763161) = Succ arg6989586621679763445
- data PredSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 a6989586621679763161
- type PredSym1 (arg6989586621679763447 :: a6989586621679763161) = Pred arg6989586621679763447
- data ToEnumSym0 :: forall a6989586621679763161. (~>) Nat a6989586621679763161
- type ToEnumSym1 (arg6989586621679763449 :: Nat) = ToEnum arg6989586621679763449
- data FromEnumSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 Nat
- type FromEnumSym1 (arg6989586621679763451 :: a6989586621679763161) = FromEnum arg6989586621679763451
- data EnumFromToSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161])
- data EnumFromToSym1 (arg6989586621679763453 :: a6989586621679763161) :: (~>) a6989586621679763161 [a6989586621679763161]
- type EnumFromToSym2 (arg6989586621679763453 :: a6989586621679763161) (arg6989586621679763454 :: a6989586621679763161) = EnumFromTo arg6989586621679763453 arg6989586621679763454
- data EnumFromThenToSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 ((~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161]))
- data EnumFromThenToSym1 (arg6989586621679763457 :: a6989586621679763161) :: (~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161])
- data EnumFromThenToSym2 (arg6989586621679763457 :: a6989586621679763161) (arg6989586621679763458 :: a6989586621679763161) :: (~>) a6989586621679763161 [a6989586621679763161]
- type EnumFromThenToSym3 (arg6989586621679763457 :: a6989586621679763161) (arg6989586621679763458 :: a6989586621679763161) (arg6989586621679763459 :: a6989586621679763161) = EnumFromThenTo arg6989586621679763457 arg6989586621679763458 arg6989586621679763459
Documentation
class PBounded (a :: Type) Source #
Instances
PBounded Bool Source # | |
PBounded Ordering Source # | |
PBounded () Source # | |
PBounded All Source # | |
PBounded Any Source # | |
PBounded (Identity a) Source # | |
PBounded (First a) Source # | |
PBounded (Last a) Source # | |
PBounded (Max a) Source # | |
PBounded (Min a) Source # | |
PBounded (WrappedMonoid m) Source # | |
PBounded (Dual a) Source # | |
PBounded (Product a) Source # | |
PBounded (Sum a) Source # | |
PBounded (a, b) Source # | |
PBounded (a, b, c) Source # | |
PBounded (Const a b) Source # | |
PBounded (a, b, c, d) Source # | |
PBounded (a, b, c, d, e) Source # | |
PBounded (a, b, c, d, e, f) Source # | |
PBounded (a, b, c, d, e, f, g) Source # | |
class SBounded a where Source #
Instances
class PEnum (a :: Type) Source #
Associated Types
type Succ (arg :: a) :: a Source #
type Pred (arg :: a) :: a Source #
type ToEnum (arg :: Nat) :: a Source #
type FromEnum (arg :: a) :: Nat Source #
type EnumFromTo (arg :: a) (arg :: a) :: [a] Source #
type EnumFromTo a a = Apply (Apply EnumFromTo_6989586621679763489Sym0 a) a Source #
type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] Source #
Methods
sSucc :: forall (t :: a). Sing t -> Sing (Apply SuccSym0 t :: a) Source #
default sSucc :: forall (t :: a). (Apply SuccSym0 t :: a) ~ Apply Succ_6989586621679763464Sym0 t => Sing t -> Sing (Apply SuccSym0 t :: a) Source #
sPred :: forall (t :: a). Sing t -> Sing (Apply PredSym0 t :: a) Source #
default sPred :: forall (t :: a). (Apply PredSym0 t :: a) ~ Apply Pred_6989586621679763479Sym0 t => Sing t -> Sing (Apply PredSym0 t :: a) Source #
sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t :: a) Source #
sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Nat) Source #
sEnumFromTo :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) Source #
default sEnumFromTo :: forall (t :: a) (t :: a). (Apply (Apply EnumFromToSym0 t) t :: [a]) ~ Apply (Apply EnumFromTo_6989586621679763489Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t :: [a]) Source #
sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) Source #
Instances
SEnum Bool Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: forall (t :: Bool). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Bool). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Bool). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Bool) (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum Ordering Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: forall (t :: Ordering). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Ordering). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Ordering). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Ordering) (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum Nat Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: forall (t :: Nat). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Nat). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Nat). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Nat) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Nat) (t :: Nat) (t :: Nat). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum () Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sSucc :: forall (t :: ()). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: ()). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: ()). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: ()) (t :: ()). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: ()) (t :: ()) (t :: ()). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (Identity a) Source # | |
Defined in Data.Singletons.Prelude.Identity Methods sSucc :: forall (t :: Identity a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Identity a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Identity a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Identity a) (t :: Identity a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Identity a) (t :: Identity a) (t :: Identity a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (First a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods sSucc :: forall (t :: First a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: First a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: First a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: First a) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: First a) (t :: First a) (t :: First a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (Last a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods sSucc :: forall (t :: Last a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Last a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Last a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Last a) (t :: Last a) (t :: Last a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (Max a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods sSucc :: forall (t :: Max a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Max a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Max a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Max a) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Max a) (t :: Max a) (t :: Max a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (Min a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods sSucc :: forall (t :: Min a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Min a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Min a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Min a) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Min a) (t :: Min a) (t :: Min a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (WrappedMonoid a) Source # | |
Defined in Data.Singletons.Prelude.Semigroup Methods sSucc :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: WrappedMonoid a) (t :: WrappedMonoid a). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: WrappedMonoid a) (t :: WrappedMonoid a) (t :: WrappedMonoid a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # | |
SEnum a => SEnum (Const a b) Source # | |
Defined in Data.Singletons.Prelude.Const Methods sSucc :: forall (t :: Const a b). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Const a b). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Const a b). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Const a b) (t :: Const a b). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Const a b) (t :: Const a b) (t :: Const a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source # |
Defunctionalization symbols
type MinBoundSym0 = MinBound Source #
type MaxBoundSym0 = MaxBound Source #
data SuccSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 a6989586621679763161 Source #
Instances
SEnum a => SingI (SuccSym0 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679763161 a6989586621679763161 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (SuccSym0 :: TyFun a a -> Type) (arg6989586621679763445 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type SuccSym1 (arg6989586621679763445 :: a6989586621679763161) = Succ arg6989586621679763445 Source #
data PredSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 a6989586621679763161 Source #
Instances
SEnum a => SingI (PredSym0 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679763161 a6989586621679763161 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (PredSym0 :: TyFun a a -> Type) (arg6989586621679763447 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type PredSym1 (arg6989586621679763447 :: a6989586621679763161) = Pred arg6989586621679763447 Source #
data ToEnumSym0 :: forall a6989586621679763161. (~>) Nat a6989586621679763161 Source #
Instances
SEnum a => SingI (ToEnumSym0 :: TyFun Nat a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sing :: Sing ToEnumSym0 Source # | |
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679763161 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (ToEnumSym0 :: TyFun Nat k2 -> Type) (arg6989586621679763449 :: Nat) Source # | |
Defined in Data.Singletons.Prelude.Enum |
type ToEnumSym1 (arg6989586621679763449 :: Nat) = ToEnum arg6989586621679763449 Source #
data FromEnumSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 Nat Source #
Instances
SEnum a => SingI (FromEnumSym0 :: TyFun a Nat -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sing :: Sing FromEnumSym0 Source # | |
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679763161 Nat -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (FromEnumSym0 :: TyFun a Nat -> Type) (arg6989586621679763451 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (FromEnumSym0 :: TyFun a Nat -> Type) (arg6989586621679763451 :: a) = FromEnum arg6989586621679763451 |
type FromEnumSym1 (arg6989586621679763451 :: a6989586621679763161) = FromEnum arg6989586621679763451 Source #
data EnumFromToSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161]) Source #
Instances
SEnum a => SingI (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods | |
SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) (arg6989586621679763453 :: a6989586621679763161) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) (arg6989586621679763453 :: a6989586621679763161) = EnumFromToSym1 arg6989586621679763453 |
data EnumFromToSym1 (arg6989586621679763453 :: a6989586621679763161) :: (~>) a6989586621679763161 [a6989586621679763161] Source #
Instances
(SEnum a, SingI d) => SingI (EnumFromToSym1 d :: TyFun a [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sing :: Sing (EnumFromToSym1 d) Source # | |
SuppressUnusedWarnings (EnumFromToSym1 arg6989586621679763453 :: TyFun a6989586621679763161 [a6989586621679763161] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromToSym1 arg6989586621679763453 :: TyFun a [a] -> Type) (arg6989586621679763454 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym1 arg6989586621679763453 :: TyFun a [a] -> Type) (arg6989586621679763454 :: a) = EnumFromTo arg6989586621679763453 arg6989586621679763454 |
type EnumFromToSym2 (arg6989586621679763453 :: a6989586621679763161) (arg6989586621679763454 :: a6989586621679763161) = EnumFromTo arg6989586621679763453 arg6989586621679763454 Source #
data EnumFromThenToSym0 :: forall a6989586621679763161. (~>) a6989586621679763161 ((~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161])) Source #
Instances
SEnum a => SingI (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods | |
SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> (a6989586621679763161 ~> [a6989586621679763161])) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> (a6989586621679763161 ~> [a6989586621679763161])) -> Type) (arg6989586621679763457 :: a6989586621679763161) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym0 :: TyFun a6989586621679763161 (a6989586621679763161 ~> (a6989586621679763161 ~> [a6989586621679763161])) -> Type) (arg6989586621679763457 :: a6989586621679763161) = EnumFromThenToSym1 arg6989586621679763457 |
data EnumFromThenToSym1 (arg6989586621679763457 :: a6989586621679763161) :: (~>) a6989586621679763161 ((~>) a6989586621679763161 [a6989586621679763161]) Source #
Instances
(SEnum a, SingI d) => SingI (EnumFromThenToSym1 d :: TyFun a (a ~> [a]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sing :: Sing (EnumFromThenToSym1 d) Source # | |
SuppressUnusedWarnings (EnumFromThenToSym1 arg6989586621679763457 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym1 arg6989586621679763457 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) (arg6989586621679763458 :: a6989586621679763161) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym1 arg6989586621679763457 :: TyFun a6989586621679763161 (a6989586621679763161 ~> [a6989586621679763161]) -> Type) (arg6989586621679763458 :: a6989586621679763161) = EnumFromThenToSym2 arg6989586621679763457 arg6989586621679763458 |
data EnumFromThenToSym2 (arg6989586621679763457 :: a6989586621679763161) (arg6989586621679763458 :: a6989586621679763161) :: (~>) a6989586621679763161 [a6989586621679763161] Source #
Instances
(SEnum a, SingI d1, SingI d2) => SingI (EnumFromThenToSym2 d1 d2 :: TyFun a [a] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods sing :: Sing (EnumFromThenToSym2 d1 d2) Source # | |
SuppressUnusedWarnings (EnumFromThenToSym2 arg6989586621679763458 arg6989586621679763457 :: TyFun a6989586621679763161 [a6989586621679763161] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source # | |
type Apply (EnumFromThenToSym2 arg6989586621679763458 arg6989586621679763457 :: TyFun a [a] -> Type) (arg6989586621679763459 :: a) Source # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym2 arg6989586621679763458 arg6989586621679763457 :: TyFun a [a] -> Type) (arg6989586621679763459 :: a) = EnumFromThenTo arg6989586621679763458 arg6989586621679763457 arg6989586621679763459 |
type EnumFromThenToSym3 (arg6989586621679763457 :: a6989586621679763161) (arg6989586621679763458 :: a6989586621679763161) (arg6989586621679763459 :: a6989586621679763161) = EnumFromThenTo arg6989586621679763457 arg6989586621679763458 arg6989586621679763459 Source #