InteractiveData.Class.InitDataUI

class GetInitSym :: Row Type -> Symbol -> Constraintclass GetInitSym (row :: Row Type) (initSym :: Symbol) | row -> initSym

Instances

• (GetInitSymRL rowlist initSym, RowToList row rowlist) => GetInitSym row initSym

class GetInitSymRL :: RowList Type -> Symbol -> Constraintclass GetInitSymRL (rowlist :: RowList Type) (initSym :: Symbol) | rowlist -> initSym

Instances

• GetInitSymRL (Cons initSym typ rowlistPrev) initSym

class Init (token :: Type) (a :: Type)  where

Members

• init :: token -> a

class InitGenericSpec :: Type -> Row Type -> Row Type -> Constraintclass InitGenericSpec (token :: Type) (row :: Row Type) (specs :: Row Type) | row token -> specs where

Members

• initGenericSpec :: token -> Proxy row -> Record specs

Instances

• (RowToList row rowlist, InitGenericSpecRL token rowlist specs) => InitGenericSpec token row specs

class InitGenericSpecRL :: Type -> RowList Type -> Row Type -> Constraintclass InitGenericSpecRL (token :: Type) (rowlist :: RowList Type) (specs :: Row Type) | rowlist token -> specs where

Members

• initGenericSpecRL :: token -> Proxy rowlist -> Record specs

Instances

• InitGenericSpecRL token Nil ()
• (InitGenericSpecRL token rowlistPrev specsPrev, Cons sym (DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record r)) specsPrev specs, InitRecord token typ productSpec, IsSymbol sym, Lacks sym specsPrev, DataUiRecord productSpec fm fs (IDSurface html) rmsg rsta r, IDHtml html) => InitGenericSpecRL token (Cons sym (Record typ) rowlistPrev) specs

class InitRecord :: Type -> Row Type -> Row Type -> Constraintclass InitRecord (token :: Type) (row :: Row Type) (datauis :: Row Type) | token row -> datauis where

Members

• initRecord :: token -> Proxy row -> Record datauis

Instances

• (RowToList row rowlist, InitRecordRL rowlist token datauis) => InitRecord token row datauis

class InitRecordRL :: RowList Type -> Type -> Row Type -> Constraintclass InitRecordRL (rowlist :: RowList Type) (token :: Type) (datauis :: Row Type) | rowlist token -> datauis where

Members

• initRecordRL :: token -> Proxy rowlist -> Record datauis

Instances

• InitRecordRL Nil token ()
• (InitRecordRL rowlistPrev tok datauisPrev, Cons sym (DataUI (IDSurface srf) fm fs msg sta typ) datauisPrev datauis, Init tok (DataUI (IDSurface srf) fm fs msg sta typ), IsSymbol sym, Lacks sym datauisPrev) => InitRecordRL (Cons sym typ rowlistPrev) tok datauis