Generic.Data.Internal.Prelude

Generic (==).

instance Eq MyType where
  (==) = geq

Generic compare.

instance Ord MyType where
  compare = gcompare

Generic (<>) (or mappend).

instance Semigroup MyType where
  (<>) = gmappend

See also gmempty.

Generic mempty.

instance Monoid MyType where
  mempty = gmempty

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.

Generic fmap.

instance Functor MyTypeF where
  fmap = gfmap

Generic (<$).

See also gfmap.

Generic pure.

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

Generic (<*>) (or ap).

See also gpure.

Generic liftA2.

See also gpure.

Generic empty.

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

Generic (<|>).

See also gempty.

Generic foldMap.

instance Foldable MyTypeF where
  foldMap = gfoldMap

This is deprecated but kept around just for reference.

Generic foldr.

instance Foldable MyTypeF where
  foldr = gfoldr

See also gfoldMap.

Generic traverse.

instance Traversable MyTypeF where
  traverse = gtraverse

This is deprecated but kept around just for reference.

Generic sequenceA.

instance Traversable MyTypeF where
  sequenceA = gsequenceA

See also gtraverse.

This is deprecated but kept around just for reference.

Generic liftEq.

Generic liftCompare.