Webb.Writer.ForEach

class Length a  where

Members

• length :: a -> Int

Instances

• Length (Array a)

type St = { after :: Maybe Void, before :: Maybe Void, between :: Maybe Void, each :: Maybe Void }

Instances

• MonadState St (ForEach m a b)
• ReferM St (ForEach m a b)

newtype ForEach :: forall k1 k2 k3. k1 -> k2 -> k3 -> Type -> Typenewtype ForEach m a b x

Constructors

• FE (State St x)

Instances

• Functor (ForEach m a b)
• Apply (ForEach m a b)
• Applicative (ForEach m a b)
• Bind (ForEach m a b)
• Monad (ForEach m a b)
• MonadState St (ForEach m a b)
• ReferM St (ForEach m a b)

forEach :: forall m t a b. Monad m => TraversableWithIndex Int t => Length (t a) => Monoid (t b) => t a -> ForEach m a b Unit -> m (t b)

forEach_ :: forall m t a b. Monad m => TraversableWithIndex Int t => Length (t a) => Monoid (t b) => t a -> ForEach m a b Unit -> m Unit

before :: forall a b m. Monad m => (a -> m Unit) -> ForEach m a b Unit

each :: forall a b m. Monad m => (a -> m b) -> ForEach m a b Unit

inBetween :: forall a b m. Monad m => (a -> m Unit) -> ForEach m a b Unit

after :: forall a b m. Monad m => (a -> m Unit) -> ForEach m a b Unit