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.Promotion.Prelude.Enum

Contents

Defunctionalization symbols

Description

Exports promoted versions of Enum and Bounded

Synopsis

class PBounded (a :: Type) where
- type MinBound :: a
- type MaxBound :: 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]
type MinBoundSym0 = MinBound
type MaxBoundSym0 = MaxBound
data SuccSym0 (l :: TyFun a6989586621679916796 a6989586621679916796)
type SuccSym1 (t :: a6989586621679916796) = Succ t
data PredSym0 (l :: TyFun a6989586621679916796 a6989586621679916796)
type PredSym1 (t :: a6989586621679916796) = Pred t
data ToEnumSym0 (l :: TyFun Nat a6989586621679916796)
type ToEnumSym1 (t :: Nat) = ToEnum t
data FromEnumSym0 (l :: TyFun a6989586621679916796 Nat)
type FromEnumSym1 (t :: a6989586621679916796) = FromEnum t
data EnumFromToSym0 (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type))
data EnumFromToSym1 (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 [a6989586621679916796])
type EnumFromToSym2 (t :: a6989586621679916796) (t :: a6989586621679916796) = EnumFromTo t t
data EnumFromThenToSym0 (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type))
data EnumFromThenToSym1 (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type))
data EnumFromThenToSym2 (l :: a6989586621679916796) (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 [a6989586621679916796])
type EnumFromThenToSym3 (t :: a6989586621679916796) (t :: a6989586621679916796) (t :: a6989586621679916796) = EnumFromThenTo t t t

Documentation

class PBounded (a :: Type) Source #

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

Instances

PBounded Bool Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded Ordering Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded () Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #
PBounded (a, b, c, d, e) Source #
Instance details Defined in Data.Singletons.Prelude.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.Prelude.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.Prelude.Enum Associated Types type MinBound :: a Source # type MaxBound :: a Source #

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 EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] Source #

Instances

PEnum Bool Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum Ordering Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum Nat Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #
PEnum () Source #
Instance details Defined in Data.Singletons.Prelude.Enum Associated Types type Succ arg :: a Source # type Pred arg :: a Source # type ToEnum arg :: a Source # type FromEnum arg :: Nat Source # type EnumFromTo arg arg :: [a] Source # type EnumFromThenTo arg arg arg :: [a] Source #

Defunctionalization symbols

type MinBoundSym0 = MinBound Source #

type MaxBoundSym0 = MaxBound Source #

data SuccSym0 (l :: TyFun a6989586621679916796 a6989586621679916796) Source #

Instances

SuppressUnusedWarnings (SuccSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (SuccSym0 :: TyFun a a -> *) (l :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (SuccSym0 :: TyFun a a -> *) (l :: a) = Succ l

type SuccSym1 (t :: a6989586621679916796) = Succ t Source #

data PredSym0 (l :: TyFun a6989586621679916796 a6989586621679916796) Source #

Instances

SuppressUnusedWarnings (PredSym0 :: TyFun a6989586621679916796 a6989586621679916796 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (PredSym0 :: TyFun a a -> *) (l :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (PredSym0 :: TyFun a a -> *) (l :: a) = Pred l

type PredSym1 (t :: a6989586621679916796) = Pred t Source #

data ToEnumSym0 (l :: TyFun Nat a6989586621679916796) Source #

Instances

SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679916796 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) = (ToEnum l :: k2)

type ToEnumSym1 (t :: Nat) = ToEnum t Source #

data FromEnumSym0 (l :: TyFun a6989586621679916796 Nat) Source #

Instances

SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679916796 Nat -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) = FromEnum l

type FromEnumSym1 (t :: a6989586621679916796) = FromEnum t Source #

data EnumFromToSym0 (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type)) Source #

Instances

SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (EnumFromToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) (l :: a6989586621679916796) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) (l :: a6989586621679916796) = EnumFromToSym1 l

data EnumFromToSym1 (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 [a6989586621679916796]) Source #

Instances

SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) = EnumFromTo l1 l2

type EnumFromToSym2 (t :: a6989586621679916796) (t :: a6989586621679916796) = EnumFromTo t t Source #

data EnumFromThenToSym0 (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (EnumFromThenToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type) -> *) (l :: a6989586621679916796) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym0 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> Type) -> *) (l :: a6989586621679916796) = EnumFromThenToSym1 l

data EnumFromThenToSym1 (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type)) Source #

Instances

SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679916796 -> TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) (l2 :: a6989586621679916796) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679916796 (TyFun a6989586621679916796 [a6989586621679916796] -> Type) -> *) (l2 :: a6989586621679916796) = EnumFromThenToSym2 l1 l2

data EnumFromThenToSym2 (l :: a6989586621679916796) (l :: a6989586621679916796) (l :: TyFun a6989586621679916796 [a6989586621679916796]) Source #

Instances

SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679916796 -> a6989586621679916796 -> TyFun a6989586621679916796 [a6989586621679916796] -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () Source #
type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) = EnumFromThenTo l1 l2 l3

type EnumFromThenToSym3 (t :: a6989586621679916796) (t :: a6989586621679916796) (t :: a6989586621679916796) = EnumFromThenTo t t t Source #