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

class (Monad m, Monoid v, ShiftMap (Widget v) m, LiftWidget v m, MultiAlternative m) <= IsWidget v m 

A Nice way to bring into scope all needed functionality which we need to write widgets

Instances

• (Monoid v) => IsWidget v (Widget v)

class LiftWidget v m  where

A way to lift widgets into higher monads

Members

• liftWidget :: forall a. Widget v a -> m a

Instances

• LiftWidget v (Widget v)
• (Monad m, LiftWidget v m) => LiftWidget v (ExceptT e m)
• (Monoid w, Monad m, LiftWidget v m) => LiftWidget v (RWST r w s m)
• (Monad m, LiftWidget v m) => LiftWidget v (ReaderT r m)
• (Monad m, LiftWidget v m) => LiftWidget v (StateT s m)
• (Monoid s, Monad m, LiftWidget v m) => LiftWidget v (WriterT s m)

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))