Moduletransformers-compat-0.7.2Haskell2010

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.

9 types
12 classes
15 values

Packagetransformers-compat-0.7.2
Exports36
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

Options

3 declarations

newtypenewtype Options

Options that further configure how the functions in Data.Functor.Classes.Generic should behave.

Constructors

Options
- ghc8ShowBehavior :: Bool
  If True, a default Show1 implementation will show hash signs (#) when showing unlifted types.

valuedefaultOptions :: Options

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

valuelatestGHCOptions :: Options

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

Eq1

4 declarations

valueliftEqDefault

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

A sensible default liftEq implementation for Generic1 instances.

valueliftEqOptions

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

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 v (t :: Type -> Type) where

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

Methods

gliftEq :: Eq1Args v a b -> t a -> t b -> Bool

Instances15GEq1, …

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

datadata Eq1Args v a b where

An Eq1Args value either stores an Eq a dictionary (for the transformers-0.4 version of Eq1), or it stores the function argument that checks the equality of occurrences of the type parameter (for the non-transformers-0.4 version of Eq1).

Constructors

V4Eq1Args :: Eq a => Eq1Args V4 a a
NonV4Eq1Args :: (a -> b -> Bool) -> Eq1Args NonV4 a b

Ord1

4 declarations

valueliftCompareDefault

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

A sensible default liftCompare implementation for Generic1 instances.

valueliftCompareOptions

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

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

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

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

Methods

gliftCompare :: Ord1Args v a b -> t a -> t b -> Ordering

Instances15GOrd1, …

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

datadata Ord1Args v a b where

An Ord1Args value either stores an Ord a dictionary (for the transformers-0.4 version of Ord1), or it stores the function argument that compares occurrences of the type parameter (for the non-transformers-0.4 version of Ord1).

Constructors

V4Ord1Args :: Ord a => Ord1Args V4 a a
NonV4Ord1Args :: (a -> b -> Ordering) -> Ord1Args NonV4 a b

Read1

5 declarations

valueliftReadsPrecDefault

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

A sensible default liftReadsPrec implementation for Generic1 instances.

valueliftReadsPrecOptions

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

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 v (f :: Type -> Type) where

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

Methods

gliftReadPrec :: Read1Args v a -> ReadPrec (f a)

Instances4GRead1

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

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

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 -> Read1Args v a -> ReadPrec (f a)

Instances7GRead1Con, …

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

datadata Read1Args v a where

A Read1Args value either stores a Read a dictionary (for the transformers-0.4 version of Read1), or it stores the two function arguments that parse occurrences of the type parameter (for the non-transformers-0.4 version of Read1).

Constructors

V4Read1Args :: Read a => Read1Args V4 a
NonV4Read1Args :: ReadPrec a -> ReadPrec [a] -> Read1Args NonV4 a

Show1

5 declarations

valueliftShowsPrecDefault

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

A sensible default liftShowsPrec implementation for Generic1 instances.

valueliftShowsPrecOptions

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

Like liftShowsPrecDefault, but with configurable Options.

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

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

Methods

gliftShowsPrec :: Options -> Show1Args v a -> Int -> f a -> ShowS

Instances4GShow1

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

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

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 :: Options -> ConType -> Show1Args v a -> Int -> f a -> ShowS

Instances12GShow1Con, …

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

datadata Show1Args v a where

A Show1Args value either stores a Show a dictionary (for the transformers-0.4 version of Show1), or it stores the two function arguments that show occurrences of the type parameter (for the non-transformers-0.4 version of Show1).

Constructors

V4Show1Args :: Show a => Show1Args V4 a
NonV4Show1Args :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Show1Args NonV4 a

Eq

2 declarations

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

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

classclass GEq a where

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.7.2 · Data.Functor.Classes.Generic.Internal
GEq (U1 p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UAddr p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UChar p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UDouble p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UFloat p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UInt p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (UWord p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (V1 p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Eq1 f, Eq p) => GEq (Rec1 f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Eq c => GEq (K1 i c p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:*:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GEq (f p), GEq (g p)) => GEq ((:+:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GEq (f p) => GEq (M1 i c f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq (g p)) => GEq ((:.:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

Ord

2 declarations

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

A default compare implementation for Generic1 instances that leverages Ord1.

classclass GEq a => GOrd a where

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.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (U1 p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UAddr p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UChar p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UDouble p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UFloat p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UInt p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (UWord p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (V1 p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Ord1 f, Ord p) => GOrd (Rec1 f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Ord c => GOrd (K1 i c p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:*:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GOrd (f p), GOrd (g p)) => GOrd ((:+:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd (f p) => GOrd (M1 i c f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd (g p)) => GOrd ((:.:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

Read

2 declarations

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

A default readsPrec implementation for Generic1 instances that leverages Read1.

classclass GRead a where

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.7.2 · Data.Functor.Classes.Generic.Internal
(Constructor c, GReadCon (f p), IsNullaryCon f) => GRead (C1 c f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GRead (f p), GRead (g p)) => GRead ((:+:) f g p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GRead (f p), IsNullaryDataType f) => GRead (D1 d f p)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

Show

3 declarations

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

A default showsPrec implementation for Generic1 instances that leverages Show1.

valueshowsPrecOptions

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

Like showsPrecDefault, but with configurable Options.

classclass GShow a where

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

Methods

gshowsPrec :: Options -> Int -> a -> ShowS

Instances4GShow

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

FunctorClassesDefault

1 declaration

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

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 NonV4 (Rep1 f), Generic1 f) => Eq1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GOrd1 NonV4 (Rep1 f), Generic1 f) => Ord1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GRead1 NonV4 (Rep1 f), Generic1 f) => Read1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GShow1 NonV4 (Rep1 f), Generic1 f) => Show1 (FunctorClassesDefault f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GEq (Rep1 f a), Generic1 f) => Eq (FunctorClassesDefault f a)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GOrd (Rep1 f a), Generic1 f) => Ord (FunctorClassesDefault f a)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GRead (Rep1 f a), Generic1 f) => Read (FunctorClassesDefault f a)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(GShow (Rep1 f a), Generic1 f) => Show (FunctorClassesDefault f a)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

Miscellaneous types

5 declarations

datadata V4

A type-level indicator that the transformers-0.4 version of a class method is being derived generically.

datadata NonV4

A type-level indicator that the non-transformers-0.4 version of a class method is being derived generically.

Instances12GEq1, GOrd1, GRead1Con, GShow1Con, …

GEq1 NonV4 Par1Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GOrd1 NonV4 Par1Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GRead1Con NonV4 Par1Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
GShow1Con NonV4 Par1Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Eq1 f => GEq1 NonV4 (Rec1 f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Ord1 f => GOrd1 NonV4 (Rec1 f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Read1 f => GRead1Con NonV4 (Rec1 f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
Show1 f => GShow1Con NonV4 (Rec1 f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Eq1 f, GEq1 NonV4 g) => GEq1 NonV4 (f :.: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Ord1 f, GOrd1 NonV4 g) => GOrd1 NonV4 (f :.: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Read1 f, GRead1Con NonV4 g) => GRead1Con NonV4 (f :.: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
(Show1 f, GShow1Con NonV4 g) => GShow1Con NonV4 (f :.: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

datadata ConType

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

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.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (C1 c f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryDataType (f :+: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal

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

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.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon U1Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UCharDefined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UDoubleDefined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UFloatDefined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UIntDefined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon UWordDefined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (Rec1 f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (K1 i c)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :*: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon f => IsNullaryCon (S1 s f)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal
IsNullaryCon (f :.: g)Defined in transformers-compat-0.7.2 · Data.Functor.Classes.Generic.Internal