Safe Haskell	Safe-Inferred
Language	Haskell2010

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

newtype Generically a = Generically a
newtype Generically1 f a = Generically1 (f a)
module Generics.Linear

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 Methods 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 #
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 #

module Generics.Linear