Control.Biapplicative

class Biapplicative :: (Type -> Type -> Type) -> Constraintclass (Biapply w) <= Biapplicative w  where

Biapplicative captures type constructors of two arguments which support lifting of functions of zero or more arguments, in the sense of Applicative.

Members

• bipure :: forall a b. a -> b -> w a b

Instances

• Biapplicative Tuple