Search results

This module provides the Effect type, which is used to represent native effects. The Effect type provides a typed API for effectful computations, while at the same time generating efficient JavaScript.

P purescript-effect

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.

P purescript-effect M Effect
P purescript-pipes M Pipes.Core

Type synonym for using Effect as an effect.

P purescript-run M Run
P purescript-causal-graphs M Causal.Kernel
effect :: forall a n. Named n { cause :: a, effect :: a } -> Named (Effect n) a
P purescript-causal-graphs M Causal.Kernel
effect :: forall props a. String -> Effect (a -> a) -> FormBuilder props a a

A dummy form that, whenever the specified key changes, performs an effect. It sets the form data to the result of the effect and returns it.

P purescript-lumi-components M Lumi.Components.Form

An Effect with base type st.

P purescript-refract M Refract
P purescript-pipes M Pipes.Core
P purescript-echarts M ECharts.Types.Phantom
effect0 :: forall b a. String -> a -> b
P purescript-weber M Weber.Event

The base functor of the Effect free monad.

P purescript-refract M Refract
P purescript-pux-echarts M Pux.ECharts
P purescript-key-based-diff M KeyBasedDiff
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-effect M Effect.Uncurried
P purescript-lazy-joe M Lazy.Joe
effectful :: forall f output. Effectful f output => f -> output
P purescript-lazy-joe M Lazy.Joe

This module defines the Ref type for mutable value references, as well as actions for working with them.

You'll notice that all of the functions that operate on a Ref (e.g. new, read, write) return their result wrapped in an Effect. Working with mutable references is considered effectful in PureScript because of the principle of purity: functions should not have side effects, and should return the same result when called with the same arguments. If a Ref could be written to without using Effect, that would cause a side effect (the effect of changing the result of subsequent reads for that Ref). If there were a function for reading the current value of a Ref without the result being wrapped in Effect, the result of calling that function would change each time a new value was written to the Ref. Even creating a new Ref is effectful: if there were a function for creating a new Ref with the type forall s. s -> Ref s, then calling that function twice with the same argument would not give the same result in each case, since you'd end up with two distinct references which could be updated independently of each other.

Note: Control.Monad.ST provides a pure alternative to Ref when mutation is restricted to a local scope.

P purescript-refs
P purescript-effect M Effect.Uncurried
P purescript-aff
P purescript-aff M Effect.Aff.Compat
P purescript-now
P purescript-has-js-rep M HasJSRep
P purescript-aff M Effect.Aff.Compat
EffectFnAff :: forall a. (EffectFn2 (EffectFnCb Error) (EffectFnCb a) EffectFnCanceler) -> EffectFnAff a
P purescript-aff M Effect.Aff.Compat
P purescript-avar
P purescript-tscompat M Data.TSCompat.Class
P purescript-tscompat M Data.TSCompat.Class
effectCrash :: forall a. String -> Effect a
P purescript-specular M Specular.Internal.Incremental
effectfully :: forall st eff a. (st -> Aff eff a) -> Effect eff st a

Perform a Control.Monad.Aff action and return a result.

P purescript-refract M Refract
effectsOver :: forall @f @a. Functor f => FreeS f a -> Array (f Unit)

Collect every possible effect into an Array.

P purescript-selective-functors M Control.Selective.Free
P purescript-effect
P purescript-js-timers
effectToPoll :: Effect ~> Poll

Turn an Effect into a poll

P purescript-hyrule M FRP.Poll
effectsUnder :: forall @f @a. Functor f => FreeS f a -> Array (f Unit)

Collect every required effect into an Array.

P purescript-selective-functors M Control.Selective.Free
P purescript-effect
P purescript-random
effectScatter :: forall m i. Monad m => (CommandsT EffectScatterI m) ~> (CommandsT (effectScatter :: I | i) m)
P purescript-echarts M ECharts.Commands
P purescript-unlift

Module defining the Worker type and a low-level API for interacting with worker threads.

P purescript-workly