lux/control/applicative

Types

Applicative

Applicative functors.

(sig: (Applicative f)
  (: (lux/control/functor;Functor f)
     functor)
   (: (All [b] (-> b (f b)))
     wrap)
   (: (All [b c] (-> (f (-> b c)) (f b) (f c)))
     apply))

Structs

(compA Applicative<F> Applicative<G>)

Applicative functor composition.

(All [a b] (-> (Applicative a) (Applicative b) (Applicative (All [c] (a (b c))))))