• Home
• io.7mind.izumi
• idealingua-v1-runtime-rpc-http4s_2.13
• 1.3.20
• source code
• WsIdExtractor.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

izumi.idealingua.runtime.rpc.http4s.context.WsIdExtractor.scala Maven / Gradle / Ivy

package izumi.idealingua.runtime.rpc.http4s.context

trait WsIdExtractor[RequestCtx, WsCtx] {
  def extract(ctx: RequestCtx, previous: Option[WsCtx]): Option[WsCtx]
}

object WsIdExtractor {
  def id[C]: WsIdExtractor[C, C]              = (c, _) => Some(c)
  def widen[C, C0 >: C]: WsIdExtractor[C, C0] = (c, _) => Some(c)
  def unit[C]: WsIdExtractor[C, Unit]         = (_, _) => Some(())
}