Data.Promotion.Prelude.Bounded

Defines the promoted version of Bounded, PBounded

Documentation

class (kproxy ~ KProxy) => PBounded kproxy

Associated Types

type MinBound :: a

type MaxBound :: a

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

type MaxBoundSym0 = MaxBound

type MinBoundSym0 = MinBound