Webb.AffList.Monad.AffList

data AffList a

Constructors

• A (Effect (Node a))

Instances

• Semigroup (AffList a)
• Monoid (AffList a)
• Functor AffList
• Apply AffList
• Applicative AffList
• Bind AffList
• Monad AffList
• MonadThrow Error AffList
• MonadError Error AffList
• MonadEffect AffList
• MonadAff AffList

runToListFiber :: forall m a. MonadEffect m => AffList a -> m (ListFiber a)

runYieldToList :: forall a. Yield a Unit -> AffList a

appendImpl :: forall a. AffList a -> AffList a -> AffList a

memptyImpl :: forall a. AffList a

mapImpl :: forall a b. (a -> b) -> AffList a -> AffList b

applyImpl :: forall a b. AffList (a -> b) -> AffList a -> AffList b

pureImpl :: forall a. a -> AffList a

bindImpl :: forall a b. AffList a -> (a -> AffList b) -> AffList b

throwErrorImpl :: forall a. Error -> AffList a

catchErrorImpl :: forall a. AffList a -> (Error -> AffList a) -> AffList a

liftEffectImpl :: forall a. Effect a -> AffList a

liftAffImpl :: forall a. Aff a -> AffList a

class LaunchList :: (Type -> Type) -> Constraintclass LaunchList m  where

Members

• launchList :: forall a. AffList a -> m (LFiber a)

Instances

• LaunchList (Yield v)
• (MonadEffect m) => LaunchList m