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	Safe-Inferred
Language	Haskell2010

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) (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 :: Natural). Sing t -> Sing (Apply ToEnumSym0 t :: a)
- sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Natural)
- 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 family MinBoundSym0 :: a where ...
type family MaxBoundSym0 :: a where ...
data SuccSym0 :: (~>) a a
type family SuccSym1 (a6989586621679605379 :: a) :: a where ...
data PredSym0 :: (~>) a a
type family PredSym1 (a6989586621679605382 :: a) :: a where ...
data ToEnumSym0 :: (~>) Natural a
type family ToEnumSym1 (a6989586621679605385 :: Natural) :: a where ...
data FromEnumSym0 :: (~>) a Natural
type family FromEnumSym1 (a6989586621679605388 :: a) :: Natural where ...
data EnumFromToSym0 :: (~>) a ((~>) a [a])
data EnumFromToSym1 (a6989586621679605392 :: a) :: (~>) a [a]
type family EnumFromToSym2 (a6989586621679605392 :: a) (a6989586621679605393 :: a) :: [a] where ...
data EnumFromThenToSym0 :: (~>) a ((~>) a ((~>) a [a]))
data EnumFromThenToSym1 (a6989586621679605398 :: a) :: (~>) a ((~>) a [a])
data EnumFromThenToSym2 (a6989586621679605398 :: a) (a6989586621679605399 :: a) :: (~>) a [a]
type family EnumFromThenToSym3 (a6989586621679605398 :: a) (a6989586621679605399 :: a) (a6989586621679605400 :: 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 Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded Any Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded Ordering Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded () Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded Bool Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded Char Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Identity a) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (First a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (WrappedMonoid m) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Product a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d, e, f) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d, e, f, g) Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #

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 Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded Bool => SBounded Any Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded Ordering Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 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 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded Char Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Identity a) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (First a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded m => SBounded (WrappedMonoid m) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Dual a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Product a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Sum a) Source #
Instance details Defined in Data.Semigroup.Singletons.Internal Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
(SBounded a, SBounded b) => SBounded (a, b) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
SBounded a => SBounded (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 Source #
(SBounded a, SBounded b, SBounded c) => SBounded (a, b, c) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sMinBound :: Sing MinBoundSym0 Source # sMaxBound :: Sing MaxBoundSym0 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 Source # sMaxBound :: Sing MaxBoundSym0 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 Source # sMaxBound :: Sing MaxBoundSym0 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 Source # sMaxBound :: Sing MaxBoundSym0 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 Source # sMaxBound :: Sing MaxBoundSym0 Source #

class PEnum a Source #

Associated Types

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

type Succ a = Apply Succ_6989586621679605402Sym0 a

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

type Pred a = Apply Pred_6989586621679605415Sym0 a

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

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

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

type EnumFromTo a a = Apply (Apply EnumFromTo_6989586621679605425Sym0 a) a

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

type EnumFromThenTo a a a = Apply (Apply (Apply EnumFromThenTo_6989586621679605437Sym0 a) a) a

Instances

Instances details

PEnum Ordering Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum Natural Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum () Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum Bool Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum Char Source #
Instance details Defined in Data.Singletons.Base.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Identity a) Source #
Instance details Defined in Data.Functor.Identity.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (First a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Last a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Max a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Min a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (WrappedMonoid a) Source #
Instance details Defined in Data.Semigroup.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum (Const a b) Source #
Instance details Defined in Data.Functor.Const.Singletons Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Natural Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #

class SEnum a where Source #

Minimal complete definition

sToEnum, sFromEnum

Methods

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

default sSucc :: forall (t :: a). (Apply SuccSym0 t :: a) ~ Apply Succ_6989586621679605402Sym0 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_6989586621679605415Sym0 t => Sing t -> Sing (Apply PredSym0 t :: a) Source #

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

sFromEnum :: forall (t :: a). Sing t -> Sing (Apply FromEnumSym0 t :: Natural) 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_6989586621679605425Sym0 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 #

default sEnumFromThenTo :: forall (t :: a) (t :: a) (t :: a). (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) ~ Apply (Apply (Apply EnumFromThenTo_6989586621679605437Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t :: [a]) 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 t) Source # sPred :: forall (t :: Ordering). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). 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 Natural Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Natural). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Natural). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Natural). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Natural) (t :: Natural). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Natural) (t :: Natural) (t :: Natural). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) Source #
SEnum () Source #
Instance details Defined in Data.Singletons.Base.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 :: Natural). 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 Bool Source #
Instance details Defined in Data.Singletons.Base.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 :: Natural). 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 Char Source #
Instance details Defined in Data.Singletons.Base.Enum Methods sSucc :: forall (t :: Char). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Char). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Char). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Char) (t :: Char). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Char) (t :: Char) (t :: Char). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) 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 t) Source # sPred :: forall (t :: Identity a). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). 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 #
Instance details Defined in Data.Semigroup.Singletons 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 :: Natural). 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 #
Instance details Defined in Data.Semigroup.Singletons 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 :: Natural). 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 #
Instance details Defined in Data.Semigroup.Singletons 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 :: Natural). 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 #
Instance details Defined in Data.Semigroup.Singletons 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 :: Natural). 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 #
Instance details Defined in Data.Semigroup.Singletons 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 :: Natural). 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 (Proxy s) Source #
Instance details Defined in Data.Proxy.Singletons Methods sSucc :: forall (t :: Proxy s). Sing t -> Sing (Apply SuccSym0 t) Source # sPred :: forall (t :: Proxy s). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). Sing t -> Sing (Apply ToEnumSym0 t) Source # sFromEnum :: forall (t :: Proxy s). Sing t -> Sing (Apply FromEnumSym0 t) Source # sEnumFromTo :: forall (t :: Proxy s) (t :: Proxy s). Sing t -> Sing t -> Sing (Apply (Apply EnumFromToSym0 t) t) Source # sEnumFromThenTo :: forall (t :: Proxy s) (t :: Proxy s) (t :: Proxy s). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t) t) t) 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 t) Source # sPred :: forall (t :: Const a b). Sing t -> Sing (Apply PredSym0 t) Source # sToEnum :: forall (t :: Natural). 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 family MinBoundSym0 :: a where ... Source #

Equations

MinBoundSym0 = MinBound

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

Equations

MaxBoundSym0 = MaxBound

data SuccSym0 :: (~>) 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
SuppressUnusedWarnings (SuccSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679605379 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (SuccSym0 :: TyFun a a -> Type) (a6989586621679605379 :: a) = Succ a6989586621679605379

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

Equations

SuccSym1 a6989586621679605379 = Succ a6989586621679605379

data PredSym0 :: (~>) 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
SuppressUnusedWarnings (PredSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679605382 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (PredSym0 :: TyFun a a -> Type) (a6989586621679605382 :: a) = Pred a6989586621679605382

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

Equations

PredSym1 a6989586621679605382 = Pred a6989586621679605382

data ToEnumSym0 :: (~>) 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
SuppressUnusedWarnings (ToEnumSym0 :: TyFun Natural a -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679605385 :: Natural) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (ToEnumSym0 :: TyFun Natural k2 -> Type) (a6989586621679605385 :: Natural) = ToEnum a6989586621679605385 :: k2

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

Equations

ToEnumSym1 a6989586621679605385 = ToEnum a6989586621679605385

data FromEnumSym0 :: (~>) 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
SuppressUnusedWarnings (FromEnumSym0 :: TyFun a Natural -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679605388 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (FromEnumSym0 :: TyFun a Natural -> Type) (a6989586621679605388 :: a) = FromEnum a6989586621679605388

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

Equations

FromEnumSym1 a6989586621679605388 = FromEnum a6989586621679605388

data EnumFromToSym0 :: (~>) 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
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) (a6989586621679605392 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromToSym0 :: TyFun a (a ~> [a]) -> Type) (a6989586621679605392 :: a) = EnumFromToSym1 a6989586621679605392

data EnumFromToSym1 (a6989586621679605392 :: a) :: (~>) 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 :: k1). 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 a6989586621679605392 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromToSym1 a6989586621679605392 :: TyFun a [a] -> Type) (a6989586621679605393 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromToSym1 a6989586621679605392 :: TyFun a [a] -> Type) (a6989586621679605393 :: a) = EnumFromTo a6989586621679605392 a6989586621679605393

type family EnumFromToSym2 (a6989586621679605392 :: a) (a6989586621679605393 :: a) :: [a] where ... Source #

Equations

EnumFromToSym2 a6989586621679605392 a6989586621679605393 = EnumFromTo a6989586621679605392 a6989586621679605393

data EnumFromThenToSym0 :: (~>) 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
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) (a6989586621679605398 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym0 :: TyFun a (a ~> (a ~> [a])) -> Type) (a6989586621679605398 :: a) = EnumFromThenToSym1 a6989586621679605398

data EnumFromThenToSym1 (a6989586621679605398 :: a) :: (~>) 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 :: k1). 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 a6989586621679605398 :: TyFun a (a ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromThenToSym1 a6989586621679605398 :: TyFun a (a ~> [a]) -> Type) (a6989586621679605399 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym1 a6989586621679605398 :: TyFun a (a ~> [a]) -> Type) (a6989586621679605399 :: a) = EnumFromThenToSym2 a6989586621679605398 a6989586621679605399

data EnumFromThenToSym2 (a6989586621679605398 :: a) (a6989586621679605399 :: a) :: (~>) 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 :: k1) (y :: k2). 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 :: k1). 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 a6989586621679605398 a6989586621679605399 :: TyFun a [a] -> Type) Source #
Instance details Defined in Data.Singletons.Base.Enum Methods suppressUnusedWarnings :: () #
type Apply (EnumFromThenToSym2 a6989586621679605398 a6989586621679605399 :: TyFun a [a] -> Type) (a6989586621679605400 :: a) Source #
Instance details Defined in Data.Singletons.Base.Enum type Apply (EnumFromThenToSym2 a6989586621679605398 a6989586621679605399 :: TyFun a [a] -> Type) (a6989586621679605400 :: a) = EnumFromThenTo a6989586621679605398 a6989586621679605399 a6989586621679605400

type family EnumFromThenToSym3 (a6989586621679605398 :: a) (a6989586621679605399 :: a) (a6989586621679605400 :: a) :: [a] where ... Source #

Equations

EnumFromThenToSym3 a6989586621679605398 a6989586621679605399 a6989586621679605400 = EnumFromThenTo a6989586621679605398 a6989586621679605399 a6989586621679605400