Type Members

1.  sealed trait ApiElement extends AnyRef
2.  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

3.  sealed trait ApiListWithOps[H <: HList] extends ApiList[H]

   Basic operations.

4.  sealed trait ApiOp extends AnyRef
5.  trait ApiTransformer extends AnyRef

   Separates uri, input description and out type from ApiList.

   Separates uri, input description and out type from ApiList. Example: val api: FinalCons[Get[Foo] :: Segment["name".type, String] :: "find".type :: HNil] = := :> "find" :> Segment[String]('name) :> Get[Foo] val trans: ("name".type :: SegmentInput :: HNil, FieldType['name.type, String :: HNil], Foo)

6.  final case class CompositionCons[H <: HList]() extends ApiList[H] with Product with Serializable

   Compose multiple type level api descriptions in a HList of HLists.

7.  sealed trait DeleteCall extends ApiOp
8.  final case class DeleteElement[A]() extends ApiElement with Product with Serializable
9.  final case class FinalCons[H <: HList]() extends ApiList[H] with Product with Serializable

   A final element is a method describing the request type.

10.  sealed trait FoldResultEvidence[Fold] extends AnyRef
11.  trait FoldResultEvidenceLowPrio extends AnyRef
12.  sealed trait GetCall extends ApiOp
13.  final case class GetElement[A]() extends ApiElement with Product with Serializable
14.  final case class HeaderCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

    Last set element is a header.

15.  final class HeaderHelper[A] extends AnyRef
16.  sealed trait HeaderInput extends ApiOp
17.  final case class HeaderParam[S <: Symbol, A](name: Lt[S]) extends ApiElement with Product with Serializable

    Header which represents its key as singleton type and describes the value type.

    Header which represents its key as singleton type and describes the value type.

    name

    header key

18.  final case class PathCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

    Last set element is a path.

19.  final case class PathElement[S](wit: Lt[S]) extends ApiElement with Product with Serializable

    Static path element represented as singleton type.

    Static path element represented as singleton type.

    wit

    singleton type of static path element

20.  sealed trait PostCall extends ApiOp
21.  final case class PostElement[A]() extends ApiElement with Product with Serializable
22.  sealed trait PostWithBodyCall[Bd] extends ApiOp
23.  final case class PostWithBodyElement[Bd, A]() extends ApiElement with Product with Serializable
24.  sealed trait PutCall extends ApiOp
25.  final case class PutElement[A]() extends ApiElement with Product with Serializable
26.  sealed trait PutWithBodyCall[Bd] extends ApiOp
27.  final case class PutWithBodyElement[Bd, A]() extends ApiElement with Product with Serializable
28.  final case class QueryCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

    Last set element is a query parameter.

29.  final class QueryHelper[A] extends AnyRef
30.  sealed trait QueryInput extends ApiOp
31.  final case class QueryParam[S <: Symbol, A](name: Lt[S]) extends ApiElement with Product with Serializable

    Query parameter which represents its key as singleton type and describes the value type.

    Query parameter which represents its key as singleton type and describes the value type.

    name

    query key

32.  final case class RawHeadersCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

    Last set element is a header.

33.  sealed trait RawHeadersInput extends ApiOp
34.  final case class ReqBodyElement[A]() extends ApiElement with Product with Serializable

    Request body type description.

35.  final case class SegmentCons[H <: HList]() extends ApiListWithOps[H] with Product with Serializable

    Last set element is a segment.

36.  final class SegmentHelper[A] extends AnyRef
37.  sealed trait SegmentInput extends ApiOp
38.  final case class SegmentParam[S <: Symbol, A](name: Lt[S]) extends ApiElement with Product with Serializable

    Dynamically set segment within an URI which has a unique name to reference it on input.

    Dynamically set segment within an URI which has a unique name to reference it on input.

    name

    unique name reference

39.  sealed trait TypeLevelFoldFunction[In, Agg] extends AnyRef

    Reimplements shapeles Case2 but on the type level (no real HList instance)

    Reimplements shapeles Case2 but on the type level (no real HList instance)

    Annotations

    @implicitNotFound( ... )

40.  sealed trait TypeLevelFoldLeft[H <: HList, Agg] extends Serializable

    Reimplements shapeless LeftFolder but on the type level (no real HList instance)

    Reimplements shapeless LeftFolder but on the type level (no real HList instance)

    Annotations

    @implicitNotFound( ... )

41.  trait TypeLevelFoldLeftList[H <: HList] extends AnyRef

    Helper to work on a composition of HLists we want to fold over.

42.  trait TypeLevelFoldLeftListLowPrio extends AnyRef
43.  trait TypeLevelFoldLeftLowPrio extends AnyRef
44.  final case class WithBodyCons[Bd, H <: HList]() extends ApiList[H] with Product with Serializable

    Last set element is a request body.