Search results

Asynchronous effect monad

An Aff a is an asynchronous computation with effects. The computation may either error with an exception, or produce a result of type a. Aff effects are assembled from primitive Effect effects using makeAff or liftEffect.

Type synonym for using Aff as an effect.

Aff :: PitchClass
aff :: Octave -> Dur -> Music Pitch
affix :: ClassName

An asynchronous AJAX library built using Aff.

Note: this module is not intended to be used by end-users. Rather, use the environment-specific library instead:

  • purescript-affjax-node
  • purescript-affjax-web

You should use this module if you are writing a driver for a specific environment. See this module's source code for more details.

An affine space is a set of points with associated difference vectors.

Laws:

  • p .+^ (q .-. p) = q
  • (p .+^ u) .+^ v = p .+^ (u ^+^ v)
  • p .-. p = zero
affjax :: forall b a. Requestable a => Respondable b => AffjaxRequest a -> AffjaxF a b

Makes an Affjax request.

affjax :: forall err a. Validator Aff (Error err) (Request a) (Response a)

Many-to-many broadcasting

An AffGame is an Aff that takes a Reducer as an argument. Can be constructed from a TemplateAffGame using mkAffGame.

AffGame :: forall extra a. (Reducer extra Req -> Aff a) -> AffGame extra a

Affinity is a group of affinity scheduling rules.

Fields:

  • nodeAffinity: Describes node affinity scheduling rules for the pod.
  • podAffinity: Describes pod affinity scheduling rules (e.g. co-locate this pod in the same node, zone, etc. as some other pod(s)).
  • podAntiAffinity: Describes pod anti-affinity scheduling rules (e.g. avoid putting this pod in the same node, zone, etc. as some other pod(s)).
Affinity :: { nodeAffinity :: Maybe NodeAffinity, podAffinity :: Maybe PodAffinity, podAntiAffinity :: Maybe PodAntiAffinity } -> Affinity
AffjaxFP :: forall req res a. (AffjaxRequest req) -> (Either Error (AffjaxResponse res) -> a) -> AffjaxFP req res a
affAction :: forall a v. v -> Aff a -> Widget v a
affAction :: forall a r. r -> ReaderT r Aff a -> Effect Unit

Create an action dispatcher for Aff and any given the context (e.g. ReactThis)

An asynchronous AJAX library built using Aff that runs on the browser.

affjaxJson :: forall errs. Validator Aff (Error (HttpError + AffjaxError + ResponseFormatError + errs)) (Request Json) Json
affLocator :: (Element -> Aff Element) -> Aff Locator

Build locator from asynchronous function returning element. I.e. this locator will find first visible element with .common-element class

affLocator \el → do
  commonElements ← byCss ".common-element" >>= findElements el
  flagedElements ← traverse (\el → Tuple el <$> isVisible el) commonElements
  maybe err pure $ foldl foldFn Nothing flagedElements
  where
  err = throwError $ error "all common elements are not visible"
  foldFn Nothing (Tuple el true) = Just el
  foldFn a _ = a

An asynchronous AJAX library built using Aff that runs on Node.js.

Parallelize asynchronous computations with specified number of fibers

bottom :: forall a. Bounded a => a
ff :: forall a. HeytingAlgebra a => a
genericBottom :: forall a rep. Generic a rep => GenericBottom rep => a

A Generic implementation of the bottom member from the Bounded type class.

genericBottom' :: forall a. GenericBottom a => a
genericFF :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the ff member from the HeytingAlgebra type class.

genericFF' :: forall a. GenericHeytingAlgebra a => a
genericMempty :: forall a rep. Generic a rep => GenericMonoid rep => a

A Generic implementation of the mempty member from the Monoid type class.

genericMempty' :: forall a. GenericMonoid a => a
genericOne :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the one member from the Semiring type class.

genericOne' :: forall a. GenericSemiring a => a
genericTop :: forall a rep. Generic a rep => GenericTop rep => a

A Generic implementation of the top member from the Bounded type class.

genericTop' :: forall a. GenericTop a => a
genericTT :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the tt member from the HeytingAlgebra type class.

genericTT' :: forall a. GenericHeytingAlgebra a => a
genericZero :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the zero member from the Semiring type class.

genericZero' :: forall a. GenericSemiring a => a
mempty :: forall m. Monoid m => m
one :: forall a. Semiring a => a
top :: forall a. Bounded a => a
tt :: forall a. HeytingAlgebra a => a
zero :: forall a. Semiring a => a
crash :: forall a. Partial => a

A partial function which crashes on any input with a default message.

undefined :: forall a. a
all :: forall a. All a => a
auto :: forall a. Auto a => a
baseline :: forall a. Baseline a => a
bottom :: forall a. Bottom a => a
center :: forall a. Center a => a
flexEnd :: forall a. FlexEnd a => a
flexStart :: forall a. FlexStart a => a
hidden :: forall a. Hidden a => a
inherit :: forall a. Inherit a => a
initial :: forall a. Initial a => a
middle :: forall a. Middle a => a
none :: forall a. None a => a
normal :: forall a. Normal a => a
spaceAround :: forall a. SpaceAround a => a
spaceBetween :: forall a. SpaceBetween a => a
stretch :: forall a. Stretch a => a
top :: forall a. Top a => a
unset :: forall a. Unset a => a
visible :: forall a. Visible a => a
undefined :: forall anything. anything
idm :: forall m. Monoid m => m

Trivial option modifier.

zero :: forall a. Zero a => a
mzeroL :: forall x r. LeftModule x r => x
mzeroR :: forall x r. RightModule x r => x
def :: forall a. Default a => a
animationEvent :: forall a. a
bottom :: forall a. BoundedJoinSemilattice a => a
clipboardEvent :: forall a. a
compositionEvent :: forall a. a
dragEvent :: forall a. a
empty :: forall l. MList l => l

The /empty/ heterogeneous list of type @l@. Of course, @empty

event :: forall a. a
focusEvent :: forall a. a
hashChangeEvent :: forall a. a
historyEvent :: forall a. a
imageEvent :: forall a. a
keyboardEvent :: forall a. a
mediaEvent :: forall a. a
mouseEvent :: forall a. a
pageTransitionEvent :: forall a. a
pointerEvent :: forall a. a
popStateEvent :: forall a. a
progressEvent :: forall a. a
root :: forall m. XPathLike m => m

The root XPath representation.

selectionEvent :: forall a. a
start :: forall s c. HasStart c s => s
storageEvent :: forall a. a
todo :: forall a. a

A placeholder to use when you want your code to compile without finishing something. You will immediately get an error when trying to run any code with a todo, so you won't forget about it and run into errors later.

toggleEvent :: forall a. a
top :: forall a. BoundedMeetSemilattice a => a
touchEvent :: forall a. a
transitionEvent :: forall a. a
uiEvent :: forall a. a
unit :: forall u c. HasUnit c u => u
unsafeTodo :: forall a. a

Like todo but it doesn't throw an error.

wheelEvent :: forall a. a
bottom :: forall a. BoundedJoinSemilattice a => a
bottom :: forall a. Bottom a => a

i

i :: forall a. Interp a => a

Enables string interpolation using the following syntax:

i "there are " 52 " apples." == "there are 52 apples"
i 52 " apples and " 0 " oranges." == "52 apples and 0 oranges."
i true 4 42.0 'c' "string" == "true442.0'c'string"
mzeroL :: forall x r. LeftModule x r => x
mzeroR :: forall x r. RightModule x r => x
null :: forall t. Corecursive t EJsonF => t
reflectProxy :: forall a. ReflectProxy a => a
reflectRecordProxy :: forall a. ReflectRecordProxy a => a
top :: forall a. BoundedMeetSemilattice a => a
top :: forall a. Top a => a
activator :: forall r. Variadic Class r => r
ask :: forall a. Ask a => a

Retrives an implicit parameter from the context

auto :: forall a. AutoEnum a => a
axes :: forall @n a. Axes n a => a
badge :: forall r. Variadic Badge r => r
big :: forall r. Variadic Class r => r
bottom :: forall a. HasBottom a => a
brandLogo :: forall r. Variadic Class r => r
breadcrumb :: forall r. Variadic Class r => r
browserDefault :: forall r. Variadic Class r => r
button :: forall r. Variadic Button r => r
card :: forall r. Variadic Card r => r
cardAction :: forall r. Variadic Class r => r
cardContent :: forall r. Variadic Class r => r
cardImage :: forall r. Variadic Class r => r
cardReveal :: forall r. Variadic Class r => r
cardStacked :: forall r. Variadic Class r => r
cardTabs :: forall r. Variadic Class r => r
cardTitle :: forall r. Variadic Class r => r