MVC.Variant.View

type ViewArgs :: (Type -> Type) -> Type -> Typetype ViewArgs src msg = { caseKey :: CaseKey, caseKeys :: Array CaseKey, mkMsg :: CaseKey -> msg, viewCase :: src msg }

type ViewVariantProps :: (Type -> Type) -> Typetype ViewVariantProps html = { view :: forall msg. ViewArgs html msg -> html msg }

class CaseKeyToVariant :: Row Type -> Constraintclass CaseKeyToVariant (rcase :: Row Type)  where

Members

• caseKeyToVariant :: CaseKey -> Maybe (Variant rcase)

Instances

• (CaseKeyToVariantRL rl rcase, RowToList rcase rl) => CaseKeyToVariant rcase

class CaseKeyToVariantRL :: RowList Type -> Row Type -> Constraintclass CaseKeyToVariantRL (rl :: RowList Type) (rcase :: Row Type) | rl -> rcase where

Members

• caseKeyToVariantRL :: Proxy rl -> CaseKey -> Maybe (Variant rcase)

Instances

• CaseKeyToVariantRL Nil ()
• (CaseKeyToVariantRL rl' rcase', Cons sym Unit rcase' rcase, Lacks sym rcase', IsSymbol sym, Union rcase' rcasex rcase) => CaseKeyToVariantRL (Cons sym x rl') rcase

class GetKeys :: RowList Type -> Constraintclass GetKeys (rl :: RowList Type)  where

Members

• getKeys :: Proxy rl -> Array String

Instances

• GetKeys Nil
• (IsSymbol sym, GetKeys rl') => GetKeys (Cons sym a rl')

class GetSym :: Row Type -> Constraintclass GetSym (r :: Row Type)  where

Members

• getSym :: Variant r -> String

Instances

• (RowToList r rl, GetSymRL rl r) => GetSym r

class GetSymRL :: RowList Type -> Row Type -> Constraintclass GetSymRL (rl :: RowList Type) (r :: Row Type) | rl -> r where

Members

• getSymRL :: Proxy rl -> Variant r -> String

Instances

• GetSymRL Nil ()
• (GetSymRL rl' r', Cons sym a r' r, IsSymbol sym, Lacks sym r', Union r' rx r) => GetSymRL (Cons sym a rl') r

class ViewVariant :: (Type -> Type) -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass ViewVariant (html :: Type -> Type) (views :: Row Type) (rcase :: Row Type) (rmsg :: Row Type) (rsta :: Row Type)  where

Members

• viewVariant :: ViewVariantProps html -> (Record views -> VariantState rsta -> html (VariantMsg rcase rmsg))

Instances

• (ViewVariantRL rl html views rmsg rsta, RowToList views rl, CaseKeyToVariant rcase, Functor html, GetKeys rl, GetSym rsta) => ViewVariant html views rcase rmsg rsta

class ViewVariantRL :: RowList Type -> (Type -> Type) -> Row Type -> Row Type -> Row Type -> Constraintclass ViewVariantRL (rl :: RowList Type) (html :: Type -> Type) (views :: Row Type) (rmsg :: Row Type) (rsta :: Row Type) | rl -> rmsg rsta where

Members

• viewVariantRL :: Proxy rl -> Record views -> Variant rsta -> html (Variant rmsg)

Instances

• ViewVariantRL Nil html views () ()
• (ViewVariantRL rl' html views rmsg' rsta', Cons sym msg rmsg' rmsg, Cons sym sta rsta' rsta, Cons sym (sta -> html msg) viewsx views, Lacks sym rmsg', Lacks sym rsta', Functor html, IsSymbol sym, Union rmsg' rmsgx rmsg) => ViewVariantRL (Cons sym x rl') html views rmsg rsta