Modulegeneric-data-1.1.0.2Haskell2010

Generic.Data.Internal.Prelude

Generic deriving for standard classes in base

Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.

If something here seems useful, please report it or create a pull request to export it from an external module.

18 values

Packagegeneric-data-1.1.0.2
Exports18
LanguageHaskell2010
LicenceMIT
SourcePrelude.hs

Eq

1 declaration

valuegeq :: (Generic a, Eq (Rep a ())) => a -> a -> Bool

Generic (==).

instance Eq MyType where
  (==) = geq

Ord

1 declaration

valuegcompare :: (Generic a, Ord (Rep a ())) => a -> a -> Ordering

Generic compare.

instance Ord MyType where
  compare = gcompare

Semigroup

1 declaration

valuegmappend :: (Generic a, Semigroup (Rep a ())) => a -> a -> a

Generic (<>) (or mappend).

instance Semigroup MyType where
  (<>) = gmappend

Monoid

2 declarations

valuegmempty :: (Generic a, Monoid (Rep a ())) => a

Generic mempty.

instance Monoid MyType where
  mempty = gmempty

valuegmappend' :: (Generic a, Monoid (Rep a ())) => a -> a -> a

Generic (<>) (or mappend).

The difference from gmappend is the Monoid constraint instead of Semigroup, for older versions of base where Semigroup is not a superclass of Monoid.

Functor

2 declarations

valuegfmap :: (Generic1 f, Functor (Rep1 f)) => (a -> b) -> f a -> f b

Generic fmap.

instance Functor MyTypeF where
  fmap = gfmap

valuegconstmap :: (Generic1 f, Functor (Rep1 f)) => a -> f b -> f a

Generic (<$).

Applicative

3 declarations

valuegpure :: (Generic1 f, Applicative (Rep1 f)) => a -> f a

Generic pure.

instance Applicative MyTypeF where
  pure = gpure
  (<*>) = gap

valuegap :: (Generic1 f, Applicative (Rep1 f)) => f (a -> b) -> f a -> f b

Generic (<*>) (or ap).

Alternative

2 declarations

valuegempty :: (Generic1 f, Alternative (Rep1 f)) => f a

Generic empty.

instance Alternative MyTypeF where
  empty = gempty
  (<|>) = galt

valuegalt :: (Generic1 f, Alternative (Rep1 f)) => f a -> f a -> f a

Generic (<|>).

Foldable

2 declarations

valuegfoldMap

:: (Generic1 f, Foldable (Rep1 f), Monoid m)
=> a -> m
-> f a
-> m

Deprecated. This definition has been replaced with Generic.Data.Internal.gfoldMap.

Generic foldMap.

instance Foldable MyTypeF where
  foldMap = gfoldMap

This is deprecated but kept around just for reference.

valuegfoldr :: (Generic1 f, Foldable (Rep1 f)) => (a -> b -> b) -> b -> f a -> b

Generic foldr.

instance Foldable MyTypeF where
  foldr = gfoldr

Traversable

2 declarations

valuegtraverse

:: (Generic1 f, Traversable (Rep1 f), Applicative m)
=> a -> m b
-> f a
-> m (f b)

Deprecated. This definition has been replaced with Generic.Data.Internal.gtraverse.

Generic traverse.

instance Traversable MyTypeF where
  traverse = gtraverse

This is deprecated but kept around just for reference.

valuegsequenceA

:: (Generic1 f, Traversable (Rep1 f), Applicative m)
=> f (m a)
-> m (f a)

Deprecated. This definition has been replaced with Generic.Data.Internal.gsequenceA.

Generic sequenceA.

instance Traversable MyTypeF where
  sequenceA = gsequenceA

Eq1

1 declaration

valuegliftEq

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

Generic liftEq.

Ord1

1 declaration

valuegliftCompare

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

Generic liftCompare.