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

Documentation

class (kproxy ~ Proxy) => PBounded kproxy Source #

Associated Types

type MinBound :: a Source #

type MaxBound :: a Source #

Instances

PBounded Bool (Proxy * Bool) Source #
Associated Types type MinBound (Proxy * Bool) :: a Source # type MaxBound (Proxy * Bool) :: a Source #
PBounded Ordering (Proxy * Ordering) Source #
Associated Types type MinBound (Proxy * Ordering) :: a Source # type MaxBound (Proxy * Ordering) :: a Source #
PBounded () (Proxy * ()) Source #
Associated Types type MinBound (Proxy * ()) :: a Source # type MaxBound (Proxy * ()) :: a Source #
PBounded (a0, b0) (Proxy * (a0, b0)) Source #
Associated Types type MinBound (Proxy * (a0, b0)) :: a Source # type MaxBound (Proxy * (a0, b0)) :: a Source #
PBounded (a0, b0, c0) (Proxy * (a0, b0, c0)) Source #
Associated Types type MinBound (Proxy * (a0, b0, c0)) :: a Source # type MaxBound (Proxy * (a0, b0, c0)) :: a Source #
PBounded (a0, b0, c0, d0) (Proxy * (a0, b0, c0, d0)) Source #
Associated Types type MinBound (Proxy * (a0, b0, c0, d0)) :: a Source # type MaxBound (Proxy * (a0, b0, c0, d0)) :: a Source #
PBounded (a0, b0, c0, d0, e0) (Proxy * (a0, b0, c0, d0, e0)) Source #
Associated Types type MinBound (Proxy * (a0, b0, c0, d0, e0)) :: a Source # type MaxBound (Proxy * (a0, b0, c0, d0, e0)) :: a Source #
PBounded (a0, b0, c0, d0, e0, f0) (Proxy * (a0, b0, c0, d0, e0, f0)) Source #
Associated Types type MinBound (Proxy * (a0, b0, c0, d0, e0, f0)) :: a Source # type MaxBound (Proxy * (a0, b0, c0, d0, e0, f0)) :: a Source #
PBounded (a0, b0, c0, d0, e0, f0, g0) (Proxy * (a0, b0, c0, d0, e0, f0, g0)) Source #
Associated Types type MinBound (Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a Source # type MaxBound (Proxy * (a0, b0, c0, d0, e0, f0, g0)) :: a Source #

class (kproxy ~ Proxy) => PEnum kproxy 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 (Proxy * Bool) Source #
Associated Types type Succ (Proxy * Bool) (arg :: Proxy * Bool) :: a Source # type Pred (Proxy * Bool) (arg :: Proxy * Bool) :: a Source # type ToEnum (Proxy * Bool) (arg :: Nat) :: a Source # type FromEnum (Proxy * Bool) (arg :: Proxy * Bool) :: Nat Source # type EnumFromTo (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: [a] Source # type EnumFromThenTo (Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) (arg :: Proxy * Bool) :: [a] Source #
PEnum Ordering (Proxy * Ordering) Source #
Associated Types type Succ (Proxy * Ordering) (arg :: Proxy * Ordering) :: a Source # type Pred (Proxy * Ordering) (arg :: Proxy * Ordering) :: a Source # type ToEnum (Proxy * Ordering) (arg :: Nat) :: a Source # type FromEnum (Proxy * Ordering) (arg :: Proxy * Ordering) :: Nat Source # type EnumFromTo (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: [a] Source # type EnumFromThenTo (Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) (arg :: Proxy * Ordering) :: [a] Source #
PEnum Nat (Proxy * Nat) Source #
Associated Types type Succ (Proxy * Nat) (arg :: Proxy * Nat) :: a Source # type Pred (Proxy * Nat) (arg :: Proxy * Nat) :: a Source # type ToEnum (Proxy * Nat) (arg :: Nat) :: a Source # type FromEnum (Proxy * Nat) (arg :: Proxy * Nat) :: Nat Source # type EnumFromTo (Proxy * Nat) (arg :: Proxy * Nat) (arg :: Proxy * Nat) :: [a] Source # type EnumFromThenTo (Proxy * Nat) (arg :: Proxy * Nat) (arg :: Proxy * Nat) (arg :: Proxy * Nat) :: [a] Source #
PEnum () (Proxy * ()) Source #
Associated Types type Succ (Proxy * ()) (arg :: Proxy * ()) :: a Source # type Pred (Proxy * ()) (arg :: Proxy * ()) :: a Source # type ToEnum (Proxy * ()) (arg :: Nat) :: a Source # type FromEnum (Proxy * ()) (arg :: Proxy * ()) :: Nat Source # type EnumFromTo (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: [a] Source # type EnumFromThenTo (Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) (arg :: Proxy * ()) :: [a] Source #

Defunctionalization symbols

type MinBoundSym0 = MinBound Source #

type MaxBoundSym0 = MaxBound Source #

data SuccSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627864213 a1627864213 -> *) (SuccSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (SuccSym0 a1627864213) t -> () Source #
type Apply a1627864213 a1627864213 (SuccSym0 a1627864213) l0 Source #
type Apply a1627864213 a1627864213 (SuccSym0 a1627864213) l0 = SuccSym1 a1627864213 l0

type SuccSym1 t = Succ t Source #

data PredSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627864213 a1627864213 -> *) (PredSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (PredSym0 a1627864213) t -> () Source #
type Apply a1627864213 a1627864213 (PredSym0 a1627864213) l0 Source #
type Apply a1627864213 a1627864213 (PredSym0 a1627864213) l0 = PredSym1 a1627864213 l0

type PredSym1 t = Pred t Source #

data ToEnumSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun Nat a1627864213 -> *) (ToEnumSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (ToEnumSym0 a1627864213) t -> () Source #
type Apply Nat k2 (ToEnumSym0 k2) l0 Source #
type Apply Nat k2 (ToEnumSym0 k2) l0 = ToEnumSym1 k2 l0

type ToEnumSym1 t = ToEnum t Source #

data FromEnumSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627864213 Nat -> *) (FromEnumSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (FromEnumSym0 a1627864213) t -> () Source #
type Apply a1627864213 Nat (FromEnumSym0 a1627864213) l0 Source #
type Apply a1627864213 Nat (FromEnumSym0 a1627864213) l0 = FromEnumSym1 a1627864213 l0

type FromEnumSym1 t = FromEnum t Source #

data EnumFromToSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627864213 (TyFun a1627864213 [a1627864213] -> Type) -> *) (EnumFromToSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (EnumFromToSym0 a1627864213) t -> () Source #
type Apply a1627864213 (TyFun a1627864213 [a1627864213] -> Type) (EnumFromToSym0 a1627864213) l0 Source #
type Apply a1627864213 (TyFun a1627864213 [a1627864213] -> Type) (EnumFromToSym0 a1627864213) l0 = EnumFromToSym1 a1627864213 l0

data EnumFromToSym1 l l Source #

Instances

SuppressUnusedWarnings (a1627864213 -> TyFun a1627864213 [a1627864213] -> *) (EnumFromToSym1 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (EnumFromToSym1 a1627864213) t -> () Source #
type Apply a1627864213 [a1627864213] (EnumFromToSym1 a1627864213 l1) l0 Source #
type Apply a1627864213 [a1627864213] (EnumFromToSym1 a1627864213 l1) l0 = EnumFromToSym2 a1627864213 l1 l0

type EnumFromToSym2 t t = EnumFromTo t t Source #

data EnumFromThenToSym0 l Source #

Instances

SuppressUnusedWarnings (TyFun a1627864213 (TyFun a1627864213 (TyFun a1627864213 [a1627864213] -> Type) -> Type) -> *) (EnumFromThenToSym0 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym0 a1627864213) t -> () Source #
type Apply a1627864213 (TyFun a1627864213 (TyFun a1627864213 [a1627864213] -> Type) -> Type) (EnumFromThenToSym0 a1627864213) l0 Source #
type Apply a1627864213 (TyFun a1627864213 (TyFun a1627864213 [a1627864213] -> Type) -> Type) (EnumFromThenToSym0 a1627864213) l0 = EnumFromThenToSym1 a1627864213 l0

data EnumFromThenToSym1 l l Source #

Instances

SuppressUnusedWarnings (a1627864213 -> TyFun a1627864213 (TyFun a1627864213 [a1627864213] -> Type) -> *) (EnumFromThenToSym1 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym1 a1627864213) t -> () Source #
type Apply a1627864213 (TyFun a1627864213 [a1627864213] -> Type) (EnumFromThenToSym1 a1627864213 l1) l0 Source #
type Apply a1627864213 (TyFun a1627864213 [a1627864213] -> Type) (EnumFromThenToSym1 a1627864213 l1) l0 = EnumFromThenToSym2 a1627864213 l1 l0

data EnumFromThenToSym2 l l l Source #

Instances

SuppressUnusedWarnings (a1627864213 -> a1627864213 -> TyFun a1627864213 [a1627864213] -> *) (EnumFromThenToSym2 a1627864213) Source #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym2 a1627864213) t -> () Source #
type Apply a1627864213 [a1627864213] (EnumFromThenToSym2 a1627864213 l1 l2) l0 Source #
type Apply a1627864213 [a1627864213] (EnumFromThenToSym2 a1627864213 l1 l2) l0 = EnumFromThenToSym3 a1627864213 l1 l2 l0

type EnumFromThenToSym3 t t t = EnumFromThenTo t t t Source #