dsl

sealed trait ApiList[H <: HList] extends AnyRef

Type level api representation encoded as HList.
Type level api representation encoded as HList. This wrapper is used to encapsulate shapeless code and enforces api structure: path -> all segment -> all query -> [query, header, body, method] header -> [header, body, method] body -> [method] method -> nothing
sealed trait ApiListWithOps[H <: HList] extends ApiList[H]

Basic operations.
final case class HeaderCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

Last set element is a header.
final case class PathCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

Last set element is a path.
final case class QueryCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

Last set element is a query parameter.
final case class RawHeadersCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

Last set element is a header.
final case class SegmentCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

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

Last set element is a request body.

def :=: EmptyCons.type
def Delete[A]: DeleteElement[A]
object EmptyCons extends ApiListWithOps[HNil] with Product with Serializable

Initial element with empty api description.
def Get[A]: GetElement[A]
def Header[A]: HeaderHelper[A]
def Path[S](wit: Lt[S]): PathElement[S]
def Post[A]: PostElement[A]
def PostWithBody[Bd, A]: PostWithBodyElement[Bd, A]
def Put[A]: PutElement[A]
def PutWithBody[Bd, A]: PutWithBodyElement[Bd, A]
def Query[A]: QueryHelper[A]
val RawHeaders: RawHeadersParam.type
def ReqBody[A]: ReqBodyElement[A]
def Segment[A]: SegmentHelper[A]