Safe Haskell | None |
---|---|
Language | Haskell2010 |
Newtypes with instances implemented using generic combinators.
- newtype Generically a = Generically {
- unGenerically :: a
- newtype Generically1 f a = Generically1 {
- unGenerically1 :: f a
Documentation
newtype Generically a Source #
Type with instances derived via Generic
.
Generically | |
|
(Generic a, GBounded (Rep a)) => Bounded (Generically a) Source # | |
(Generic a, GEnum (Rep a)) => Enum (Generically a) Source # | |
(Generic a, Eq (Rep a ())) => Eq (Generically a) Source # | |
(Generic a, Ord (Rep a ())) => Ord (Generically a) Source # | |
(Generic a, GShow0 (Rep a)) => Show (Generically a) Source # | |
Generic a => Generic (Generically a) Source # | |
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) Source # | |
(Generic a, Monoid (Rep a ())) => Monoid (Generically a) Source # | |
type Rep (Generically a) Source # | |
newtype Generically1 f a Source #
Type with instances derived via Generic1
.
Generically1 | |
|
(Generic1 * f, Functor (Rep1 * f)) => Functor (Generically1 f) Source # | |
(Generic1 * f, Applicative (Rep1 * f)) => Applicative (Generically1 f) Source # | |
(Generic1 * f, Foldable (Rep1 * f)) => Foldable (Generically1 f) Source # | |
(Generic1 * f, Traversable (Rep1 * f)) => Traversable (Generically1 f) Source # | |
(Generic1 * f, Eq1 (Rep1 * f)) => Eq1 (Generically1 f) Source # | |
(Generic1 * f, Ord1 (Rep1 * f)) => Ord1 (Generically1 f) Source # | |
(Generic1 * f, GShow1 (Rep1 * f)) => Show1 (Generically1 f) Source # | |
(Generic1 * f, Alternative (Rep1 * f)) => Alternative (Generically1 f) Source # | |
Generic1 * f => Generic1 * (Generically1 f) Source # | |
(Generic1 * f, Eq1 (Rep1 * f), Eq a) => Eq (Generically1 f a) Source # | |
(Generic1 * f, Ord1 (Rep1 * f), Ord a) => Ord (Generically1 f a) Source # | |
(Generic1 * f, GShow1 (Rep1 * f), Show a) => Show (Generically1 f a) Source # | |
Generic (f a) => Generic (Generically1 f a) Source # | |
type Rep1 * (Generically1 f) Source # | |
type Rep (Generically1 f a) Source # | |