Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Generics.Generically
Description
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.
Documentation
newtype Generically a #
Constructors
Generically a |
Instances
(Generic a, Monoid (Rep a ())) => Monoid (Generically a) | |
Defined in GHC.Generics Methods mempty :: Generically a mappend :: Generically a -> Generically a -> Generically a mconcat :: [Generically a] -> Generically a | |
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) | |
Defined in GHC.Generics Methods (<>) :: Generically a -> Generically a -> Generically a sconcat :: NonEmpty (Generically a) -> Generically a stimes :: Integral b => b -> Generically a -> Generically a |
newtype Generically1 (f :: k -> Type) (a :: k) where #
Constructors
Generically1 :: forall {k} (f :: k -> Type) (a :: k). f a -> Generically1 f a |
Instances
(Generic1 f, Alternative (Rep1 f)) => Alternative (Generically1 f) | |
Defined in GHC.Generics Methods empty :: Generically1 f a (<|>) :: Generically1 f a -> Generically1 f a -> Generically1 f a some :: Generically1 f a -> Generically1 f [a] many :: Generically1 f a -> Generically1 f [a] | |
(Generic1 f, Applicative (Rep1 f)) => Applicative (Generically1 f) | |
Defined in GHC.Generics Methods pure :: a -> Generically1 f a (<*>) :: Generically1 f (a -> b) -> Generically1 f a -> Generically1 f b liftA2 :: (a -> b -> c) -> Generically1 f a -> Generically1 f b -> Generically1 f c (*>) :: Generically1 f a -> Generically1 f b -> Generically1 f b (<*) :: Generically1 f a -> Generically1 f b -> Generically1 f a | |
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) | |
Defined in GHC.Generics Methods fmap :: (a -> b) -> Generically1 f a -> Generically1 f b (<$) :: a -> Generically1 f b -> Generically1 f a | |
(Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) | |
Defined in GHC.Generics Methods (==) :: Generically1 f a -> Generically1 f a -> Bool (/=) :: Generically1 f a -> Generically1 f a -> Bool | |
(Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) | |
Defined in GHC.Generics Methods compare :: Generically1 f a -> Generically1 f a -> Ordering (<) :: Generically1 f a -> Generically1 f a -> Bool (<=) :: Generically1 f a -> Generically1 f a -> Bool (>) :: Generically1 f a -> Generically1 f a -> Bool (>=) :: Generically1 f a -> Generically1 f a -> Bool max :: Generically1 f a -> Generically1 f a -> Generically1 f a min :: Generically1 f a -> Generically1 f a -> Generically1 f a |