singletons-1.0: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Bounded

Contents

Description

Defines the promoted version of Bounded, PBounded

Synopsis

Documentation

class (~) kproxy KProxy => PBounded kproxy Source

Associated Types

type MinBound :: a Source

type MaxBound :: a Source

Instances

PBounded Bool (KProxy Bool) 
PBounded Ordering (KProxy Ordering) 
PBounded () (KProxy ()) 
PBounded ((,) k k) (KProxy ((,) k k)) 
PBounded ((,,) k k k) (KProxy ((,,) k k k)) 
PBounded ((,,,) k k k k) (KProxy ((,,,) k k k k)) 
PBounded ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k)) 
PBounded ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k)) 
PBounded ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k)) 

Defunctionalization symbols