korolev

package korolev

Type members

Classlikes

abstract class Component[F[_], S, P, E](val initialState: S, val id: String)(`evidence$1`: Effect[F], `evidence$2`: StateSerializer[S], `evidence$3`: StateDeserializer[S])

Component definition. Every Korolev application is a component. Extent it to declare component in object oriented style.

Component definition. Every Korolev application is a component. Extent it to declare component in object oriented style.

Type Params
E

Type of events produced by component

F

Control monad

S

State of the component

Value Params
id

Unique identifier of the component. Use it when you create component declaration dynamically

Companion
object
object Component
Companion
class
final class Context[F[_], S, M] extends Scope[F, S, S, M]

Provides DSLs and effects for application or component

Provides DSLs and effects for application or component

Since

0.6.0

Companion
object
object Context
Companion
class
trait Extension[F[_], S, M]
Companion
object
object Extension
Companion
class
case class Qsid(deviceId: DeviceId, sessionId: SessionId)

Qualified Session Identifier

Qualified Session Identifier

final case class Router[F[_], S](fromState: PartialFunction[S, PathAndQuery], toState: PartialFunction[PathAndQuery, S => F[S]])

URL routing definition

URL routing definition

Type Params
F

A async control

S

Type of State

Value Params
fromState

From current state to Uri

toState

From Uri to state

Companion
object
object Router
Companion
class

Types

type Transition[State] = State => State

Value members

Concrete fields

@inline
val *&: *&
@inline
val /: /
@inline
val :&: :&
@inline
val :?: :?
@inline
val :?*: :?*
@inline
val Root: Root