LocalDependency.Effect

data Effect :: Type -> Type

A native effect. The type parameter denotes the return type of running the effect, that is, an Effect Int is a possibly-effectful computation which eventually produces a value of the type Int when it finishes.

Instances

• Functor Effect
• Apply Effect
• Applicative Effect
• Bind Effect
• Monad Effect
• (Semigroup a) => Semigroup (Effect a)

  The Semigroup instance for effects allows you to run two effects, one after the other, and then combine their results using the result type's Semigroup instance.

• (Monoid a) => Monoid (Effect a)

  If you have a Monoid a instance, then mempty :: Effect a is defined as pure mempty.