| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proarrow.Category.Monoidal.Applicative
Documentation
class (HasProducts j, HasProducts k, Functor f) => Applicative (f :: j -> k) where Source Comments #
Methods
pure :: forall (a :: j). El a -> El (f a) Source Comments #
liftA2 :: forall (a :: j) (b :: j) (c :: j). ((a && b) ~> c) -> (f a && f b) ~> f c Source Comments #
class Profunctor p => Proapplicative (p :: PRO j k) where Source Comments #
Methods
pureP :: forall (a :: j) (b :: k). Ob a => El b -> p a b Source Comments #
apP :: forall (a :: j) (b :: k) (c :: k). p a b -> p a c -> p a (b && c) Source Comments #
Instances
| Applicative f => Proapplicative (Star f :: j -> k -> Type) Source Comments # | |
data App (p :: PRO j k) (a :: PROD j) (b :: PROD k) where Source Comments #
Constructors
| App :: forall {j} {k} (p :: PRO j k) (a1 :: j) (b1 :: k). p a1 b1 -> App p ('PR a1) ('PR b1) |
Instances
| (HasProducts j, HasProducts k, Proapplicative p) => MonoidalProfunctor (App p :: PROD j -> PROD k -> Type) Source Comments # | |
| Profunctor p => Profunctor (App p :: PROD j -> PROD k -> Type) Source Comments # | |
class (HasCoproducts j, Applicative f) => Alternative (f :: j -> k) where Source Comments #
class Proapplicative p => Proalternative (p :: PRO j k) where Source Comments #
Methods
emptyP :: forall (a :: j) (b :: k). (Ob a, Ob b) => p a b Source Comments #
altP :: forall (a :: j) (b :: k). p a b -> p a b -> p a b Source Comments #
Instances
| Alternative f => Proalternative (Star f :: j -> k -> Type) Source Comments # | |
data Alt (p :: PRO j k) (a :: PROD j) (b :: COPROD k) where Source Comments #
Constructors
| Alt :: forall {j} {k} (p :: PRO j k) (a1 :: j) (b1 :: k). p a1 b1 -> Alt p ('PR a1) ('COPR b1) |
Instances
| (HasProducts j, HasCoproducts k, Proalternative p) => MonoidalProfunctor (Alt p :: PROD j -> COPROD k -> Type) Source Comments # | |
| Profunctor p => Profunctor (Alt p :: PROD j -> COPROD k -> Type) Source Comments # | |
Defined in Proarrow.Category.Monoidal.Applicative | |