InteractiveData.DataUIs.Generic

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

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 :: Type -> (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Symbol -> Row Type -> Type -> Type -> Type -> Constraintclass GenericDataUI (opt :: Type) (html :: Type -> Type) (fm :: Type -> Type) (fs :: Type -> Type) (initcase :: Symbol) (datauis :: Row Type) (msg :: Type) (sta :: Type) (a :: Type) | datauis opt -> initcase html fm fs datauis msg sta a where

Members

• generic :: { typeName :: String } -> opt -> Record datauis -> DataUI (IDSurface html) fm fs msg sta 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

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