Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This module exports Generically
and Generically
newtypes
meant to be used with GHC.Generics and DerivingVia
.
These types are re-exported from GHC.Generics on base-4.17
and later,
and defined here for older base
versions.
Synopsis
- newtype Generically a = Generically a
- newtype Generically1 f a = Generically1 (f a)
Documentation
newtype Generically a Source #
A type whose instances are defined generically, using the
Generic
representation.
Instances
(Generic a, Monoid (Rep a ())) => Monoid (Generically a) Source # | |
Defined in GHC.Generics.Generically mempty :: Generically a # mappend :: Generically a -> Generically a -> Generically a # mconcat :: [Generically a] -> Generically a # | |
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) Source # | |
Defined in GHC.Generics.Generically (<>) :: Generically a -> Generically a -> Generically a # sconcat :: NonEmpty (Generically a) -> Generically a # stimes :: Integral b => b -> Generically a -> Generically a # |
newtype Generically1 f a Source #
A datatype whose instances are defined generically, using the
Generic
representation. Generically1
is a higher-kinded version
of Generically
that uses Generic1
.
Generically1 (f a) |