Module

Data.Trifunctor.ApplicativeDo

#apply

apply :: forall t1 t2 f a1 b1 a2 b2 a b. Semigroupal Function t1 t2 Tuple Tuple f => Functor (f (t1 a1 b1) (t2 a2 b2)) => f a1 a2 (a -> b) -> f b1 b2 a -> f (t1 a1 b1) (t2 a2 b2) b

#pure

pure :: forall i1 i2 f a. Unital Function i1 i2 Unit Unit f => Functor (f i1 i2) => a -> f i1 i2 a

Re-exports from Prelude

#map

map :: forall f a b. Functor f => (a -> b) -> f a -> f b

Modules