Type Members

1.  sealed trait ApiElement extends AnyRef
2.  trait ApiOp extends AnyRef
3.  trait ApiTransformer extends AnyRef

   Tranforms API type shape into five distinct types:

   Tranforms API type shape into five distinct types:

   • El: elements of the API (path elements, segment/query/header input placeholder, etc.)
   • KIn: expected input key types (from parameters)
   • VIn: expected input value types (from parameters)
   • M: method type
   • Out: output type

   val api: TypeCarrier[Get[Json, Foo] :: Segment["name".type, String] :: "find".type :: HNil] val trans: ("name".type :: SegmentInput :: HNil, "name".type :: HNil, String :: HNil], Field[Json, GetCall], Foo)

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

   Specific TypeCarrier for complete API types.

5.  sealed trait ClientHeader[K, V] extends ApiOp
6.  sealed trait ClientHeaderCollInput extends ApiOp
7.  sealed trait ClientHeaderCollParam[V] extends ApiElement

   Type-container providing a collection of headers (Map[String, V]) only used for the client.

8.  sealed trait ClientHeaderElement[K, V] extends ApiElement

   Type-container providing the name (singleton) and value type for a static header element only used for the client.

9.  sealed trait ClientHeaderInput extends ApiOp
10.  sealed trait ClientHeaderParam[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a header parameter only used for the client.

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

    Specific TypeCarrier for multiple API types.

12.  sealed trait DeleteCall extends MethodType
13.  sealed trait DeleteElement[MT <: MediaType, A] extends MethodElement

    Type-container representing a DELETE operation with a media-type and value type for the result.

14.  sealed trait FixedHeader[K, V] extends ApiOp
15.  sealed trait FixedHeaderElement[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a static header element.

16.  sealed trait GetCall extends MethodType
17.  sealed trait GetElement[MT <: MediaType, A] extends MethodElement

    Type-container representing a GET operation with a media-type and value type for the result.

18.  sealed trait HeaderInput extends ApiOp
19.  final case class HeaderListBuilder[H <: HList]() extends Product with Serializable

    Typecarrier to construct a set of headers from HeaderParams, FixedHeaderElements, ClientHeaderElements, ServerHeaderSendElements and [ServerHeaderMatchParam]]s.

20.  sealed trait HeaderParam[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a header parameter.

21.  trait MediaType extends AnyRef
22.  trait MediaTypes extends AnyRef
23.  trait MethodElement extends ApiElement
24.  trait MethodToReqBody[M <: MethodElement, MT <: MediaType, Bd] extends AnyRef

    Annotations

    @implicitNotFound( ... )

25.  trait MethodToReqBodyLowPrio extends AnyRef
26.  trait MethodToString[M <: MethodType] extends AnyRef

    Transforms a MethodType to a String.

    Transforms a MethodType to a String.

    Annotations

    @implicitNotFound( ... )

27.  trait MethodToStringLowPrio extends AnyRef
28.  trait MethodType extends ApiOp
29.  final class PairTypeFromWitnessKey[F[_, _], V] extends AnyRef

    Derive a TypeCarrier from a type parameter and a singleton type.

30.  final class PairTypeFromWitnesses[F[_, _]] extends AnyRef

    Derive a TypeCarrier from two singleton types.

31.  sealed trait PathElement[P] extends AnyRef

    Type-container providing the singleton-type of an static path element

32.  final case class PathListBuilder[P <: HList]() extends Product with Serializable

    Typecarrier to construct a complete path description from PathElements and SegmentParams.

33.  sealed trait PostCall extends MethodType
34.  sealed trait PostElement[MT <: MediaType, A] extends MethodElement

    Type-container representing a POST operation with a media-type and value type for the result.

35.  sealed trait PostWithBodyCall extends MethodType
36.  sealed trait PostWithBodyElement[BMT <: MediaType, Bd, MT <: MediaType, A] extends MethodElement

    Type-container representing a POST operation with a media-type and value type for the result and a body.

37.  sealed trait PutCall extends MethodType
38.  sealed trait PutElement[MT <: MediaType, A] extends MethodElement

    Type-container representing a PUT operation with a media-type and value type for the result.

39.  sealed trait PutWithBodyCall extends MethodType
40.  sealed trait PutWithBodyElement[BMT <: MediaType, Bd, MT <: MediaType, A] extends MethodElement

    Type-container representing a PUT operation with a media-type and value type for the result and a body.

41.  sealed trait QueryInput extends ApiOp
42.  final case class QueryListBuilder[Q <: HList]() extends Product with Serializable

    Typecarrier to construct a set of queries from QueryParams.

43.  sealed trait QueryParam[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a query parameter.

44.  sealed trait ReqBodyElement[MT <: MediaType, A] extends ApiElement

    Type-container providing the media-type and value type for a request body.

45.  sealed trait SegmentInput extends ApiOp
46.  sealed trait SegmentParam[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a path parameter.

47.  sealed trait ServerHeaderMatchInput extends ApiOp
48.  sealed trait ServerHeaderMatchParam[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type describing a sub-string headers have to match only used for the server.

49.  sealed trait ServerHeaderSend[K, V] extends ApiOp
50.  sealed trait ServerHeaderSendElement[K, V] extends ApiElement

    Type-container providing the name (singleton) and value type for a static header element sent by server.

51.  final case class TypeCarrier[A]() extends Product with Serializable

    As the name says this case class is only there it pass types around on the value level.

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

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

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

55.  trait TypeLevelFoldLeftListLowPrio extends AnyRef
56.  trait TypeLevelFoldLeftLowPrio extends AnyRef
57.  sealed trait WitnessToString[K] extends AnyRef

    Annotations

    @implicitNotFound( ... )

58.  trait WitnessToStringLowPrio extends AnyRef