haskell-halogen-core
Safe HaskellNone
LanguageGHC2021

Halogen.VDom.Machine

Documentation

type Machine (m :: Type -> Type) a b = a -> m (Step m a b) Source #

data Step (m :: Type -> Type) a b Source #

Constructors

Step b s (s -> a -> m (Step m a b)) (s -> m ()) 

extract :: forall (m :: Type -> Type) a b. Step m a b -> b Source #

step :: Step m a b -> a -> m (Step m a b) Source #

halt :: Step m a b -> m () Source #