Concur.Core

mkLeafWidget :: forall v a. ((a -> Effect Unit) -> v) -> Widget v a

Construct a widget with just props

withViewEvent :: forall v a. ((a -> Effect Unit) -> v) -> Widget v a

Construct a widget from a primitive view event

wrapViewEvent :: forall v a. ((a -> Effect Unit) -> v -> v) -> Widget v a -> Widget v a

Construct a widget, by wrapping an existing widget in a view event

wrapViewEvent' :: forall v a. ((a -> Effect Unit) -> v -> v) -> Free (WidgetStep v) a -> Free (WidgetStep v) a

wrapViewEventFunc :: forall x v a. Monoid v => ((a -> Effect Unit) -> (x -> Effect v) -> v) -> (x -> Widget v a) -> Widget v a

Construct a widget, by wrapping a widget constructor function in a view event

newtype WidgetStep v a

Constructors

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

Instances

• Functor (WidgetStep v)

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

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