MVC.Variant

newtype VariantState :: Row Type -> Typenewtype VariantState r

Constructors

• VariantState (Variant r)

Instances

• Newtype (VariantState r) _
• Generic (VariantState r) _
• (RowToList r rl, VariantTags rl, VariantShows rl) => Show (VariantState r)
• (RowToList r rl, VariantTags rl, VariantEqs rl) => Eq (VariantState r)

data VariantMsg :: Row Type -> Row Type -> Typedata VariantMsg rcase rmsg

Constructors

• ChildCaseMsg (Variant rmsg)
• ChangeCase (Variant rcase)
• ErrMsg String

Instances

• Generic (VariantMsg rcase rmsg) _
• (RowToList rcase rlcase, RowToList rmsg rlmsg, VariantTags rlcase, VariantTags rlmsg, VariantShows rlcase, VariantShows rlmsg) => Show (VariantMsg rcase rmsg)
• (RowToList rcase rlcase, RowToList rmsg rlmsg, VariantTags rlcase, VariantTags rlmsg, VariantEqs rlcase, VariantEqs rlmsg) => Eq (VariantMsg rcase rmsg)

newtype CaseKey

Constructors

• CaseKey String

Instances

• Eq CaseKey
• Newtype CaseKey _

class MatchCase :: Row Type -> Row Type -> Row Type -> Constraintclass MatchCase (rcase :: Row Type) (initstates :: Row Type) (rsta :: Row Type)  where

Members

• matchCase :: Record initstates -> Variant rcase -> Variant rsta

Instances

• (MatchCaseRL rl rcase initstates rsta, RowToList initstates rl) => MatchCase rcase initstates rsta

class MatchCaseRL :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass MatchCaseRL (rl :: RowList Type) (rcase :: Row Type) (initstates :: Row Type) (rsta :: Row Type) | rl -> rcase where

Members

• matchCaseRL :: Proxy rl -> Record initstates -> Variant rcase -> Variant rsta

Instances

• MatchCaseRL Nil () initstates rsta
• (Cons sym sta rstax rsta, Cons sym sta initstatesx initstates, Cons sym Unit rcase' rcase, Lacks sym rcase', MatchCaseRL rl' rcase' initstates rsta, IsSymbol sym) => MatchCaseRL (Cons sym x rl') rcase initstates rsta

class UpdateVariant :: Row Type -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass UpdateVariant (initstates :: Row Type) (updates :: Row Type) (rcase :: Row Type) (rmsg :: Row Type) (rsta :: Row Type)  where

Members

• updateVariant :: Record initstates -> Record updates -> (VariantMsg rcase rmsg -> VariantState rsta -> VariantState rsta)

Instances

• (UpdateVariantRL rl updates rmsg rsta, RowToList updates rl, MatchCase rcase initstates rsta) => UpdateVariant initstates updates rcase rmsg rsta

class UpdateVariantRL :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass UpdateVariantRL (rl :: RowList Type) (updates :: Row Type) (rmsg :: Row Type) (rsta :: Row Type) | rl -> rsta where

Members

• updateVariantRL :: Proxy rl -> Record updates -> (Variant rmsg -> Variant rsta -> Variant rsta)

Instances

• UpdateVariantRL Nil updates rmsg ()
• (Cons sym (msg -> sta -> sta) updatesx updates, Cons sym msg rmsgx rmsg, Cons sym sta rsta' rsta, Lacks sym rsta', Lacks sym updatesx, UpdateVariantRL rl' updates rmsg rsta', IsSymbol sym, Union rsta' rstax rsta, RowToList rsta msgRL) => UpdateVariantRL (Cons sym x rl') updates rmsg rsta

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

type ViewArgs :: (Type -> Type) -> Type -> Typetype ViewArgs src msg = { caseKey :: CaseKey, caseKeys :: Array CaseKey, mkMsg :: CaseKey -> msg, viewCase :: src 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