Module

Data.Functor.Indexed

Package: purescript-indexed-monad
Repository: garyb/purescript-indexed-monad

#IxFunctor Source

class IxFunctor :: forall ix. (ix -> ix -> Type -> Type) -> Constraintclass IxFunctor f  where

Members

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

#ivoid Source

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

#ivoidRight Source

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

#(<$:) Source

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

#ivoidLeft Source

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

#(:$>) Source

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

Modules: Control.Applicative.Indexed; Control.Apply.Indexed; Control.Bind.Indexed; Control.Monad.Indexed; Control.Monad.Indexed.Qualified; Data.Functor.Indexed; Data.Indexed