Module

InteractiveData

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

Re-exports from DataMVC.Types

#DataUiInterface Source

newtype DataUiInterface :: (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUiInterface srf msg sta a

Constructors

DataUiInterface { extract :: sta -> DataResult a, init :: Maybe a -> sta, name :: String, update :: msg -> sta -> sta, view :: sta -> srf msg }

Instances

Newtype (DataUiInterface srf msg sta a) _

#DataUICtx Source

newtype DataUICtx :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Typenewtype DataUICtx html fm fs

Constructors

DataUICtx (DataUICtxImpl html fm fs)

#DataUI Source

newtype DataUI :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUI srf fm fs msg sta a

Constructors

DataUI (DataUICtx srf fm fs -> DataUiInterface srf msg sta a)

Instances

Newtype (DataUI srf fm fs msg sta a) _

#DataPathSegmentField Source

data DataPathSegmentField

Constructors

Instances

#DataPathSegment Source

data DataPathSegment

Constructors

Instances

#DataPath Source

type DataPath = Array DataPathSegment

Re-exports from DataMVC.Types.DataError

#DataResult Source

type DataResult a = Either (NonEmptyArray DataError) a

#DataErrorCase Source

data DataErrorCase

Constructors

Instances

#DataError Source

data DataError

Constructors

DataError DataPath DataErrorCase

Instances

#scopeOpt Source

scopeOpt :: forall a. DataPathSegment -> DataResult a -> DataResult a

#scopeErrors Source

scopeErrors :: DataPathSegment -> NonEmptyArray DataError -> NonEmptyArray DataError

#scopeError Source

scopeError :: DataPathSegment -> DataError -> DataError

Re-exports from DataMVC.Types.DataUI

#refineDataUi Source

refineDataUi :: forall srf fm fs msg sta a b. RefineDataResults a b -> DataUI srf fm fs msg sta a -> DataUI srf fm fs msg sta b

Re-exports from InteractiveData.App

#WrapState Source

newtype WrapState sta

Instances

(Eq sta) => Eq (WrapState sta)
Generic (WrapState sta) _
(Show sta) => Show (WrapState sta)

#WrapMsg Source

data WrapMsg msg

Instances

(Eq msg) => Eq (WrapMsg msg)
Generic (WrapMsg msg) _
(Show msg) => Show (WrapMsg msg)

#AppState Source

newtype AppState sta

#AppMsg Source

type AppMsg msg = These (AppSelfMsg msg) IDOutMsg

Re-exports from InteractiveData.Class

#IDDataUI Source

class IDDataUI :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Constraintclass IDDataUI (srf :: Type -> Type) (fm :: Type -> Type) (fs :: Type -> Type) (msg :: Type) (sta :: Type) (a :: Type) | a -> msg sta where

Members

dataUi :: DataUI srf fm fs msg sta a

Instances

(IDHtml html) => IDDataUI (IDSurface html) fm fs StringMsg StringState String
(IDHtml html) => IDDataUI (IDSurface html) fm fs IntMsg IntState Int
(IDHtml html) => IDDataUI (IDSurface html) fm fs BooleanMsg BooleanState Boolean
(IDHtml html) => IDDataUI (IDSurface html) fm fs NumberMsg NumberState Number
(DefaultRecord Tok html fm fs rmsg rsta row) => IDDataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record row)
(DefaultVariant Tok html fm fs rcase rmsg rsta row) => IDDataUI (IDSurface html) fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant row)
(DefaultGeneric "Nothing" Tok html fm fs msg sta (Maybe a)) => IDDataUI (IDSurface html) fm fs msg sta (Maybe a)
(DefaultGeneric "Left" Tok html fm fs msg sta (Either a b)) => IDDataUI (IDSurface html) fm fs msg sta (Either a b)
(DefaultGeneric "Tuple" Tok html fm fs msg sta (Tuple a b)) => IDDataUI (IDSurface html) fm fs msg sta (Tuple a b)
(IDHtml html, IDDataUI (IDSurface html) fm fs msg sta a) => IDDataUI (IDSurface html) fm fs (ArrayMsg (fm msg)) (ArrayState (fs sta)) (Array a)

Re-exports from InteractiveData.Class.Partial

#variantPartial_ Source

variantPartial_ :: forall html fm fs @initsym rcase rmsg rsta row datauisGiven. DefaultVariantPartial Tok datauisGiven html fm fs initsym rcase rmsg rsta row => Record datauisGiven -> DataUI (IDSurface html) fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant row)

#recordPartial_ Source

recordPartial_ :: forall html fm fs rmsg rsta row datauisGiven. DefaultRecordPartial Tok (Record ()) datauisGiven html fm fs rmsg rsta row => Record datauisGiven -> DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record row)

#recordPartial Source

recordPartial :: forall opt html fm fs rmsg rsta row datauisGiven. DefaultRecordPartial Tok opt datauisGiven html fm fs rmsg rsta row => opt -> Record datauisGiven -> DataUI (IDSurface html) fm fs (RecordMsg rmsg) (RecordState rsta) (Record row)

#genericPartial_ Source

genericPartial_ :: forall html fm fs @initsym msg sta a datauisGiven. DefaultGenericPartial initsym Tok datauisGiven html fm fs msg sta a => String -> Record datauisGiven -> DataUI (IDSurface html) fm fs msg sta a

Re-exports from InteractiveData.Core

#IDSurface Source

newtype IDSurface :: (Type -> Type) -> Type -> Typenewtype IDSurface html msg

Instances

(Functor html) => Functor (IDSurface html)
Newtype (IDSurface html msg) _

#IDHtml Source

class IDHtml :: (Type -> Type) -> Constraintclass (Html html, Ctx IDViewCtx html, RunOutMsg IDOutMsg html, HtmlStyled html) <= IDHtml html

Re-exports from InteractiveData.DataUIs

#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)

#StringState Source

newtype StringState

Instances

Show StringState

#StringMsg Source

data StringMsg

#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)

#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

#NumberState Source

newtype NumberState

Instances

Show NumberState

#NumberMsg Source

data NumberMsg

#JsonState Source

newtype JsonState

Instances

Show JsonState

#JsonMsg Source

data JsonMsg

#IntState Source

newtype IntState

Instances

Show IntState

#IntMsg Source

data IntMsg

#CfgString Source

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

#BooleanState Source

newtype BooleanState

Instances

Show BooleanState

#BooleanMsg Source

data BooleanMsg

#ArrayState Source

newtype ArrayState sta

Instances

(Show sta) => Show (ArrayState sta)

#ArrayMsg Source

data ArrayMsg msg

#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

#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)

#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)

#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

#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)

#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

#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

#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)

#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

#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

#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)

#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

#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)

#(~) 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.Entry

#DataUI' Source

type DataUI' msg sta typ = forall html. IDHtml html => DataUI (IDSurface html) WrapMsg WrapState msg sta typ

#toApp Source

toApp :: forall html given msg sta a. Html html => OptArgsMixed (ToAppCfg a) (ToAppOptional a ()) given => given -> DataUI (IDSurface (IDHtmlT html)) WrapMsg WrapState msg sta a -> InteractiveDataApp html (AppMsg (WrapMsg msg)) (AppState (WrapState sta)) a

Re-exports from InteractiveData.Run

#getUi Source

getUi :: forall html msg sta a. { initData :: Maybe a } -> DataUiInterface html msg sta a -> UI html msg sta

#getExtract Source

getExtract :: forall html msg sta a. DataUiInterface html msg sta a -> (sta -> DataResult a)

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