Concur.Core.Types

type WidgetStepRecord v a = { cont :: Aff a, view :: v }

newtype WidgetStep v a

Constructors

• WidgetStep (Either (Effect a) (WidgetStepRecord v a))

Instances

• Functor (WidgetStep v)

unWidgetStep :: forall a v. WidgetStep v a -> Either (Effect a) (WidgetStepRecord v a)

displayStep :: forall v a. v -> WidgetStep v a

newtype Widget v a

Constructors

• Widget (Free (WidgetStep v) a)

Instances

• Functor (Widget v)
• Bind (Widget v)
• Applicative (Widget v)
• Apply (Widget v)
• Monad (Widget v)
• MonadRec (Widget v)
• ShiftMap (Widget v) (Widget v)
• (Monoid v) => MultiAlternative (Widget v)
• (Monoid v) => Semigroup (Widget v a)
• (Monoid v) => Monoid (Widget v a)
• (Monoid v) => Alt (Widget v)
• (Monoid v) => Plus (Widget v)
• (Monoid v) => Alternative (Widget v)
• (Monoid v) => MonadEffect (Widget v)
• (Monoid v) => MonadAff (Widget v)

unWidget :: forall a v. Widget v a -> Free (WidgetStep v) a

flipEither :: forall b a. Either a b -> Either b a

resume :: forall a f. Functor f => Free f a -> Either a (f (Free f a))

andd :: forall a v. Monoid v => Array (Widget v a) -> Widget v (Array a)

Run multiple widgets in parallel until all finish, and collect their outputs Contrast with orr

pulse :: forall v. Monoid v => Widget v Unit

mapView :: forall v2 v1 a. (v1 -> v2) -> Widget v1 a -> Widget v2 a

mapViewStep :: forall a v2 v1. (v1 -> v2) -> WidgetStep v1 a -> WidgetStep v2 a

display :: forall v a. v -> Widget v a

effAction :: forall v a. Effect a -> Widget v a

affAction :: forall v a. v -> Aff a -> Widget v a

asyncAction :: forall a v. v -> ((Either Error a -> Effect Unit) -> Effect (Effect Unit)) -> Widget v a