HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulelinear-base-0.4.0Haskell2010

Data.Functor.Linear.Internal.Functor

  • 1 class
  • 3 values
classclass Functor (f :: Type -> Type) where
#

Linear Data Functors should be thought of as containers holding values of type a over which you are able to apply a linear function of type a %1-> b on each value of type a in the functor and consume a given functor of type f a.

Methods

  • fmap :: (a %1 -> b) -> f a %1 -> f b
Instances53Functor, …
  • Functor IdentityDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor Par1Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor MaybeDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor ArrayDefined in linear-base-0.4.0 · Data.Array.Mutable.Linear.Internal
  • Functor ArrayDefined in linear-base-0.4.0 · Data.Array.Polarized.Pull.Internal
  • Functor ArrayDefined in linear-base-0.4.0 · Data.Array.Polarized.Push
  • Functor ReplicatorDefined in linear-base-0.4.0 · Data.Replicator.Linear.Internal.Instances · orphan
  • Functor ReplicationStreamDefined in linear-base-0.4.0 · Data.Replicator.Linear.Internal.Instances · orphan
  • Functor UrDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor VectorDefined in linear-base-0.4.0 · Data.Vector.Mutable.Linear.Internal
  • Functor IODefined in linear-base-0.4.0 · System.IO.Linear
  • Functor RIODefined in linear-base-0.4.0 · System.IO.Resource.Linear.Internal
  • Functor []Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor f => Functor (Data f)Defined in linear-base-0.4.0 · Control.Functor.Linear.Internal.Instances
  • Functor U1Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UAddrDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UCharDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UDoubleDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UFloatDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UIntDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor UWordDefined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor V1Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Either e)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Tuple2 a)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Yoneda f)Defined in linear-base-0.4.0 · Control.Functor.Linear.Internal.Kan
  • Functor (StateR s)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Traversable
  • Functor (HashMap k)Defined in linear-base-0.4.0 · Data.HashMap.Mutable.Linear.Internal
  • Functor (V n)Defined in linear-base-0.4.0 · Data.V.Linear.Internal.Instances · orphan
  • Functor (Of a)Defined in linear-base-0.4.0 · Streaming.Linear.Internal.Type
  • Functor m => Functor (MaybeT m)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Const x)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Tuple3 a b)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor g => Functor (Curried g h)Defined in linear-base-0.4.0 · Control.Functor.Linear.Internal.Kan
  • Functor m => Functor (ReaderT r m)Defined in linear-base-0.4.0 · Control.Functor.Linear.Internal.Reader
  • Functor m => Functor (StateT s m)Defined in linear-base-0.4.0 · Control.Functor.Linear.Internal.State
  • Functor m => Functor (ExceptT e m)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor m => Functor (ReaderT r m)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor m => Functor (StateT s m)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor m, Functor f) => Functor (Stream f m)Defined in linear-base-0.4.0 · Streaming.Linear.Internal.Type
  • (Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (K1 i v)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Tuple4 a b c)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (ContT r m)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor f => Functor (MP1 m f)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (Product f g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (Sum f g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (f :*: g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (f :+: g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (FUN 'One a)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor (Tuple5 a b c d)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • Functor f => Functor (M1 i c f)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (Compose f g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
  • (Functor f, Functor g) => Functor (f :.: g)Defined in linear-base-0.4.0 · Data.Functor.Linear.Internal.Functor
value(<$>) :: Functor f => (a %1 -> b) -> f a %1 -> f b
#
value(<$) :: (Functor f, Consumable b) => a -> f b %1 -> f a
#

Replace all occurances of b with the given a and consume the functor f b.

valuevoid :: (Functor f, Consumable a) => f a %1 -> f ()
#

Discard a consumable value stored in a data functor.