linear-base-0.3.1: Standard library for linear types.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Prelude.Linear.Internal.Generically

Description

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.

Synopsis

Documentation

newtype Generically a Source #

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

Instances details
(Generic a, GConsumable (Rep a)) => Consumable (Generically a) Source # 
Instance details

Defined in Data.Unrestricted.Linear.Internal.Consumable

Methods

consume :: Generically a %1 -> () Source #

(Generic a, GDupable (Rep a)) => Dupable (Generically a) Source # 
Instance details

Defined in Data.Unrestricted.Linear.Internal.Dupable

(Generic a, GMovable (Rep a)) => Movable (Generically a) Source # 
Instance details

Defined in Data.Unrestricted.Linear.Internal.Movable

Methods

move :: Generically a %1 -> Ur (Generically 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 Generically1 F using -XDerivingVia.

Constructors

Generically1 (f a) 

Instances

Instances details
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) Source # 
Instance details

Defined in Control.Functor.Linear.Internal.Class

Methods

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 # 
Instance details

Defined in Data.Functor.Linear.Internal.Applicative

Methods

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 # 
Instance details

Defined in Data.Functor.Linear.Internal.Functor

Methods

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