Module
Control.Biapplicative
- Package
- bifunctors
- Repository
- purescript/purescript-bifunctors
#Biapplicative Source
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