Moduletransformers-compat-0.8Haskell2010

Data.Functor.Classes.Generic.Internal

Internal functionality for Data.Functor.Classes.Generic.

This is an internal module and, as such, the API is not guaranteed to remain the same between any given release.

Contents

Options
Eq1
Ord1
Read1
Show1
Eq
Ord
Read
Show
FunctorClassesDefault
Miscellaneous types

Synopsis

data Options
value defaultOptions
value latestGHCOptions
value liftEqDefault
value liftEqOptions
class GEq1
value liftCompareDefault
value liftCompareOptions
class GOrd1
value liftReadsPrecDefault
value liftReadsPrecOptions
class GRead1
class GRead1Con
value liftShowsPrecDefault
value liftShowsPrecOptions
class GShow1
class GShow1Con
value eqDefault
class GEq
value compareDefault
class GOrd
value readsPrecDefault
class GRead
value showsPrecDefault
value showsPrecOptions
class GShow
newtype FunctorClassesDefault
data ConType
class IsNullaryDataType
class IsNullaryCon

Packagetransformers-compat-0.8
Exports30
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

Options

datadata Options

Source#

Options that further configure how the functions in Data.Functor.Classes.Generic should behave. Currently, the Options have no effect (but this may change in the future).

Options

valuedefaultOptions :: Options

Source#

Options that match the behavior of the installed version of GHC.

valuelatestGHCOptions :: Options

Source#

Options that match the behavior of the most recent GHC release.

Eq1

valueliftEqDefault

:: (GEq1 (Rep1 f), Generic1 f)
=> a -> b -> Bool
-> f a
-> f b
-> Bool

Source#

A sensible default liftEq implementation for Generic1 instances.

valueliftEqOptions

:: (GEq1 (Rep1 f), Generic1 f)
=> Options
-> a -> b -> Bool
-> f a
-> f b
-> Bool

Source#

Like liftEqDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

classclass (forall a. Eq a => GEq (t a)) => GEq1 (t :: Type -> Type) where

Source#

Class of generic representation types that can lift equality through unary type constructors.

Methods

gliftEq :: (a -> b -> Bool) -> t a -> t b -> Bool

Instances15GEq1, …

GEq1 Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UAddrDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq1 f => GEq1 (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq c => GEq1 (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq1 f, GEq1 g) => GEq1 (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq1 f, GEq1 g) => GEq1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq1 f => GEq1 (M1 i c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq1 g) => GEq1 (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Ord1

valueliftCompareDefault

:: (GOrd1 (Rep1 f), Generic1 f)
=> a -> b -> Ordering
-> f a
-> f b
-> Ordering

Source#

A sensible default liftCompare implementation for Generic1 instances.

valueliftCompareOptions

:: (GOrd1 (Rep1 f), Generic1 f)
=> Options
-> a -> b -> Ordering
-> f a
-> f b
-> Ordering

Source#

Like liftCompareDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

classclass (GEq1 t, forall a. Ord a => GOrd (t a)) => GOrd1 (t :: Type -> Type) where

Source#

Class of generic representation types that can lift a total order through unary type constructors.

Methods

gliftCompare :: (a -> b -> Ordering) -> t a -> t b -> Ordering

Instances15GOrd1, …

GOrd1 Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UAddrDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord1 f => GOrd1 (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord c => GOrd1 (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 f, GOrd1 g) => GOrd1 (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 f, GOrd1 g) => GOrd1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd1 f => GOrd1 (M1 i c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd1 g) => GOrd1 (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Read1

valueliftReadsPrecDefault

:: (GRead1 (Rep1 f), Generic1 f)
=> Int -> ReadS a
-> ReadS [a]
-> Int
-> ReadS (f a)

Source#

A sensible default liftReadsPrec implementation for Generic1 instances.

valueliftReadsPrecOptions

:: (GRead1 (Rep1 f), Generic1 f)
=> Options
-> Int -> ReadS a
-> ReadS [a]
-> Int
-> ReadS (f a)

Source#

Like liftReadsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

classclass (forall a. Read a => GRead (f a)) => GRead1 (f :: Type -> Type) where

Source#

Class of generic representation types for unary type constructors that can be parsed from a String.

Methods

gliftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)

Instances4GRead1

GRead1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GRead1Con f, IsNullaryCon f) => GRead1 (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 f, GRead1 g) => GRead1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 f, IsNullaryDataType f) => GRead1 (D1 d f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass (forall a. Read a => GReadCon (f a)) => GRead1Con (f :: Type -> Type) where

Source#

Class of generic representation types for unary type constructors that can be parsed from a String, and for which the ConType has been determined.

Methods

gliftReadPrecCon :: ConType -> ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)

Instances7GRead1Con, …

GRead1Con Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GRead1Con U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Read1 f => GRead1Con (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Read c => GRead1Con (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Selector s, GRead1Con f) => GRead1Con (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1Con f, GRead1Con g) => GRead1Con (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Read1 f, GRead1Con g) => GRead1Con (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Show1

valueliftShowsPrecDefault

:: (GShow1 (Rep1 f), Generic1 f)
=> Int -> a -> ShowS
-> [a] -> ShowS
-> Int
-> f a
-> ShowS

Source#

A sensible default liftShowsPrec implementation for Generic1 instances.

valueliftShowsPrecOptions

:: (GShow1 (Rep1 f), Generic1 f)
=> Options
-> Int -> a -> ShowS
-> [a] -> ShowS
-> Int
-> f a
-> ShowS

Source#

Like liftShowsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

classclass (forall a. Show a => GShow (f a)) => GShow1 (f :: Type -> Type) where

Source#

Class of generic representation types for unary type constructors that can be converted to a String.

Methods

gliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS

Instances4GShow1

GShow1 V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1 f => GShow1 (D1 d f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GShow1Con f, IsNullaryCon f) => GShow1 (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1 f, GShow1 g) => GShow1 (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass (forall a. Show a => GShowCon (f a)) => GShow1Con (f :: Type -> Type) where

Source#

Class of generic representation types for unary type constructors that can be converted to a String, and for which the ConType has been determined.

Methods

gliftShowsPrecCon :: ConType -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS

Instances12GShow1Con, …

GShow1Con Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow1Con UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Show1 f => GShow1Con (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Show c => GShow1Con (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Selector s, GShow1Con f) => GShow1Con (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1Con f, GShow1Con g) => GShow1Con (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Show1 f, GShow1Con g) => GShow1Con (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Eq

valueeqDefault :: (GEq (Rep1 f a), Generic1 f) => f a -> f a -> Bool

Source#

A default (==) implementation for Generic1 instances that leverages Eq1.

classclass GEq a where

Source#

Class of generic representation types that can be checked for equality.

Methods

geq :: a -> a -> Bool

Instances15GEq, …

Eq p => GEq (Par1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (U1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UAddr p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UChar p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UDouble p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UFloat p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UInt p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (UWord p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, Eq p) => GEq (Rec1 f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Eq c => GEq (K1 i c p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:*:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GEq (f p) => GEq (M1 i c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq (g p)) => GEq ((:.:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Ord

valuecompareDefault :: (GOrd (Rep1 f a), Generic1 f) => f a -> f a -> Ordering

Source#

A default compare implementation for Generic1 instances that leverages Ord1.

classclass GEq a => GOrd a where

Source#

Class of generic representation types that can be totally ordered.

Methods

gcompare :: a -> a -> Ordering

Instances15GOrd, …

Ord p => GOrd (Par1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (U1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UAddr p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UChar p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UDouble p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UFloat p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UInt p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (UWord p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, Ord p) => GOrd (Rec1 f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
Ord c => GOrd (K1 i c p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:*:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GOrd (f p) => GOrd (M1 i c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd (g p)) => GOrd ((:.:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Read

valuereadsPrecDefault :: (GRead (Rep1 f a), Generic1 f) => Int -> ReadS (f a)

Source#

A default readsPrec implementation for Generic1 instances that leverages Read1.

classclass GRead a where

Source#

Class of generic representation types that can be parsed from a String.

Methods

greadPrec :: ReadPrec a

Instances4GRead

GRead (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GReadCon (f p), IsNullaryCon f) => GRead (C1 c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (f p), GRead (g p)) => GRead ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (f p), IsNullaryDataType f) => GRead (D1 d f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Show

valueshowsPrecDefault :: (GShow (Rep1 f a), Generic1 f) => Int -> f a -> ShowS

Source#

A default showsPrec implementation for Generic1 instances that leverages Show1.

valueshowsPrecOptions

:: (GShow (Rep1 f a), Generic1 f)
=> Options
-> Int
-> f a
-> ShowS

Source#

Like showsPrecDefault, but with configurable Options. Currently, the Options have no effect (but this may change in the future).

classclass GShow a where

Source#

Class of generic representation types that can be converted to a String.

Methods

gshowsPrec :: Int -> a -> ShowS

Instances4GShow

GShow (V1 p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
GShow (f p) => GShow (D1 d f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(Constructor c, GShowCon (f p), IsNullaryCon f) => GShow (C1 c f p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow (f p), GShow (g p)) => GShow ((:+:) f g p)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

FunctorClassesDefault

newtypenewtype FunctorClassesDefault (f :: Type -> Type) a

Source#

An adapter newtype, suitable for DerivingVia. Its Eq1, Ord1, Read1, and Show1 instances leverage Generic1-based defaults.

Constructors

FunctorClassesDefault
- getFunctorClassesDefault :: f a

Instances8Eq1, Ord1, Read1, Show1, Eq, Ord, …

(GEq1 (Rep1 f), Generic1 f) => Eq1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd1 (Rep1 f), Generic1 f) => Ord1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead1 (Rep1 f), Generic1 f) => Read1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow1 (Rep1 f), Generic1 f) => Show1 (FunctorClassesDefault f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GEq (Rep1 f a), Generic1 f) => Eq (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GOrd (Rep1 f a), Generic1 f) => Ord (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GRead (Rep1 f a), Generic1 f) => Read (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
(GShow (Rep1 f a), Generic1 f) => Show (FunctorClassesDefault f a)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

Miscellaneous types

datadata ConType

Source#

Whether a constructor is a record (Rec), a tuple (Tup), is prefix (Pref), or infix (Inf).

Constructors

Rec
Tup
Pref
Inf String

classclass IsNullaryDataType (f :: Type -> Type) where

Source#

Class of generic representation types that represent a data type with zero or more constructors.

Methods

isNullaryDataType :: f a -> Bool
Returns True if the data type has no constructors.

Instances3IsNullaryDataType

IsNullaryDataType V1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (C1 c f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (f :+: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal

classclass IsNullaryCon (f :: Type -> Type) where

Source#

Class of generic representation types that represent a constructor with zero or more fields.

Methods

isNullaryCon :: f a -> Bool
Returns True if the constructor has no fields.

Instances12IsNullaryCon, …

IsNullaryCon Par1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon U1Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UCharDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UDoubleDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UFloatDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UIntDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UWordDefined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (Rec1 f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (K1 i c)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :*: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon f => IsNullaryCon (S1 s f)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :.: g)Defined in transformers-compat-0.8 · Data.Functor.Classes.Generic.Internal