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 (html :: Type -> Type) (fm :: Type -> Type) (fs :: Type -> Type) (msg :: Type) (sta :: Type) (a :: Type) | a -> msg sta where

Members

dataUi :: DataUI (IDSurface (IDHtmlT html)) fm fs msg sta a

Instances

(Html html) => IDDataUI html fm fs StringMsg StringState String
(Html html) => IDDataUI html fm fs IntMsg IntState Int
(Html html) => IDDataUI html fm fs BooleanMsg BooleanState Boolean
(Html html) => IDDataUI html fm fs NumberMsg NumberState Number
(Html html) => IDDataUI html fm fs Unit Unit Unit
(DefaultRecord Tok html fm fs rmsg rsta row) => IDDataUI html fm fs (RecordMsg rmsg) (RecordState rsta) (Record row)
(DefaultVariant Tok html fm fs rcase rmsg rsta row) => IDDataUI html fm fs (VariantMsg rcase rmsg) (VariantState rsta) (Variant row)
(DefaultGeneric "Nothing" Tok html fm fs msg sta (Maybe a)) => IDDataUI html fm fs msg sta (Maybe a)
(DefaultGeneric "Left" Tok html fm fs msg sta (Either a b)) => IDDataUI html fm fs msg sta (Either a b)
(DefaultGeneric "Tuple" Tok html fm fs msg sta (Tuple a b)) => IDDataUI html fm fs msg sta (Tuple a b)
(Html html, IDDataUI html fm fs msg sta a) => IDDataUI 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) _

#DataAction Source

newtype DataAction msg

Constructors

DataAction { description :: String, label :: String, msg :: These msg IDOutMsg }

Instances

Functor DataAction
(Eq msg) => Eq (DataAction msg)
(Ord msg) => Ord (DataAction msg)

#IDHtml Source

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

Re-exports from InteractiveData.Core.Classes.OptArgs

#OptArgs Source

class OptArgs all given

Instances

(ConvertOptionsWithDefaults NoConvert all given all) => OptArgs all given

Re-exports from InteractiveData.Core.Types.IDHtmlT

#IDHtmlT Source

newtype IDHtmlT :: (Type -> Type) -> Type -> Typenewtype IDHtmlT html a

Instances

(Html html) => Html (IDHtmlT html)
(Html html) => MapMaybe (IDHtmlT html)
AskCtx IDViewCtx (IDHtmlT html)
Ctx IDViewCtx (IDHtmlT html)
(Html html) => OutMsg IDOutMsg (IDHtmlT html)
(Html html) => RunOutMsg IDOutMsg (IDHtmlT html)
(Functor html) => Functor (IDHtmlT html)
(Html html) => HtmlStyled (IDHtmlT html)
(Html html) => IDHtml (IDHtmlT 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)

#TypeName Source

newtype TypeName

Constructors

TypeName String

#TrivialCfg Source

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

#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, multiline :: Boolean, rows :: Int, 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 :: 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

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

#unit_ Source

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

#unit Source

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

#tuple_ Source

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

#tuple Source

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)

#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 => TypeName -> DataUI srf fm fs msg sta a -> DataUI srf fm fs msg sta b

#mkTrivialDataUi Source

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

#mkMaybe_ Source

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 Source

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

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

#maybe Source

maybe :: forall opt html a. IDHtml html => OptArgs CfgGeneric opt => opt -> DataUI (IDSurface html) _ _ _ _ a -> DataUI (IDSurface html) _ _ _ _ (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

#generic_ Source

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

#either_ Source

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

#either Source

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)

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

#(~) 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' :: (Type -> Type) -> Type -> Type -> Type -> Typetype DataUI' html msg sta a = DataUI (IDSurface (IDHtmlT html)) WrapMsg WrapState msg sta a

#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

#mkDataError Source

mkDataError :: String -> DataError

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.IDHtmlT; 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.Trivial; InteractiveData.DataUIs.Types; InteractiveData.DataUIs.Variant; InteractiveData.Entry; InteractiveData.Run; InteractiveData.UI.NumberInput; InteractiveData.UI.Slider