singletons-2.1: A framework for generating singleton types

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 ~ KProxy) => PBounded kproxy Source

Associated Types

type MinBound :: a Source

type MaxBound :: a Source

Instances

PBounded Bool (KProxy Bool) Source
PBounded Ordering (KProxy Ordering) Source
PBounded () (KProxy ()) Source
PBounded ((,) a b) (KProxy ((,) a b)) Source
PBounded ((,,) a b c) (KProxy ((,,) a b c)) Source
PBounded ((,,,) a b c d) (KProxy ((,,,) a b c d)) Source
PBounded ((,,,,) a b c d e) (KProxy ((,,,,) a b c d e)) Source
PBounded ((,,,,,) a b c d e f) (KProxy ((,,,,,) a b c d e f)) Source
PBounded ((,,,,,,) a b c d e f g) (KProxy ((,,,,,,) a b c d e f g)) Source

class (kproxy ~ KProxy) => PEnum kproxy Source

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

Instances

PEnum Bool (KProxy Bool) Source
PEnum Ordering (KProxy Ordering) Source
PEnum Nat (KProxy Nat) Source
PEnum () (KProxy ()) Source

Defunctionalization symbols

type MinBoundSym0 = MinBound Source

type MaxBoundSym0 = MaxBound Source

data SuccSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k k -> *) (SuccSym0 k) Source
type Apply k k (SuccSym0 k) l0 = SuccSym1 k l0 Source

type SuccSym1 t = Succ t Source

data PredSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k k -> *) (PredSym0 k) Source
type Apply k k (PredSym0 k) l0 = PredSym1 k l0 Source

type PredSym1 t = Pred t Source

data ToEnumSym0 l Source

Instances

SuppressUnusedWarnings (TyFun Nat k -> *) (ToEnumSym0 k) Source
type Apply k Nat (ToEnumSym0 k) l0 = ToEnumSym1 k l0 Source

type ToEnumSym1 t = ToEnum t Source

data FromEnumSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k Nat -> *) (FromEnumSym0 k) Source
type Apply Nat k (FromEnumSym0 k) l0 = FromEnumSym1 k l0 Source

type FromEnumSym1 t = FromEnum t Source

data EnumFromToSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k [k] -> ) -> ) (EnumFromToSym0 k) Source
type Apply (TyFun k [k] -> *) k (EnumFromToSym0 k) l0 = EnumFromToSym1 k l0 Source

data EnumFromToSym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k [k] -> *) (EnumFromToSym1 k) Source
type Apply [k] k (EnumFromToSym1 k l1) l0 = EnumFromToSym2 k l1 l0 Source

type EnumFromToSym2 t t = EnumFromTo t t Source

data EnumFromThenToSym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k [k] -> ) -> ) -> *) (EnumFromThenToSym0 k) Source
type Apply (TyFun k (TyFun k [k] -> ) -> ) k (EnumFromThenToSym0 k) l0 = EnumFromThenToSym1 k l0 Source

data EnumFromThenToSym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k [k] -> ) -> ) (EnumFromThenToSym1 k) Source
type Apply (TyFun k [k] -> *) k (EnumFromThenToSym1 k l1) l0 = EnumFromThenToSym2 k l1 l0 Source

data EnumFromThenToSym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k [k] -> *) (EnumFromThenToSym2 k) Source
type Apply [k] k (EnumFromThenToSym2 k l1 l2) l0 = EnumFromThenToSym3 k l1 l2 l0 Source

type EnumFromThenToSym3 t t t = EnumFromThenTo t t t Source