Pha.App.Internal

type Interpreter effs = VariantF effs (Effect Unit) -> Effect Unit

type AppPrimitives msg state = { getS :: Effect state, renderVDom :: VDom msg -> Effect Unit, setS :: state -> Effect Unit }

type App msg state = { dispatch :: msg -> Effect Unit, dispatchEvent :: Event -> (EventHandler msg) -> Effect Unit, init :: Effect Unit, render :: state -> Effect Unit, subscriptions :: state -> Array (Sub msg) }

type AppBuilder msg state = AppPrimitives msg state -> App msg state

app :: forall state msg. AppBuilder msg state -> String -> Effect Unit

getDispatchers :: forall effs state msg. Effect state -> (state -> Effect Unit) -> (msg -> Update state effs) -> Interpreter effs -> { dispatch :: msg -> Effect Unit, dispatchEvent :: Event -> (EventHandler msg) -> Effect Unit, runAction :: Update state effs -> Effect Unit }