InteractiveData.DataUIs.Generic

Operator alias for InteractiveData.DataUIs.Generic.Product (right-associative / precedence 6)

type CfgGeneric = { text :: Maybe String }

type DefaultTransform = ArgsToRecord NoTransform

data MappingHlistToRecord

Constructors

• MappingHlistToRecord

Instances

• (HlistToRecord 1 hlist datauis, DataUiRecord datauis fm fs (IDSurface html) rmsg rsta row, IDHtml html) => Mapping MappingHlistToRecord hlist (DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record row))

data Product a b

Constructors

• Product a b

Instances

• (HlistToRecord countNext as rowPrev, Add count 1 countNext, ToString count sym, IsSymbol sym, Lacks sym rowPrev, Cons sym a rowPrev row) => HlistToRecord count (Product a as) row

class GenericDataUI :: Symbol -> Type -> (Type -> Type) -> Row Type -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Constraintclass GenericDataUI (initcase :: Symbol) (opt :: Type) (html :: Type -> Type) (datauis :: Row Type) (fm :: Type -> Type) (fs :: Type -> Type) (msg :: Type) (sta :: Type) (a :: Type) | datauis opt -> initcase html fm fs datauis msg sta a where

Members

• generic :: TypeName -> opt -> Record datauis -> DataUI (IDSurface html) fm fs msg sta a

Instances

• (DataUiVariant datauis fm fs (IDSurface html) initcase rcase rmsg rsta r, IDHtml html, GenericVariantLike DefaultTransform a r, HMap MappingHlistToRecord (Record datauisHlist) (Record datauis), OptArgs CfgGeneric opt) => GenericDataUI initcase opt html datauisHlist fm fs (VariantMsg rcase rmsg) (VariantState rsta) a

class HlistToRecord :: Int -> Type -> Row Type -> Constraintclass HlistToRecord (count :: Int) hl (r :: Row Type) | hl -> r where

Members

• hlistToRecord :: Proxy count -> hl -> Record r

Instances

• HlistToRecord count Unit ()
• (HlistToRecord countNext as rowPrev, Add count 1 countNext, ToString count sym, IsSymbol sym, Lacks sym rowPrev, Cons sym a rowPrev row) => HlistToRecord count (Product a as) row
• (Cons sym a () row, ToString count sym, IsSymbol sym) => HlistToRecord count a row

generic_ :: forall @initcase html datauis fm fs msg sta a. GenericDataUI initcase (Record ()) html datauis fm fs msg sta a => IDHtml html => TypeName -> Record datauis -> DataUI (IDSurface html) fm fs msg sta a

Operator alias for InteractiveData.DataUIs.Generic.Product (right-associative / precedence 6)