Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Generically a = Generically a
- unGenerically :: Generically a %1 -> a
- newtype Generically1 f a = Generically1 (f a)
- unGenerically1 :: Generically1 f a %1 -> f a
Documentation
newtype Generically a Source #
A datatype whose instances are defined generically, using the
Generic
representation.
Generic instances can be derived via
using
Generically
A-XDerivingVia
.
Instances
(Generic a, GConsumable (Rep a)) => Consumable (Generically a) Source # | |
Defined in Data.Unrestricted.Linear.Internal.Consumable consume :: Generically a %1 -> () Source # | |
(Generic a, GDupable (Rep a)) => Dupable (Generically a) Source # | |
Defined in Data.Unrestricted.Linear.Internal.Dupable dupR :: Generically a %1 -> Replicator (Generically a) Source # dup2 :: Generically a %1 -> (Generically a, Generically a) Source # | |
(Generic a, GMovable (Rep a)) => Movable (Generically a) Source # | |
Defined in Data.Unrestricted.Linear.Internal.Movable move :: Generically a %1 -> Ur (Generically a) Source # |
unGenerically :: Generically a %1 -> a Source #
newtype Generically1 f a Source #
A type whose instances are defined generically, using the
Generic1
representation. Generically1
is a higher-kinded
version of Generically
.
Generic instances can be derived for type constructors via
using Generically1
F-XDerivingVia
.
Generically1 (f a) |
Instances
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) Source # | |
Defined in Control.Functor.Linear.Internal.Class fmap :: (a %1 -> b) %1 -> Generically1 f a %1 -> Generically1 f b Source # | |
(Generic1 f, Functor (Rep1 f), GApplicative ('ShowType f) (Rep1 f)) => Applicative (Generically1 f) Source # | |
Defined in Data.Functor.Linear.Internal.Applicative pure :: a -> Generically1 f a Source # (<*>) :: Generically1 f (a %1 -> b) %1 -> Generically1 f a %1 -> Generically1 f b Source # liftA2 :: (a %1 -> b %1 -> c) -> Generically1 f a %1 -> Generically1 f b %1 -> Generically1 f c Source # | |
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) Source # | |
Defined in Data.Functor.Linear.Internal.Functor fmap :: (a %1 -> b) -> Generically1 f a %1 -> Generically1 f b Source # |
unGenerically1 :: Generically1 f a %1 -> f a Source #