DashConfig Type

Record fields

Record Field Description

PropsCheck

Full Usage: PropsCheck

Field type: bool
Field type: bool

RequestsPathamePrefix

Full Usage: RequestsPathamePrefix

Field type: string
Field type: string

ServeLocally

Full Usage: ServeLocally

Field type: bool
Field type: bool

ShowUndoRedo

Full Usage: ShowUndoRedo

Field type: bool
Field type: bool

SuppressCallbackExceptions

Full Usage: SuppressCallbackExceptions

Field type: bool
Field type: bool

UI

Full Usage: UI

Field type: bool
Field type: bool

UpdateTitle

Full Usage: UpdateTitle

Field type: string
Field type: string

UrlBasePathname

Full Usage: UrlBasePathname

Field type: Option<string>
Field type: Option<string>

Static members

Static member Description

DashConfig.create urlBasePathname requestsPathamePrefix serveLocally uI propsCheck showUndoRedo suppressCallbackExceptions updateTitle

Full Usage: DashConfig.create urlBasePathname requestsPathamePrefix serveLocally uI propsCheck showUndoRedo suppressCallbackExceptions updateTitle

Parameters:
    urlBasePathname : Option<string>
    requestsPathamePrefix : string
    serveLocally : bool
    uI : bool
    propsCheck : bool
    showUndoRedo : bool
    suppressCallbackExceptions : bool
    updateTitle : string

Returns: DashConfig
urlBasePathname : Option<string>
requestsPathamePrefix : string
serveLocally : bool
uI : bool
propsCheck : bool
showUndoRedo : bool
suppressCallbackExceptions : bool
updateTitle : string
Returns: DashConfig

DashConfig.initDefault ()

Full Usage: DashConfig.initDefault ()

Returns: DashConfig
Returns: DashConfig

DashConfig.initDefaultWith initializer

Full Usage: DashConfig.initDefaultWith initializer

Parameters:
Returns: DashConfig
initializer : DashConfig -> DashConfig
Returns: DashConfig