Module

InteractiveData.DataUIs

Package: purescript-interactive-data
Repository: thought2/purescript-interactive-data.all

Re-exports from InteractiveData.DataUIs.Array

#ArrayState Source

newtype ArrayState sta

Instances

(Show sta) => Show (ArrayState sta)

#ArrayMsg Source

data ArrayMsg msg

#array_ Source

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 Source

array :: forall opt html fm fs msg sta a. OptArgs (CfgArray ArrayMsg) 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)

Re-exports from InteractiveData.DataUIs.Boolean

#BooleanState Source

newtype BooleanState

Instances

Show BooleanState

#BooleanMsg Source

data BooleanMsg

#boolean_ Source

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

#boolean Source

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

Re-exports from InteractiveData.DataUIs.Common

#tuple_ Source

tuple_ :: forall html fm fs datauis msg sta a b. GenericDataUI (Record ()) html fm fs "Tuple" datauis msg sta (Tuple a b) => Record datauis -> DataUI (IDSurface html) fm fs msg sta (Tuple a b)

#tuple Source

tuple :: forall opt html fm fs datauis msg sta a b. GenericDataUI opt html fm fs "Tuple" datauis msg sta (Tuple a b) => opt -> Record datauis -> DataUI (IDSurface html) fm fs msg sta (Tuple a b)

#maybe_ Source

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

#maybe Source

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

#either_ Source

either_ :: forall html fm fs datauis msg sta a b. GenericDataUI (Record ()) html fm fs "Left" datauis msg sta (Either a b) => Record datauis -> DataUI (IDSurface html) fm fs msg sta (Either a b)

#either Source

either :: forall opt html fm fs datauis msg sta a b. GenericDataUI opt html fm fs "Left" datauis msg sta (Either a b) => opt -> Record datauis -> DataUI (IDSurface html) fm fs msg sta (Either a b)

Re-exports from InteractiveData.DataUIs.Generic

#Product Source

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

#GenericDataUI Source

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

#(~) Source

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

#type (~) Source

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

Re-exports from InteractiveData.DataUIs.Int

#IntState Source

newtype IntState

Instances

Show IntState

#IntMsg Source

data IntMsg

#int_ Source

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

#int Source

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

Re-exports from InteractiveData.DataUIs.Json

#JsonState Source

newtype JsonState

Instances

Show JsonState

#JsonMsg Source

data JsonMsg

#json Source

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

Re-exports from InteractiveData.DataUIs.Newtype

#newtype_ Source

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

Re-exports from InteractiveData.DataUIs.Number

#NumberState Source

newtype NumberState

Instances

Show NumberState

#NumberMsg Source

data NumberMsg

#number_ Source

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

#number Source

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

Re-exports from InteractiveData.DataUIs.Record

#RecordState Source

newtype RecordState :: Row Type -> Typenewtype RecordState r

Instances

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

#RecordMsg Source

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_ Source

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 Source

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)

Re-exports from InteractiveData.DataUIs.String

#StringState Source

newtype StringState

Instances

Show StringState

#StringMsg Source

data StringMsg

#CfgString Source

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

#string_ Source

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

#string Source

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

Re-exports from InteractiveData.DataUIs.Variant

#VariantState Source

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)

#VariantMsg Source

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_ Source

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 Source

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)

Modules: InteractiveData; InteractiveData.App; InteractiveData.App.EnvVars; InteractiveData.App.FastForward.Inline; InteractiveData.App.FastForward.Standalone; InteractiveData.App.Routing; InteractiveData.App.Types; InteractiveData.App.UI.ActionButton; InteractiveData.App.UI.Assets; InteractiveData.App.UI.Body; InteractiveData.App.UI.Breadcrumbs; InteractiveData.App.UI.Card; InteractiveData.App.UI.DataLabel; InteractiveData.App.UI.Footer; InteractiveData.App.UI.Header; InteractiveData.App.UI.Layout; InteractiveData.App.UI.Menu; InteractiveData.App.UI.NotFound; InteractiveData.App.UI.SideBar; InteractiveData.App.UI.Types.SumTree; InteractiveData.App.WrapApp; InteractiveData.App.WrapData; InteractiveData.Class; InteractiveData.Class.Defaults; InteractiveData.Class.Defaults.Generic; InteractiveData.Class.Defaults.Record; InteractiveData.Class.Defaults.Variant; InteractiveData.Class.InitDataUI; InteractiveData.Class.Partial; InteractiveData.Core; InteractiveData.Core.Classes.IDHtml; InteractiveData.Core.Classes.OptArgs; InteractiveData.Core.FeatureFlags; InteractiveData.Core.Prelude; InteractiveData.Core.Types.Common; InteractiveData.Core.Types.DataAction; InteractiveData.Core.Types.DataPathExtra; InteractiveData.Core.Types.DataTree; InteractiveData.Core.Types.IDOutMsg; InteractiveData.Core.Types.IDSurface; InteractiveData.Core.Types.IDViewCtx; InteractiveData.Core.Util.RecordProjection; InteractiveData.DataUIs; InteractiveData.DataUIs.Array; InteractiveData.DataUIs.Boolean; InteractiveData.DataUIs.Common; InteractiveData.DataUIs.Generic; InteractiveData.DataUIs.Int; InteractiveData.DataUIs.Json; InteractiveData.DataUIs.Newtype; InteractiveData.DataUIs.Number; InteractiveData.DataUIs.Record; InteractiveData.DataUIs.String; InteractiveData.DataUIs.Variant; InteractiveData.Entry; InteractiveData.Run; InteractiveData.Run.Types.HtmlT; InteractiveData.UI.NumberInput; InteractiveData.UI.Slider