Module

MasonPrelude.Functor.Nested

This will probably be switched to nested-functor once some of the quirks get sorted out.

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

Operator alias for MasonPrelude.Functor.Nested.mmap (left-associative / precedence 4)

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

Operator alias for MasonPrelude.Functor.Nested.mmapFlipped (left-associative / precedence 1)

mmmap :: forall a b f g h. Functor f => Functor g => Functor h => (a -> b) -> f (g (h a)) -> f (g (h b))

Operator alias for MasonPrelude.Functor.Nested.mmap (left-associative / precedence 4)

mmmapFlipped :: forall a b f g h. Functor f => Functor g => Functor h => f (g (h a)) -> (a -> b) -> f (g (h b))

Operator alias for MasonPrelude.Functor.Nested.mmmapFlipped (left-associative / precedence 1)