lux/control/functor

Types

Functor

(sig: (Functor f)
  (: (All [b c] (-> (-> b c) (f b) (f c)))
     map))

Structs

(compF Functor<F> Functor<G>)

Functor composition.

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