Control.Biapply

Operator alias for Control.Category.id (left-associative / precedence 4)

A convenience operator which can be used to apply the result of bipure in the style of Applicative:

bipure f g <<$>> x <<*>> y

class (Bifunctor w) <= Biapply w  where

Biapply captures type constructors of two arguments which support lifting of functions of one or more arguments, in the sense of Apply.

Members

• biapply :: forall d c b a. w (a -> b) (c -> d) -> w a c -> w b d

Operator alias for Control.Biapply.biapply (left-associative / precedence 4)

biapplyFirst :: forall d c b a w. Biapply w => w a b -> w c d -> w c d

Keep the results of the second computation.

Operator alias for Control.Biapply.biapplyFirst (left-associative / precedence 4)

biapplySecond :: forall d c b a w. Biapply w => w a b -> w c d -> w a b

Keep the results of the first computation.

Operator alias for Control.Biapply.biapplySecond (left-associative / precedence 4)

bilift2 :: forall f e d c b a w. Biapply w => (a -> b -> c) -> (d -> e -> f) -> w a d -> w b e -> w c f

Lift a function of two arguments.

bilift3 :: forall h g f e d c b a w. Biapply w => (a -> b -> c -> d) -> (e -> f -> g -> h) -> w a e -> w b f -> w c g -> w d h

Lift a function of three arguments.