Prelude.Linear.Internal.Generically

Prior to GHC 9.4, linear-base defined its own versions of Generically and Generically1. As a temporary workaround to enable compilation on both GHC 9.4 and 9.2, this module exposes linear-base's own implementations of those types, while the 9.4 version simply re-exports Generics.Linear.

Documentation

newtype Generically a

A datatype whose instances are defined generically, using the Generic representation. Generic instances can be derived via Generically A using -XDerivingVia.

Constructors

Generically a

Instances

(Generic a, GConsumable (Rep a)) => Consumable (Generically a)

Defined in Data.Unrestricted.Linear.Internal.Consumable

Methods

consume :: Generically a %1 -> ()

(Generic a, GDupable (Rep a)) => Dupable (Generically a)

Defined in Data.Unrestricted.Linear.Internal.Dupable

Methods

dupR :: Generically a %1 -> Replicator (Generically a)

dup2 :: Generically a %1 -> (Generically a, Generically a)

(Generic a, GMovable (Rep a)) => Movable (Generically a)

Defined in Data.Unrestricted.Linear.Internal.Movable

Methods

move :: Generically a %1 -> Ur (Generically a)

newtype Generically1 f a

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 Generically1 F using -XDerivingVia.

Constructors

Generically1 (f a)

Instances

(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f)

Defined in Control.Functor.Linear.Internal.Class

Methods

fmap :: (a %1 -> b) %1 -> Generically1 f a %1 -> Generically1 f b

(Generic1 f, Functor (Rep1 f), GApplicative ('ShowType f) (Rep1 f)) => Applicative (Generically1 f)

Defined in Data.Functor.Linear.Internal.Applicative

Methods

pure :: a -> Generically1 f a

(<*>) :: Generically1 f (a %1 -> b) %1 -> Generically1 f a %1 -> Generically1 f b

liftA2 :: (a %1 -> b %1 -> c) -> Generically1 f a %1 -> Generically1 f b %1 -> Generically1 f c

(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f)

Defined in Data.Functor.Linear.Internal.Functor

Methods

fmap :: (a %1 -> b) -> Generically1 f a %1 -> Generically1 f b

module Generics.Linear