Type Members

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

4.  final case class ApiTypeCarrier[H <: HList]() extends Product with Serializable

   A final element is a method describing the request type.

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

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

6.  sealed trait DeleteCall extends ApiOp
7.  final case class DeleteElement[A]() extends MethodElement with Product with Serializable
8.  sealed trait FoldResultEvidence[Fold] extends AnyRef
9.  trait FoldResultEvidenceLowPrio extends AnyRef
10.  sealed trait GetCall extends ApiOp
11.  final case class GetElement[A]() extends MethodElement with Product with Serializable
12.  final class HeaderHelper[A] extends AnyRef
13.  sealed trait HeaderInput extends ApiOp
14.  sealed trait HeaderList[H <: HList] extends AnyRef
15.  final case class HeaderListCons[H <: HList]() extends HeaderList[H] with Product with Serializable
16.  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

17.  sealed trait MethodElement extends ApiElement
18.  sealed trait MethodToReqBody[M <: MethodElement, Bd] extends AnyRef

    Annotations

    @implicitNotFound( ... )

19.  trait MethodToReqBodyLowPrio extends AnyRef
20.  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

21.  sealed trait PathList[P <: HList] extends AnyRef
22.  final case class PathListCons[P <: HList]() extends PathList[P] with Product with Serializable
23.  sealed trait PostCall extends ApiOp
24.  final case class PostElement[A]() extends MethodElement with Product with Serializable
25.  sealed trait PostWithBodyCall[Bd] extends ApiOp
26.  final case class PostWithBodyElement[Bd, A]() extends MethodElement with Product with Serializable
27.  sealed trait PutCall extends ApiOp
28.  final case class PutElement[A]() extends MethodElement with Product with Serializable
29.  sealed trait PutWithBodyCall[Bd] extends ApiOp
30.  final case class PutWithBodyElement[Bd, A]() extends MethodElement with Product with Serializable
31.  final class QueryHelper[A] extends AnyRef
32.  sealed trait QueryInput extends ApiOp
33.  sealed trait QueryList[Q <: HList] extends AnyRef
34.  final case class QueryListCons[Q <: HList]() extends QueryList[Q] with Product with Serializable
35.  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

36.  final case class RawHeaderCons[H <: HList]() extends HeaderList[H] with Product with Serializable
37.  sealed trait RawHeadersInput extends ApiOp
38.  final case class ReqBodyElement[A]() extends ApiElement with Product with Serializable

    Request body type description.

39.  final class SegmentHelper[A] extends AnyRef
40.  sealed trait SegmentInput extends ApiOp
41.  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

42.  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( ... )

43.  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( ... )

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

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

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

    Annotations

    @implicitNotFound( ... )

45.  trait TypeLevelFoldLeftListLowPrio extends AnyRef
46.  trait TypeLevelFoldLeftLowPrio extends AnyRef