Generic.Data.Internal.Enum

Documentation

gtoEnum :: forall a. (Generic a, GEnum (Rep a)) => Int -> a

Generic toEnum.

instance Enum MyType where
  toEnum = gtoEnum
  fromEnum = gfromEnum

gfromEnum :: (Generic a, GEnum (Rep a)) => a -> Int

Generic fromEnum.

See also gtoEnum.

gminBound :: (Generic a, GBounded (Rep a)) => a

Generic minBound.

instance Bounded MyType where
  minBound = gminBound
  maxBound = gmaxBound

gmaxBound :: (Generic a, GBounded (Rep a)) => a

Generic maxBound.

See also gminBound.

class GEnum f where

Generic representation of Enum types.

Minimal complete definition

gCardinality, gFromEnum, gToEnum

Methods

gCardinality :: proxy f -> Int

gFromEnum :: f p -> Int

gToEnum :: Int -> f p

Instances

GEnum (U1 :: * -> *)

Defined in Generic.Data.Internal.Enum

Methods

gCardinality :: proxy U1 -> Int

gFromEnum :: U1 p -> Int

gToEnum :: Int -> U1 p

(GEnum f, GEnum g) => GEnum (f :+: g)

Defined in Generic.Data.Internal.Enum

Methods

gCardinality :: proxy (f :+: g) -> Int

gFromEnum :: (f :+: g) p -> Int

gToEnum :: Int -> (f :+: g) p

GEnum f => GEnum (M1 i c f)

Defined in Generic.Data.Internal.Enum

Methods

gCardinality :: proxy (M1 i c f) -> Int

gFromEnum :: M1 i c f p -> Int

gToEnum :: Int -> M1 i c f p

class GBounded f where

Generic representation of Bounded types.

Minimal complete definition

gMinBound, gMaxBound

Methods

gMinBound :: f p

gMaxBound :: f p

Instances

GBounded (U1 :: * -> *)

Defined in Generic.Data.Internal.Enum

Methods

gMinBound :: U1 p

gMaxBound :: U1 p

Bounded c => GBounded (K1 i c :: * -> *)

Defined in Generic.Data.Internal.Enum

Methods

gMinBound :: K1 i c p

gMaxBound :: K1 i c p

(GBounded f, GBounded g) => GBounded (f :+: g)

Defined in Generic.Data.Internal.Enum

Methods

gMinBound :: (f :+: g) p

gMaxBound :: (f :+: g) p

(GBounded f, GBounded g) => GBounded (f :*: g)

Defined in Generic.Data.Internal.Enum

Methods

gMinBound :: (f :*: g) p

gMaxBound :: (f :*: g) p

GBounded f => GBounded (M1 i c f)

Defined in Generic.Data.Internal.Enum

Methods

gMinBound :: M1 i c f p

gMaxBound :: M1 i c f p