korolev.server

trait KorolevService[F[_]]

case class KorolevServiceConfig[F[_], S, M](stateLoader: F => S, stateStorage: StateStorage[F, S], http: PartialFunction[HttpRequest[F], F[HttpResponse[F]]], router: Router[F, S], rootPath: Path, render: S => Node[Binding[F, S, M]], head: S => Seq[Node[Binding[F, S, M]]], document: S => Node[Binding[F, S, M]], connectionLostWidget: Node[Binding[F, S, M]], maxFormDataEntrySize: Int, extensions: List[Extension[F, S, M]], idGenerator: IdGenerator[F], heartbeatInterval: FiniteDuration, reporter: Reporter, recovery: PartialFunction[Throwable, S => S], sessionIdleTimeout: FiniteDuration)(implicit executionContext: ExecutionContext)

object KorolevServiceConfig

object StateLoader

final case class WebSocketRequest[F[_]](httpRequest: Request[Stream[F, Bytes]], protocols: Seq[String])

final case class WebSocketResponse[F[_]](httpResponse: Response[Stream[F, Bytes]], selectedProtocol: String)

type HttpRequest[F[_]] = Request[Stream[F, Bytes]]

type HttpResponse[F[_]] = Response[Stream[F, Bytes]]

type StateLoader[F[_], S] = (DeviceId, Head) => F[S]

def korolevService[F[_] : Effect, S : StateDeserializer, M](config: KorolevServiceConfig[F, S, M]): KorolevService[F]