Type Members

1.  abstract class Component[F[_], S, P, E] extends AnyRef

   Component definition.

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

   F

   Control monad

   S

   State of the component

   E

   Type of events produced by component

2.  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

3.  trait Extension[F[_], S, M] extends AnyRef
4.  final case class FormData(content: Seq[Entry]) extends Product with Serializable
5.  final class KorolevTemplateDsl[F[_], S, M] extends SymbolDsl[Binding[F, S, M]]

   Levsha DSL with enrichments.

6.  case class Qsid(deviceId: DeviceId, sessionId: SessionId) extends Product with Serializable

   Qualified Session Identifier

7.  final case class Router[F[_], S](fromState: PartialFunction[S, Path] = PartialFunction.empty, toState: PartialFunction[Path, (S) ⇒ F[S]] = PartialFunction.empty) extends Product with Serializable

   URL routing definition

   URL routing definition

   F

   A async control

   S

   Type of State

   fromState

   From current state to path

   toState

   From path to state

8.  type Transition[State] = (State) ⇒ State