korolev
korolev
korolev
Component
Component
Context
Context
Access
BaseAccess
Binding
ComponentEntry
Delay
ElementId
Event
EventAccess
FileHandler
MappedAccess
PropertyHandler
Scope
ComponentDsl
JsCodeHelper
Extension
Extension
Handlers
Handlers
Metrics
LongMetric
Metric
Qsid
Router
Router
korolev.internal
ApplicationInstance
ComponentInstance
EventRegistry
Frontend
Frontend
CallbackType
CallbackType
CustomCallback
DomEvent
EvalJsResponse
ExtractEventDataResponse
ExtractPropertyResponse
Heartbeat
History
ClientSideException
DomEventMessage
DownloadFileMeta
EvalJsStatus
EvalJsStatus
Failure
Success
ModifyDomProcedure
ModifyDomProcedure
Create
CreateText
Remove
RemoveAttr
RemoveStyle
SetAttr
SetStyle
Procedure
Procedure
ChangePageUrl
DownloadFile
EvalJs
ExtractEventData
ExtractProperty
Focus
KeepAlive
ListFiles
ListenEvent
ModifyDom
Reload
ReloadCss
RestForm
SetRenderNum
UploadFile
UploadForm
PropertyType
PropertyType
Boolean
Error
Number
Object
String
UnknownCallbackException
korolev.server
KorolevService
KorolevServiceConfig
KorolevServiceConfig
StateLoader
korolev.server.internal
korolev.server.internal.services
PageService
PageService
RenderContextProxy
UpgradeHeadRenderContextProxy
korolev.state
IdGenerator
IdGenerator
StateDeserializer
StateManager
StateManager
Snapshot
StateSerializer
StateStorage
StateStorage
javaSerialization
korolev.util
HtmlUtil
JsCode
JsCode
Element
End
Part
Lens
korolev
/
korolev
/
Router
Router
object
Router
Companion:
class
Graph
Supertypes
Self type
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Router
.type
Type members
Value members
Type members
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Value members
Concrete methods
def
apply
[
F
[
_
] :
Effect
,
S
,
S2
](
lens:
Lens
[
S
,
S2
])(
fromState:
PartialFunction
[
S2
,
PathAndQuery
],
toState:
PartialFunction
[
PathAndQuery
,
S2
=>
F
[
S2
]]):
Router
[
F
,
S
]
def
empty
[
F
[
_
],
S
]:
Router
[
F
,
S
]