Perspectives.DependencyTracking.Array.Trans

newtype ArrayT m a

The ArrayT monad transformer.

This monad transformer extends the base monad.

Constructors

• ArrayT (m (Array a))

Instances

• Newtype (ArrayT m a) _
• (Functor m) => Functor (ArrayT m)
• (Monad m) => Apply (ArrayT m)
• (Monad m) => Applicative (ArrayT m)
• (Monad m) => Bind (ArrayT m)
• (Monad m) => Monad (ArrayT m)
• MonadTrans ArrayT
• (Monad m) => Alt (ArrayT m)
• (Monad m) => Plus (ArrayT m)
• (Monad m) => Alternative (ArrayT m)
• (Monad m) => MonadZero (ArrayT m)

runArrayT :: forall m a. ArrayT m a -> m (Array a)

Run a computation in the ArrayT monad.

catMaybes :: forall f a. Monad f => ArrayT f (Maybe a) -> ArrayT f a

Remove elements from an array which do not contain a value.

applyArrayT_ :: forall m a b. Monad m => ArrayT m (a -> b) -> ArrayT m a -> ArrayT m b

liftArrayFunction :: forall m a b. Monad m => (Array a -> Array b) -> ArrayT m a -> ArrayT m b

Use liftArray to lift a function of type Array a -> Array b to a function with type ArrayT m a -> ArrayT m b.