InteractiveData.DataUIs

newtype ArrayState sta

Instances

• (Show sta) => Show (ArrayState sta)

data ArrayMsg msg

array_ :: forall html fm fs msg sta a. IDHtml html => DataUI (IDSurface html) fm fs msg sta a -> DataUI (IDSurface html) fm fs (ArrayMsg (fm msg)) (ArrayState (fs sta)) (Array a)

array :: forall opt html fm fs msg sta a. OptArgs (CfgArray a) opt => IDHtml html => opt -> DataUI (IDSurface html) fm fs msg sta a -> DataUI (IDSurface html) fm fs (ArrayMsg (fm msg)) (ArrayState (fs sta)) (Array a)

newtype BooleanState

Instances

• Show BooleanState

data BooleanMsg

boolean_ :: forall html fm fs. IDHtml html => DataUI (IDSurface html) fm fs BooleanMsg BooleanState Boolean

boolean :: forall opt html fm fs. OptArgs CfgBoolean opt => IDHtml html => opt -> DataUI (IDSurface html) fm fs BooleanMsg BooleanState Boolean

unit_ :: forall html fm fs. IDHtml html => DataUI (IDSurface html) fm fs Unit Unit Unit

unit :: forall opt html fm fs. IDHtml html => OptArgs (TrivialCfg () Unit) opt => opt -> DataUI (IDSurface html) fm fs Unit Unit Unit

tuple_ :: forall html a b. IDHtml html => DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ b -> DataUI (IDSurface html) _ _ _ _ (Tuple a b)

tuple :: forall opt html a b. IDHtml html => OptArgs CfgGeneric opt => opt -> DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ b -> DataUI (IDSurface html) _ _ _ _ (Tuple a b)

mkMaybe_ :: forall html datauis fm fs msg sta a. GenericDataUI "Nothing" (Record ()) html datauis fm fs msg sta (Maybe a) => Record datauis -> DataUI (IDSurface html) fm fs msg sta (Maybe a)

mkMaybe :: forall opt html datauis fm fs msg sta a. GenericDataUI "Nothing" opt html datauis fm fs msg sta (Maybe a) => opt -> Record datauis -> DataUI (IDSurface html) fm fs msg sta (Maybe a)

maybe_ :: forall html a. IDHtml html => DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ (Maybe a)

maybe :: forall opt html a. IDHtml html => OptArgs CfgGeneric opt => opt -> DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ (Maybe a)

either_ :: forall html a b. IDHtml html => DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ b -> DataUI (IDSurface html) _ _ _ _ (Either a b)

either :: forall opt html a b. IDHtml html => OptArgs CfgGeneric opt => opt -> DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ b -> DataUI (IDSurface html) _ _ _ _ (Either a b)

data 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

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)

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

newtype IntState

Instances

• Show IntState

data IntMsg

int_ :: forall html fm fs. IDHtml html => DataUI (IDSurface html) fm fs IntMsg IntState Int

int :: forall opt html fm fs. OptArgs CfgInt opt => IDHtml html => opt -> DataUI (IDSurface html) fm fs IntMsg IntState Int

newtype JsonState

Instances

• Show JsonState

data JsonMsg

json :: forall given html fm fs a. OptArgsMixed (JsonCfg a) (JsonOptional ()) given => DecodeJson a => EncodeJson a => IDHtml html => given -> DataUI (IDSurface html) fm fs JsonMsg JsonState a

newtype_ :: forall srf fm fs msg sta a b. Newtype b a => TypeName -> DataUI srf fm fs msg sta a -> DataUI srf fm fs msg sta b

newtype NumberState

Instances

• Show NumberState

data NumberMsg

number_ :: forall html fm fs. IDHtml html => DataUI (IDSurface html) fm fs NumberMsg NumberState Number

number :: forall opt html fm fs. OptArgs CfgNumber opt => IDHtml html => opt -> DataUI (IDSurface html) fm fs NumberMsg NumberState Number

newtype RecordState :: Row Type -> Typenewtype RecordState r

Instances

• Generic (RecordState r) _
• (Eq (Record r)) => Eq (RecordState r)
• (Show (Record r)) => Show (RecordState r)

newtype RecordMsg :: Row Type -> Typenewtype RecordMsg r

Instances

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

record_ :: forall datauis html fm fs rmsg rsta r. DataUiRecord datauis fm fs (IDSurface html) rmsg rsta r => IDHtml html => Record datauis -> DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record r)

record :: forall opt datauis html fm fs rmsg rsta r. DataUiRecord datauis fm fs (IDSurface html) rmsg rsta r => IDHtml html => OptArgs CfgRecord opt => opt -> Record datauis -> DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record r)

newtype StringState

Instances

• Show StringState

data StringMsg

type CfgString msg = { actions :: Array (DataAction msg), maxLength :: Maybe Int, multiline :: Boolean, rows :: Int, text :: Maybe String }

string_ :: forall html fm fs. IDHtml html => DataUI (IDSurface html) fm fs StringMsg StringState String

string :: forall opt html fm fs. OptArgs (CfgString StringMsg) opt => IDHtml html => opt -> DataUI (IDSurface html) fm fs StringMsg StringState String

type TrivialCfg :: Row Type -> Type -> Typetype TrivialCfg extraCfg a = { init :: Maybe a, text :: Maybe String | extraCfg }

mkTrivialDataUi :: forall html opt extraCfg fm fs a. IDHtml html => OptArgs (TrivialCfg extraCfg a) opt => Lacks "init" extraCfg => Lacks "text" extraCfg => MkTrivialDataUiCfg html extraCfg a -> opt -> DataUI (IDSurface html) fm fs a a a

newtype TypeName

Constructors

• TypeName String

newtype VariantState :: Row Type -> Typenewtype VariantState 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

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)

variant_ :: forall datauis html fm fs @initsym rcase rmsg rsta r. DataUiVariant datauis fm fs (IDSurface html) initsym rcase rmsg rsta r => IDHtml html => Record datauis -> DataUI (IDSurface html) fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant r)

variant :: forall opt datauis html fm fs @initsym rcase rmsg rsta r. OptArgs CfgVariant opt => DataUiVariant datauis fm fs (IDSurface html) initsym rcase rmsg rsta r => IDHtml html => opt -> Record datauis -> DataUI (IDSurface html) fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant r)