Safe Haskell	None
Language	GHC2024

Proarrow.Category.Monoidal.Applicative

Documentation

class (Monoidal j, Monoidal k, Functor f) => Applicative (f :: j -> k) where Source Github #

Methods

pure :: forall (a :: j). ((Unit :: j) ~> a) -> (Unit :: k) ~> f a Source Github #

liftA2 :: forall (a :: j) (b :: j) (c :: j). (Ob a, Ob b) => ((a ** b) ~> c) -> (f a ** f b) ~> f c Source Github #

Instances

Instances details

Applicative NonEmpty Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> NonEmpty a Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> (NonEmpty a NonEmpty b) ~> NonEmpty c Source Github #
Applicative IO Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> IO a Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> (IO a IO b) ~> IO c Source Github #
Applicative Maybe Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> Maybe a Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> (Maybe a Maybe b) ~> Maybe c Source Github #
Applicative [] Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> [a] Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> ([a] [b]) ~> [c] Source Github #
Applicative (Either e :: Type -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> Either e a Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> (Either e a Either e b) ~> Either e c Source Github #
Applicative f => Applicative (Prelude f :: Type -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a) -> (Unit :: Type) ~> Prelude f a Source Github # liftA2 :: (Ob a, Ob b) => ((a b) ~> c) -> (Prelude f a Prelude f b) ~> Prelude f c Source Github #
Monoid a => Applicative ((,) a :: Type -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a0) -> (Unit :: Type) ~> (a, a0) Source Github # liftA2 :: (Ob a0, Ob b) => ((a0 b) ~> c) -> ((a, a0) (a, b)) ~> (a, c) Source Github #
(Monoidal k, Functor f) => Applicative (Ap f :: k -> Type) Source Github #
Instance details Defined in Proarrow.Profunctor.Free Methods pure :: forall (a :: k). ((Unit :: k) ~> a) -> (Unit :: Type) ~> Ap f a Source Github # liftA2 :: forall (a :: k) (b :: k) (c :: k). (Ob a, Ob b) => ((a b) ~> c) -> (Ap f a Ap f b) ~> Ap f c Source Github #
Applicative ((->) a :: Type -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: ((Unit :: Type) ~> a0) -> (Unit :: Type) ~> (a -> a0) Source Github # liftA2 :: (Ob a0, Ob b) => ((a0 b) ~> c) -> ((a -> a0) (a -> b)) ~> (a -> c) Source Github #
(MonoidalProfunctor p, Comonoid x) => Applicative (FromProfunctor p x :: j -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods pure :: forall (a :: j). ((Unit :: j) ~> a) -> (Unit :: Type) ~> FromProfunctor p x a Source Github # liftA2 :: forall (a :: j) (b :: j) (c :: j). (Ob a, Ob b) => ((a b) ~> c) -> (FromProfunctor p x a FromProfunctor p x b) ~> FromProfunctor p x c Source Github #
(Applicative f, Monoidal k) => Applicative ('A :: k -> AP f k) Source Github #
Instance details Defined in Proarrow.Category.Instance.Ap Methods pure :: forall (a :: k). ((Unit :: k) ~> a) -> (Unit :: AP f k) ~> ('A a :: AP f k) Source Github # liftA2 :: forall (a :: k) (b :: k) (c :: k). (Ob a, Ob b) => ((a b) ~> c) -> (('A a :: AP f k) ('A b :: AP f k)) ~> ('A c :: AP f k) Source Github #

ap :: forall {j} {k} (f :: j -> k) (a :: j) (b :: j). (Applicative f, Closed j, Closed k, Ob a, Ob b) => f (a ~~> b) ~> (f a ~~> f b) Source Github #

class (Distributive j, Functor f) => Alternative (f :: j -> k) where Source Github #

Methods

empty :: forall (a :: j). Ob a => (Unit :: k) ~> f a Source Github #

alt :: forall (a :: j) (b :: j) (c :: j). (Ob a, Ob b) => ((a || b) ~> c) -> (f a ** f b) ~> f c Source Github #

Instances

Instances details

Alternative IO Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods empty :: Ob a => (Unit :: Type) ~> IO a Source Github # alt :: (Ob a, Ob b) => ((a \|\| b) ~> c) -> (IO a ** IO b) ~> IO c Source Github #
Alternative Maybe Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods empty :: Ob a => (Unit :: Type) ~> Maybe a Source Github # alt :: (Ob a, Ob b) => ((a \|\| b) ~> c) -> (Maybe a ** Maybe b) ~> Maybe c Source Github #
Alternative [] Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods empty :: Ob a => (Unit :: Type) ~> [a] Source Github # alt :: (Ob a, Ob b) => ((a \|\| b) ~> c) -> ([a] ** [b]) ~> [c] Source Github #
Alternative f => Alternative (Prelude f :: Type -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods empty :: Ob a => (Unit :: Type) ~> Prelude f a Source Github # alt :: (Ob a, Ob b) => ((a \|\| b) ~> c) -> (Prelude f a ** Prelude f b) ~> Prelude f c Source Github #
(DistributiveProfunctor p, Distributive j, Comonoid ('COPR x)) => Alternative (FromProfunctor p x :: j -> Type) Source Github #
Instance details Defined in Proarrow.Category.Monoidal.Applicative Methods empty :: forall (a :: j). Ob a => (Unit :: Type) ~> FromProfunctor p x a Source Github # alt :: forall (a :: j) (b :: j) (c :: j). (Ob a, Ob b) => ((a \|\| b) ~> c) -> (FromProfunctor p x a ** FromProfunctor p x b) ~> FromProfunctor p x c Source Github #