korolev

package korolev

Type members

Classlikes

abstract class Component[F[_], S, P, E](val initialState: S, val id: String)

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 parameters:
E

Type of events produced by component

F

Control monad

S

State of the component

Value parameters:
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
object Metrics
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 parameters:
F

A async control

S

Type of State

Value parameters:
fromState

From current state to Uri

toState

From Uri to state

Companion:
object
object Router
Companion:
class

Types

type Transition[S] = S => S
type TransitionAsync[F[_], S] = S => F[S]

Value members

Concrete fields

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