Module

Data.Functor.Nested

Package: purescript-nested-functor
Repository: acple/purescript-nested-functor

#NestedFunctor Source

class NestedFunctor fa fb a b | fb a b -> fa, fa fb b -> a where

Members

nmap :: (a -> b) -> fa -> fb

Instances

(Functor f) => NestedFunctor (f a) (f b) a b
(Functor f, NestedFunctor ga gb a b) => NestedFunctor (f ga) (f gb) a b
(TypeEquals a a', TypeEquals b b') => NestedFunctor a' b' a b

#(<$$>) Source

Operator alias for Data.Functor.Nested.nmap (left-associative / precedence 4)

#nmapFlipped Source

nmapFlipped :: forall b a fb fa. NestedFunctor fa fb a b => fa -> (a -> b) -> fb

#(<##>) Source

Operator alias for Data.Functor.Nested.nmapFlipped (left-associative / precedence 1)

Modules: Data.Functor.Nested