Copyright	(C) 2014 Jan Stolarek
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.Bounded

Contents

Description

Defines the promoted version of Bounded, PBounded

Synopsis

Documentation

class (~) kproxy KProxy => PBounded kproxy Source

Associated Types

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