TypedGUI

Documentation

type family RecRenderOutVal (t :: ps)

type RenderSt cs ds = forall (t :: cs). Sing t -> ds -> Chan (AnyMsg cs) -> Window -> UI cs t (Maybe (Element, IO (RecRenderOutVal t)))

data InternalStRef cs ds

Constructors

InternalStRef

Fields

• dsRef :: IORef ds
• csStRef :: IORef (SomeSing cs)
• anyMsgTChan :: Chan (AnyMsg cs)

newInternalStRef :: forall cs (t :: cs) ds. Sing t -> ds -> IO (InternalStRef cs ds)

runHandler :: SEq cs => InternalStRef cs ds -> Result cs (UnexpectMsg cs) (StateT ds IO) a -> IO (Result cs (UnexpectMsg cs) (StateT ds IO) a)

sendSomeMsg :: forall cs (t :: cs). Chan (AnyMsg cs) -> Sing t -> SomeMsg cs t -> UI cs t ()

renderUI :: InternalStRef cs ds -> RenderSt cs ds -> Window -> IO ()

uiSetup :: forall cs ds ps (t :: ps). SEq cs => InternalStRef cs ds -> RenderSt cs ds -> Result cs (UnexpectMsg cs) (StateT ds IO) () -> Window -> UI ps t ()