Moduletransformers-compat-0.7.2

Data.Functor.Classes.Generic.Internal

9 types
12 classes
15 values

Packagetransformers-compat-0.7.2
Exports36
LicenceBSD-3-Clause

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

valuedefaultOptions :: Options

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

valuelatestGHCOptions :: Options

valueliftCompareDefault

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

valueliftCompareOptions

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

valueliftEqDefault

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

valueliftEqOptions

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

valueliftReadsPrecDefault

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

valueliftReadsPrecOptions

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

valueliftShowsPrecDefault

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

valueliftShowsPrecOptions

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

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

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

valueshowsPrecOptions

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

datadata ConType

Constructors

Rec
Tup
Pref
Inf String

datadata Eq1Args v a b where

Constructors

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

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

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

classclass GEq a where

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

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

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

classclass GEq a => GOrd a where

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

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

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

classclass GRead a where

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

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

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

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

classclass GShow a where

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

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

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

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

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

Methods

isNullaryCon :: f a -> Bool

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

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

Methods

isNullaryDataType :: f a -> Bool

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

datadata NonV4

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

newtypenewtype Options

Constructors

Options
- ghc8ShowBehavior :: Bool

datadata Ord1Args v a b where

Constructors

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

datadata Read1Args v a where

Constructors

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

datadata Show1Args v a where

Constructors

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

datadata V4