Pandora.Paradigm.Primary.Algebraic

Documentation

module Pandora.Paradigm.Primary.Algebraic.Product

module Pandora.Paradigm.Primary.Algebraic.Exponential

(-<*>-) :: forall a b t. Semimonoidal t (:*:) (->) (->) => t (a -> b) -> t a -> t b infixl 4

Orphan instances

Traversable ((:*:) s) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

(<<-) :: (Covariant_ u (->) (->), Pointable u (->), Semimonoidal u (:*:) (->) (->)) => (a -> u b) -> (s :*: a) -> u (s :*: b)

Adjoint ((:*:) s) ((->) s :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

(-|) :: ((s :*: a) -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> (s :*: a) -> b

Semimonoidal ((->) e :: Type -> Type) (:*:) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

multiply :: ((a :*: b) -> r) -> ((e -> a) :*: (e -> b)) -> (e -> r)