Module

Data.Functor.Indexed

#IxFunctor

class IxFunctor f  where

Members

  • imap :: forall a b x y. (a -> b) -> f x y a -> f x y b

#ivoid

ivoid :: forall f a x y. IxFunctor f => f x y a -> f x y Unit

#ivoidRight

ivoidRight :: forall f a b x y. IxFunctor f => a -> f x y b -> f x y a

#(<$:)

Operator alias for Data.Functor.Indexed.ivoidRight (left-associative / precedence 4)

#ivoidLeft

ivoidLeft :: forall f a b x y. IxFunctor f => f x y a -> b -> f x y b

#(:$>)

Operator alias for Data.Functor.Indexed.ivoidLeft (left-associative / precedence 4)

Modules