DataMVC.Variant.DataUI

class DataUiVariant :: Row Type -> (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Symbol -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass DataUiVariant (datauis :: Row Type) (fm :: Type -> Type) (fs :: Type -> Type) (srf :: Type -> Type) (initsym :: Symbol) (rcase :: Row Type) (rmsg :: Row Type) (rsta :: Row Type) (r :: Row Type) | datauis -> fm fs srf initsym rcase rmsg rsta r where

Members

• dataUiVariant :: Record datauis -> Proxy initsym -> DataUiInterfaceVariantProps srf initsym -> DataUI srf fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant r)

Instances

• (ApplyCtx (DataUICtx srf fm fs) datauis uis, DataUiInterfaceVariant uis srf initsym rcase rmsg rsta r) => DataUiVariant datauis fm fs srf initsym rcase rmsg rsta r