Data.Functor.Linear.Internal.Applicative · linear-base-0.8.1

classclass Functor f => Applicative (f :: Type -> Type) where

Methods

pure :: a -> f a
(<*>) :: f (a %1 -> b) %1 -> f a %1 -> f binfixl 4
liftA2 :: (a %1 -> b %1 -> c) -> f a %1 -> f b %1 -> f c

Instances24Applicative, …

Applicative IdentityDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Applicative ReplicatorDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Applicative ReplicationStreamDefined in linear-base-0.8.1 · Data.Replicator.Linear.Internal.Instances · orphan
Applicative UrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Applicative IODefined in linear-base-0.8.1 · System.IO.Linear
Applicative RIODefined in linear-base-0.8.1 · System.IO.Resource.Linear.Internal
KnownNat n => Applicative (V n)Defined in linear-base-0.8.1 · Data.V.Linear.Internal.Instances · orphan
Applicative f => Applicative (Data f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Instances
Applicative f => Applicative (Yoneda f)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
Applicative (StateR s)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Monoid a => Applicative (Tuple2 a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Monad m => Applicative (StateT s m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.State
Applicative m => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Monoid x => Applicative (Const x)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Functor m, Functor f) => Applicative (Stream f m)Defined in linear-base-0.8.1 · Streaming.Linear.Internal.Type
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Functor g, g ~ h) => Applicative (Curried g h)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Kan
(Monoid a, Monoid b) => Applicative (Tuple3 a b)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Generic1 f, Functor (Rep1 f), GApplicative ('ShowType f) (Rep1 f)) => Applicative (Generically1 f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Applicative f, Applicative g) => Applicative (Product f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Applicative f, Applicative g) => Applicative (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
(Monoid a, Monoid b, Monoid c) => Applicative (Tuple4 a b c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative
Dupable r => Applicative (FUN 'One r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader · orphan
(Applicative f, Applicative g) => Applicative (Compose f g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Applicative

Methods

Orphan instances