dsl

Type Members

sealed trait ApiList[H <: HList] extends AnyRef
final case class ClientHeaderCollParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
final case class ClientHeaderElCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
final case class ClientHeaderParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
final case class FixedHeaderCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
sealed trait HeaderCons[H <: HList] extends HeaderOps[H] with MethodOps[H] with ApiList[H]

Last set element is a header.
sealed trait HeaderOps[H <: HList] extends AnyRef
final case class InputHeaderCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
type Json = application/json.type
sealed trait MethodOps[H <: HList] extends AnyRef

Basic operations.
final case class PathCons[H <: HList]() extends PathOps[H] with HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

Last set element is a path.
sealed trait PathOps[H <: HList] extends AnyRef
type Plain = text/plain.type
final case class QueryCons[H <: HList]() extends HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

Last set element is a query parameter.
final case class SegmentCons[H <: HList]() extends PathOps[H] with HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

Last set element is a segment.
final case class ServerHeaderMatchParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
final case class ServerHeaderSendElCons[H <: HList]() extends HeaderCons[H] with Product with Serializable
final case class WithBodyCons[BMT <: MediaType, Bd, H <: HList]() extends ApiList[H] with Product with Serializable

Last set element is a request body.

Value Members

def :=: EmptyCons.type
object Client
def Delete[MT <: MediaType, A]: TypeCarrier[DeleteElement[MT, A]]
object EmptyCons extends PathOps[HNil] with HeaderOps[HNil] with MethodOps[HNil] with ApiList[HNil] with Product with Serializable

Initial element with empty api description.
def Get[MT <: MediaType, A]: TypeCarrier[GetElement[MT, A]]
def Header: PairTypeFromWitnesses[FixedHeaderElement]
def Header[V]: PairTypeFromWitnessKey[HeaderParam, V]
val MT: shared.MediaTypes.type
val MediaTypes: shared.MediaTypes.type
def Post[MT <: MediaType, A]: TypeCarrier[PostElement[MT, A]]
def Put[MT <: MediaType, A]: TypeCarrier[PutElement[MT, A]]
def Query[V]: PairTypeFromWitnessKey[QueryParam, V]
def ReqBody[MT <: MediaType, A]: TypeCarrier[ReqBodyElement[MT, A]]
def Segment[V]: PairTypeFromWitnessKey[SegmentParam, V]
object Server
implicit val deleteToStr: MethodToString[DeleteCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit val getToStr: MethodToString[GetCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit val postBodyToStr: MethodToString[PostWithBodyCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit val postToStr: MethodToString[PostCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit val putBodyToStr: MethodToString[PutWithBodyCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit val putToStr: MethodToString[PutCall] { val show: String }

Definition Classes
MethodToStringLowPrio
implicit def reqBodyForPost[MT <: MediaType, A, BMT <: MediaType, Bd]: MethodToReqBody[PostElement[MT, A], BMT, Bd] { type Out = typedapi.shared.PostWithBodyElement[BMT,Bd,MT,A] }

Definition Classes
MethodToReqBodyLowPrio
implicit def reqBodyForPut[MT <: MediaType, A, BMT <: MediaType, Bd]: MethodToReqBody[PutElement[MT, A], BMT, Bd] { type Out = typedapi.shared.PutWithBodyElement[BMT,Bd,MT,A] }

Definition Classes
MethodToReqBodyLowPrio

package dsl

Type Members

sealed trait ApiList[H <: HList] extends AnyRef

final case class ClientHeaderCollParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

final case class ClientHeaderElCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

final case class ClientHeaderParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

final case class FixedHeaderCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

sealed trait HeaderCons[H <: HList] extends HeaderOps[H] with MethodOps[H] with ApiList[H]

sealed trait HeaderOps[H <: HList] extends AnyRef

final case class InputHeaderCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

type Json = application/json.type

sealed trait MethodOps[H <: HList] extends AnyRef

final case class PathCons[H <: HList]() extends PathOps[H] with HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

sealed trait PathOps[H <: HList] extends AnyRef

type Plain = text/plain.type

final case class QueryCons[H <: HList]() extends HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

final case class SegmentCons[H <: HList]() extends PathOps[H] with HeaderOps[H] with MethodOps[H] with ApiList[H] with Product with Serializable

final case class ServerHeaderMatchParamCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

final case class ServerHeaderSendElCons[H <: HList]() extends HeaderCons[H] with Product with Serializable

final case class WithBodyCons[BMT <: MediaType, Bd, H <: HList]() extends ApiList[H] with Product with Serializable

Value Members

def :=: EmptyCons.type

object Client

def Delete[MT <: MediaType, A]: TypeCarrier[DeleteElement[MT, A]]

object EmptyCons extends PathOps[HNil] with HeaderOps[HNil] with MethodOps[HNil] with ApiList[HNil] with Product with Serializable

def Get[MT <: MediaType, A]: TypeCarrier[GetElement[MT, A]]

def Header: PairTypeFromWitnesses[FixedHeaderElement]

def Header[V]: PairTypeFromWitnessKey[HeaderParam, V]

val MT: shared.MediaTypes.type

val MediaTypes: shared.MediaTypes.type

def Post[MT <: MediaType, A]: TypeCarrier[PostElement[MT, A]]

def Put[MT <: MediaType, A]: TypeCarrier[PutElement[MT, A]]

def Query[V]: PairTypeFromWitnessKey[QueryParam, V]

def ReqBody[MT <: MediaType, A]: TypeCarrier[ReqBodyElement[MT, A]]

def Segment[V]: PairTypeFromWitnessKey[SegmentParam, V]

object Server

implicit val deleteToStr: MethodToString[DeleteCall] { val show: String }

implicit val getToStr: MethodToString[GetCall] { val show: String }

implicit val postBodyToStr: MethodToString[PostWithBodyCall] { val show: String }

implicit val postToStr: MethodToString[PostCall] { val show: String }

implicit val putBodyToStr: MethodToString[PutWithBodyCall] { val show: String }

implicit val putToStr: MethodToString[PutCall] { val show: String }

implicit def reqBodyForPost[MT <: MediaType, A, BMT <: MediaType, Bd]: MethodToReqBody[PostElement[MT, A], BMT, Bd] { type Out = typedapi.shared.PostWithBodyElement[BMT,Bd,MT,A] }

implicit def reqBodyForPut[MT <: MediaType, A, BMT <: MediaType, Bd]: MethodToReqBody[PutElement[MT, A], BMT, Bd] { type Out = typedapi.shared.PutWithBodyElement[BMT,Bd,MT,A] }

Inherited from MethodToStringLowPrio

Inherited from MethodToReqBodyLowPrio

Inherited from AnyRef

Inherited from Any

Ungrouped