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	GHC2021

Data.Singletons.Base.Enum

Contents

Defunctionalization symbols

Description

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.

Synopsis

class PBounded a where
- type MinBound :: a
- type MaxBound :: a
class SBounded a where
- sMinBound :: Sing (MinBoundSym0 :: a)
- sMaxBound :: Sing (MaxBoundSym0 :: a)
class PEnum a where
- type Succ (arg :: a) :: a
- type Pred (arg :: a) :: a
- type ToEnum (arg :: Natural) :: a
- type FromEnum (arg :: a) :: Natural
- type EnumFromTo (arg :: a) (arg1 :: a) :: [a]
- type EnumFromThenTo (arg :: a) (arg1 :: a) (arg2 :: a) :: [a]
class SEnum a where
- sSucc :: forall (t :: a). Sing t -> Sing (Apply (SuccSym0 :: TyFun a a -> Type) t)
- sPred :: forall (t :: a). Sing t -> Sing (Apply (PredSym0 :: TyFun a a -> Type) t)
- sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural a -> Type) t)
- sFromEnum :: forall (t :: a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun a Natural -> Type) t)
- sEnumFromTo :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) t1) t2)
- sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3)
type family MinBoundSym0 :: a where ...
type family MaxBoundSym0 :: a where ...
data SuccSym0 (a1 :: TyFun a a)
type family SuccSym1 (a6989586621679612923 :: a) :: a where ...
data PredSym0 (a1 :: TyFun a a)
type family PredSym1 (a6989586621679612926 :: a) :: a where ...
data ToEnumSym0 (a1 :: TyFun Natural a)
type family ToEnumSym1 (a6989586621679612929 :: Natural) :: a where ...
data FromEnumSym0 (a1 :: TyFun a Natural)
type family FromEnumSym1 (a6989586621679612932 :: a) :: Natural where ...
data EnumFromToSym0 (a1 :: TyFun a (a ~> [a]))
data EnumFromToSym1 (a6989586621679612936 :: a) (b :: TyFun a [a])
type family EnumFromToSym2 (a6989586621679612936 :: a) (a6989586621679612937 :: a) :: [a] where ...
data EnumFromThenToSym0 (a1 :: TyFun a (a ~> (a ~> [a])))
data EnumFromThenToSym1 (a6989586621679612942 :: a) (b :: TyFun a (a ~> [a]))
data EnumFromThenToSym2 (a6989586621679612942 :: a) (a6989586621679612943 :: a) (c :: TyFun a [a])
type family EnumFromThenToSym3 (a6989586621679612942 :: a) (a6989586621679612943 :: a) (a6989586621679612944 :: a) :: [a] where ...

Documentation

class PBounded a Source #

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

Instances

Instances details

PBounded All Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded Any Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded Ordering Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded () Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded Bool Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded (Identity a) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded (First a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Last a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Max a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Min a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (WrappedMonoid m) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Dual a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Product a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Sum a) Source #

Instance details

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type MinBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MinBound
type MaxBound
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers type MaxBound

PBounded (Proxy s) Source #

Instance details

Defined in Data.Proxy.Singletons

Associated Types

type MinBound
Instance details Defined in Data.Proxy.Singletons type MinBound
type MaxBound
Instance details Defined in Data.Proxy.Singletons type MaxBound

PBounded (a, b) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded (Const a b) Source #

Instance details

Defined in Data.Functor.Const.Singletons

Associated Types

type MinBound
Instance details Defined in Data.Functor.Const.Singletons type MinBound
type MaxBound
Instance details Defined in Data.Functor.Const.Singletons type MaxBound

PBounded (a, b, c) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

PBounded (a, b, c, d) Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

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

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

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

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

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

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type MinBound
Instance details Defined in Data.Singletons.Base.Enum type MinBound
type MaxBound
Instance details Defined in Data.Singletons.Base.Enum type MaxBound

class SBounded a where Source #

Methods

sMinBound :: Sing (MinBoundSym0 :: a) Source #

sMaxBound :: Sing (MaxBoundSym0 :: a) Source #

Instances

Instances details

SBounded Bool => SBounded All Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: All) Source # sMaxBound :: Sing (MaxBoundSym0 :: All) Source #
SBounded Bool => SBounded Any Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Any) Source # sMaxBound :: Sing (MaxBoundSym0 :: Any) Source #
SBounded Ordering Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: Ordering) Source # sMaxBound :: Sing (MaxBoundSym0 :: Ordering) Source #
SBounded () Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: ()) Source # sMaxBound :: Sing (MaxBoundSym0 :: ()) Source #
SBounded Bool Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: Bool) Source # sMaxBound :: Sing (MaxBoundSym0 :: Bool) Source #
SBounded Char Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: Char) Source # sMaxBound :: Sing (MaxBoundSym0 :: Char) Source #
SBounded a => SBounded (Identity a) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: Identity a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Identity a) Source #
SBounded a => SBounded (First a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: First a) Source # sMaxBound :: Sing (MaxBoundSym0 :: First a) Source #
SBounded a => SBounded (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Last a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Last a) Source #
SBounded a => SBounded (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Max a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Max a) Source #
SBounded a => SBounded (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Min a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Min a) Source #
SBounded m => SBounded (WrappedMonoid m) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: WrappedMonoid m) Source # sMaxBound :: Sing (MaxBoundSym0 :: WrappedMonoid m) Source #
SBounded a => SBounded (Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Dual a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Dual a) Source #
SBounded a => SBounded (Product a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Product a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Product a) Source #
SBounded a => SBounded (Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal.Wrappers Methods sMinBound :: Sing (MinBoundSym0 :: Sum a) Source # sMaxBound :: Sing (MaxBoundSym0 :: Sum a) Source #
SBounded (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Methods sMinBound :: Sing (MinBoundSym0 :: Proxy s) Source # sMaxBound :: Sing (MaxBoundSym0 :: Proxy s) Source #
(SBounded a, SBounded b) => SBounded (a, b) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b)) Source #
SBounded a => SBounded (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Methods sMinBound :: Sing (MinBoundSym0 :: Const a b) Source # sMaxBound :: Sing (MaxBoundSym0 :: Const a b) Source #
(SBounded a, SBounded b, SBounded c) => SBounded (a, b, c) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b, c)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b, c)) Source #
(SBounded a, SBounded b, SBounded c, SBounded d) => SBounded (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b, c, d)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b, c, d)) Source #
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e) => SBounded (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b, c, d, e)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b, c, d, e)) Source #
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f) => SBounded (a, b, c, d, e, f) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b, c, d, e, f)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b, c, d, e, f)) Source #
(SBounded a, SBounded b, SBounded c, SBounded d, SBounded e, SBounded f, SBounded g) => SBounded (a, b, c, d, e, f, g) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing (MinBoundSym0 :: (a, b, c, d, e, f, g)) Source # sMaxBound :: Sing (MaxBoundSym0 :: (a, b, c, d, e, f, g)) Source #

class PEnum a Source #

Associated Types

type Succ (arg :: a) :: a Source #

type Succ (arg :: a) = Apply (Succ_6989586621679612946Sym0 :: TyFun a a -> Type) arg

type Pred (arg :: a) :: a Source #

type Pred (arg :: a) = Apply (Pred_6989586621679612959Sym0 :: TyFun a a -> Type) arg

type ToEnum (arg :: Natural) :: a Source #

type FromEnum (arg :: a) :: Natural Source #

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

type EnumFromTo (arg :: a) (arg1 :: a) = Apply (Apply (EnumFromTo_6989586621679612969Sym0 :: TyFun a (a ~> [a]) -> Type) arg) arg1

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

type EnumFromThenTo (arg :: a) (arg1 :: a) (arg2 :: a) = Apply (Apply (Apply (EnumFromThenTo_6989586621679612981Sym0 :: TyFun a (a ~> (a ~> [a])) -> Type) arg) arg1) arg2

Instances

Instances details

PEnum Ordering Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Ordering)
Instance details Defined in Data.Singletons.Base.Enum type Succ (arg :: Ordering)
type Pred (arg :: Ordering)
Instance details Defined in Data.Singletons.Base.Enum type Pred (arg :: Ordering)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Ordering)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Ordering)
type EnumFromTo (arg1 :: Ordering) (arg2 :: Ordering)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (arg1 :: Ordering) (arg2 :: Ordering)
type EnumFromThenTo (arg1 :: Ordering) (arg2 :: Ordering) (arg3 :: Ordering)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (arg1 :: Ordering) (arg2 :: Ordering) (arg3 :: Ordering)

PEnum Natural Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type Succ (a :: Natural)
type Pred (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type Pred (a :: Natural)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Natural)
type EnumFromTo (a1 :: Natural) (a2 :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (a1 :: Natural) (a2 :: Natural)
type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (a1 :: Natural) (a2 :: Natural) (a3 :: Natural)

PEnum () Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: ())
Instance details Defined in Data.Singletons.Base.Enum type Succ (arg :: ())
type Pred (arg :: ())
Instance details Defined in Data.Singletons.Base.Enum type Pred (arg :: ())
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: ())
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: ())
type EnumFromTo (arg1 :: ()) (arg2 :: ())
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (arg1 :: ()) (arg2 :: ())
type EnumFromThenTo (arg1 :: ()) (arg2 :: ()) (arg3 :: ())
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (arg1 :: ()) (arg2 :: ()) (arg3 :: ())

PEnum Bool Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Bool)
Instance details Defined in Data.Singletons.Base.Enum type Succ (arg :: Bool)
type Pred (arg :: Bool)
Instance details Defined in Data.Singletons.Base.Enum type Pred (arg :: Bool)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Bool)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Bool)
type EnumFromTo (arg1 :: Bool) (arg2 :: Bool)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (arg1 :: Bool) (arg2 :: Bool)
type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool)

PEnum Char Source #

Instance details

Defined in Data.Singletons.Base.Enum

Associated Types

type Succ (arg :: Char)
Instance details Defined in Data.Singletons.Base.Enum type Succ (arg :: Char)
type Pred (arg :: Char)
Instance details Defined in Data.Singletons.Base.Enum type Pred (arg :: Char)
type ToEnum a
Instance details Defined in Data.Singletons.Base.Enum type ToEnum a
type FromEnum (a :: Char)
Instance details Defined in Data.Singletons.Base.Enum type FromEnum (a :: Char)
type EnumFromTo (arg1 :: Char) (arg2 :: Char)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromTo (arg1 :: Char) (arg2 :: Char)
type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)
Instance details Defined in Data.Singletons.Base.Enum type EnumFromThenTo (arg1 :: Char) (arg2 :: Char) (arg3 :: Char)

PEnum (Identity a) Source #

Instance details

Defined in Data.Functor.Identity.Singletons

PEnum (First a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PEnum (Last a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PEnum (Max a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PEnum (Min a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PEnum (WrappedMonoid a) Source #

Instance details

Defined in Data.Semigroup.Singletons

PEnum (Proxy s) Source #

Instance details

Defined in Data.Proxy.Singletons

PEnum (Const a b) Source #

Instance details

Defined in Data.Functor.Const.Singletons

class SEnum a where Source #

Minimal complete definition

sToEnum, sFromEnum

Methods

sSucc :: forall (t :: a). Sing t -> Sing (Apply (SuccSym0 :: TyFun a a -> Type) t) Source #

default sSucc :: forall (t :: a). Apply (SuccSym0 :: TyFun a a -> Type) t ~ Apply (Succ_6989586621679612946Sym0 :: TyFun a a -> Type) t => Sing t -> Sing (Apply (SuccSym0 :: TyFun a a -> Type) t) Source #

sPred :: forall (t :: a). Sing t -> Sing (Apply (PredSym0 :: TyFun a a -> Type) t) Source #

default sPred :: forall (t :: a). Apply (PredSym0 :: TyFun a a -> Type) t ~ Apply (Pred_6989586621679612959Sym0 :: TyFun a a -> Type) t => Sing t -> Sing (Apply (PredSym0 :: TyFun a a -> Type) t) Source #

sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural a -> Type) t) Source #

sFromEnum :: forall (t :: a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun a Natural -> Type) t) Source #

sEnumFromTo :: forall (t1 :: a) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) t1) t2) Source #

default sEnumFromTo :: forall (t1 :: a) (t2 :: a). Apply (Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) t1) t2 ~ Apply (Apply (EnumFromTo_6989586621679612969Sym0 :: TyFun a (a ~> [a]) -> Type) t1) t2 => Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) t1) t2) Source #

sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3) Source #

default sEnumFromThenTo :: forall (t1 :: a) (t2 :: a) (t3 :: a). Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3 ~ Apply (Apply (Apply (EnumFromThenTo_6989586621679612981Sym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3 => Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) t1) t2) t3) Source #

Instances

Instances details

SEnum Ordering Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Ordering). Sing t -> Sing (Apply (SuccSym0 :: TyFun Ordering Ordering -> Type) t) Source # sPred :: forall (t :: Ordering). Sing t -> Sing (Apply (PredSym0 :: TyFun Ordering Ordering -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Ordering -> Type) t) Source # sFromEnum :: forall (t :: Ordering). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Ordering Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Ordering) (t2 :: Ordering). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Ordering (Ordering ~> [Ordering]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Ordering) (t2 :: Ordering) (t3 :: Ordering). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Ordering (Ordering ~> (Ordering ~> [Ordering])) -> Type) t1) t2) t3) Source #
SEnum Natural Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Natural). Sing t -> Sing (Apply (SuccSym0 :: TyFun Natural Natural -> Type) t) Source # sPred :: forall (t :: Natural). Sing t -> Sing (Apply (PredSym0 :: TyFun Natural Natural -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Natural -> Type) t) Source # sFromEnum :: forall (t :: Natural). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Natural Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Natural) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Natural (Natural ~> [Natural]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Natural) (t2 :: Natural) (t3 :: Natural). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Natural (Natural ~> (Natural ~> [Natural])) -> Type) t1) t2) t3) Source #
SEnum () Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: ()). Sing t -> Sing (Apply (SuccSym0 :: TyFun () () -> Type) t) Source # sPred :: forall (t :: ()). Sing t -> Sing (Apply (PredSym0 :: TyFun () () -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural () -> Type) t) Source # sFromEnum :: forall (t :: ()). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun () Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: ()) (t2 :: ()). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun () (() ~> [()]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: ()) (t2 :: ()) (t3 :: ()). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun () (() ~> (() ~> [()])) -> Type) t1) t2) t3) Source #
SEnum Bool Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Bool). Sing t -> Sing (Apply (SuccSym0 :: TyFun Bool Bool -> Type) t) Source # sPred :: forall (t :: Bool). Sing t -> Sing (Apply (PredSym0 :: TyFun Bool Bool -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Bool -> Type) t) Source # sFromEnum :: forall (t :: Bool). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Bool Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Bool (Bool ~> [Bool]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Bool) (t2 :: Bool) (t3 :: Bool). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Bool (Bool ~> (Bool ~> [Bool])) -> Type) t1) t2) t3) Source #
SEnum Char Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Char). Sing t -> Sing (Apply (SuccSym0 :: TyFun Char Char -> Type) t) Source # sPred :: forall (t :: Char). Sing t -> Sing (Apply (PredSym0 :: TyFun Char Char -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural Char -> Type) t) Source # sFromEnum :: forall (t :: Char). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun Char Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Char) (t2 :: Char). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun Char (Char ~> [Char]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Char) (t2 :: Char) (t3 :: Char). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun Char (Char ~> (Char ~> [Char])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (Identity a) Source #
Instance details Defined in Data.Functor.Identity.Singletons Methods sSucc :: forall (t :: Identity a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Identity a) (Identity a) -> Type) t) Source # sPred :: forall (t :: Identity a). Sing t -> Sing (Apply (PredSym0 :: TyFun (Identity a) (Identity a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Identity a) -> Type) t) Source # sFromEnum :: forall (t :: Identity a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Identity a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Identity a) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Identity a) (Identity a ~> [Identity a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Identity a) (t2 :: Identity a) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Identity a) (Identity a ~> (Identity a ~> [Identity a])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (First a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sSucc :: forall (t :: First a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (First a) (First a) -> Type) t) Source # sPred :: forall (t :: First a). Sing t -> Sing (Apply (PredSym0 :: TyFun (First a) (First a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (First a) -> Type) t) Source # sFromEnum :: forall (t :: First a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (First a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: First a) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (First a) (First a ~> [First a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: First a) (t2 :: First a) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (First a) (First a ~> (First a ~> [First a])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sSucc :: forall (t :: Last a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Last a) (Last a) -> Type) t) Source # sPred :: forall (t :: Last a). Sing t -> Sing (Apply (PredSym0 :: TyFun (Last a) (Last a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Last a) -> Type) t) Source # sFromEnum :: forall (t :: Last a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Last a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Last a) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Last a) (Last a ~> [Last a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Last a) (t2 :: Last a) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Last a) (Last a ~> (Last a ~> [Last a])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sSucc :: forall (t :: Max a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Max a) (Max a) -> Type) t) Source # sPred :: forall (t :: Max a). Sing t -> Sing (Apply (PredSym0 :: TyFun (Max a) (Max a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Max a) -> Type) t) Source # sFromEnum :: forall (t :: Max a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Max a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Max a) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Max a) (Max a ~> [Max a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Max a) (t2 :: Max a) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Max a) (Max a ~> (Max a ~> [Max a])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sSucc :: forall (t :: Min a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Min a) (Min a) -> Type) t) Source # sPred :: forall (t :: Min a). Sing t -> Sing (Apply (PredSym0 :: TyFun (Min a) (Min a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Min a) -> Type) t) Source # sFromEnum :: forall (t :: Min a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Min a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Min a) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Min a) (Min a ~> [Min a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Min a) (t2 :: Min a) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Min a) (Min a ~> (Min a ~> [Min a])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (WrappedMonoid a) Source #
Instance details Defined in Data.Semigroup.Singletons Methods sSucc :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply (SuccSym0 :: TyFun (WrappedMonoid a) (WrappedMonoid a) -> Type) t) Source # sPred :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply (PredSym0 :: TyFun (WrappedMonoid a) (WrappedMonoid a) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (WrappedMonoid a) -> Type) t) Source # sFromEnum :: forall (t :: WrappedMonoid a). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (WrappedMonoid a) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: WrappedMonoid a) (t2 :: WrappedMonoid a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (WrappedMonoid a) (WrappedMonoid a ~> [WrappedMonoid a]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: WrappedMonoid a) (t2 :: WrappedMonoid a) (t3 :: WrappedMonoid a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (WrappedMonoid a) (WrappedMonoid a ~> (WrappedMonoid a ~> [WrappedMonoid a])) -> Type) t1) t2) t3) Source #
SEnum (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Methods sSucc :: forall (t :: Proxy s). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Proxy s) (Proxy s) -> Type) t) Source # sPred :: forall (t :: Proxy s). Sing t -> Sing (Apply (PredSym0 :: TyFun (Proxy s) (Proxy s) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Proxy s) -> Type) t) Source # sFromEnum :: forall (t :: Proxy s). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Proxy s) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Proxy s) (t2 :: Proxy s). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Proxy s) (Proxy s ~> [Proxy s]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Proxy s) (t2 :: Proxy s) (t3 :: Proxy s). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Proxy s) (Proxy s ~> (Proxy s ~> [Proxy s])) -> Type) t1) t2) t3) Source #
SEnum a => SEnum (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Methods sSucc :: forall (t :: Const a b). Sing t -> Sing (Apply (SuccSym0 :: TyFun (Const a b) (Const a b) -> Type) t) Source # sPred :: forall (t :: Const a b). Sing t -> Sing (Apply (PredSym0 :: TyFun (Const a b) (Const a b) -> Type) t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply (ToEnumSym0 :: TyFun Natural (Const a b) -> Type) t) Source # sFromEnum :: forall (t :: Const a b). Sing t -> Sing (Apply (FromEnumSym0 :: TyFun (Const a b) Natural -> Type) t) Source # sEnumFromTo :: forall (t1 :: Const a b) (t2 :: Const a b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (EnumFromToSym0 :: TyFun (Const a b) (Const a b ~> [Const a b]) -> Type) t1) t2) Source # sEnumFromThenTo :: forall (t1 :: Const a b) (t2 :: Const a b) (t3 :: Const a b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (EnumFromThenToSym0 :: TyFun (Const a b) (Const a b ~> (Const a b ~> [Const a b])) -> Type) t1) t2) t3) Source #

Defunctionalization symbols

type family MinBoundSym0 :: a where ... Source #

Equations

MinBoundSym0 = MinBound :: a

type family MaxBoundSym0 :: a where ... Source #

Equations

MaxBoundSym0 = MaxBound :: a

data SuccSym0 (a1 :: TyFun a a) Source #

Instances

Instances details

SEnum a => SingI (SuccSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (SuccSym0 :: TyFun a a -> Type) #
SuppressUnusedWarnings (SuccSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679612923 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679612923 :: a) = Succ a6989586621679612923

type family SuccSym1 (a6989586621679612923 :: a) :: a where ... Source #

Equations

SuccSym1 (a6989586621679612923 :: a) = Succ a6989586621679612923

data PredSym0 (a1 :: TyFun a a) Source #

Instances

Instances details

SEnum a => SingI (PredSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (PredSym0 :: TyFun a a -> Type) #
SuppressUnusedWarnings (PredSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679612926 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679612926 :: a) = Pred a6989586621679612926

type family PredSym1 (a6989586621679612926 :: a) :: a where ... Source #

Equations

PredSym1 (a6989586621679612926 :: a) = Pred a6989586621679612926

data ToEnumSym0 (a1 :: TyFun Natural a) Source #

Instances

Instances details

SEnum a => SingI (ToEnumSym0 :: TyFun Natural a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (ToEnumSym0 :: TyFun Natural a -> Type) #
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Natural a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679612929 :: Natural) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679612929 :: Natural) = ToEnum a6989586621679612929 :: k2

type family ToEnumSym1 (a6989586621679612929 :: Natural) :: a where ... Source #

Equations

ToEnumSym1 a6989586621679612929 = ToEnum a6989586621679612929 :: a

data FromEnumSym0 (a1 :: TyFun a Natural) Source #

Instances

Instances details

SEnum a => SingI (FromEnumSym0 :: TyFun a Natural -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (FromEnumSym0 :: TyFun a Natural -> Type) #
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a Natural -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679612932 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679612932 :: a) = FromEnum a6989586621679612932

type family FromEnumSym1 (a6989586621679612932 :: a) :: Natural where ... Source #

Equations

FromEnumSym1 (a6989586621679612932 :: a) = FromEnum a6989586621679612932

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

Instances

Instances details

SEnum a => SingI (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) #
SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) (a6989586621679612936 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) (a6989586621679612936 :: a) = EnumFromToSym1 a6989586621679612936

data EnumFromToSym1 (a6989586621679612936 :: a) (b :: TyFun a [a]) Source #

Instances

Instances details

SEnum a => SingI1 (EnumFromToSym1 :: a -> TyFun a [a] -> Type) Source #
Instance details 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) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (EnumFromToSym1 d) #
SuppressUnusedWarnings (EnumFromToSym1 a6989586621679612936 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromToSym1 a6989586621679612936 :: TyFun a [a] -> Type) (a6989586621679612937 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromToSym1 a6989586621679612936 :: TyFun a [a] -> Type) (a6989586621679612937 :: a) = EnumFromTo a6989586621679612936 a6989586621679612937

type family EnumFromToSym2 (a6989586621679612936 :: a) (a6989586621679612937 :: a) :: [a] where ... Source #

Equations

EnumFromToSym2 (a6989586621679612936 :: a) (a6989586621679612937 :: a) = EnumFromTo a6989586621679612936 a6989586621679612937

data EnumFromThenToSym0 (a1 :: TyFun a (a ~> (a ~> [a]))) Source #

Instances

Instances details

SEnum a => SingI (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) #
SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) (a6989586621679612942 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) (a6989586621679612942 :: a) = EnumFromThenToSym1 a6989586621679612942

data EnumFromThenToSym1 (a6989586621679612942 :: a) (b :: TyFun a (a ~> [a])) Source #

Instances

Instances details

SEnum a => SingI1 (EnumFromThenToSym1 :: a -> TyFun a (a ~> [a]) -> Type) Source #
Instance details 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) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (EnumFromThenToSym1 d) #
SuppressUnusedWarnings (EnumFromThenToSym1 a6989586621679612942 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromThenToSym1 a6989586621679612942 :: TyFun a (a ~> [a]) -> Type) (a6989586621679612943 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym1 a6989586621679612942 :: TyFun a (a ~> [a]) -> Type) (a6989586621679612943 :: a) = EnumFromThenToSym2 a6989586621679612942 a6989586621679612943

data EnumFromThenToSym2 (a6989586621679612942 :: a) (a6989586621679612943 :: a) (c :: TyFun a [a]) Source #

Instances

Instances details

SEnum a => SingI2 (EnumFromThenToSym2 :: a -> a -> TyFun a [a] -> Type) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sing :: Sing (EnumFromThenToSym2 d1 d2) #
SuppressUnusedWarnings (EnumFromThenToSym2 a6989586621679612942 a6989586621679612943 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromThenToSym2 a6989586621679612942 a6989586621679612943 :: TyFun a [a] -> Type) (a6989586621679612944 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym2 a6989586621679612942 a6989586621679612943 :: TyFun a [a] -> Type) (a6989586621679612944 :: a) = EnumFromThenTo a6989586621679612942 a6989586621679612943 a6989586621679612944

type family EnumFromThenToSym3 (a6989586621679612942 :: a) (a6989586621679612943 :: a) (a6989586621679612944 :: a) :: [a] where ... Source #

Equations

EnumFromThenToSym3 (a6989586621679612942 :: a) (a6989586621679612943 :: a) (a6989586621679612944 :: a) = EnumFromThenTo a6989586621679612942 a6989586621679612943 a6989586621679612944