shared

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 ClientHeaderElement[K, V] extends ApiElement

   

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

7. sealed trait ClientHeaderInput extends ApiOp

   

8. 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.

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

   

   Specific TypeCarrier for multiple API types.

10. sealed trait DeleteCall extends MethodType

    

11. sealed trait DeleteElement[MT <: MediaType, A] extends MethodElement

    

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

12. sealed trait FixedHeader[K, V] extends ApiOp

    

13. sealed trait FixedHeaderElement[K, V] extends ApiElement

    

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

14. sealed trait GetCall extends MethodType

    

15. sealed trait GetElement[MT <: MediaType, A] extends MethodElement

    

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

16. sealed trait HeaderInput extends ApiOp

    

17. 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.

18. sealed trait HeaderParam[K, V] extends ApiElement

    

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

19. trait MediaType extends AnyRef

    

20. trait MediaTypes extends AnyRef

    

21. trait MethodElement extends ApiElement

    

22. trait MethodToReqBody[M <: MethodElement, MT <: MediaType, Bd] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

23. trait MethodToReqBodyLowPrio extends AnyRef

    

24. trait MethodToString[M <: MethodType] extends AnyRef

    

    Transforms a MethodType to a String.

    Transforms a MethodType to a String.

    Annotations

    @implicitNotFound( ... )

25. trait MethodToStringLowPrio extends AnyRef

    

26. trait MethodType extends ApiOp

    

27. final class PairTypeFromWitnessKey[F[_, _], V] extends AnyRef

    

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

28. final class PairTypeFromWitnesses[F[_, _]] extends AnyRef

    

    Derive a TypeCarrier from two singleton types.

29. sealed trait PathElement[P] extends AnyRef

    

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

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

    

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

31. sealed trait PostCall extends MethodType

    

32. sealed trait PostElement[MT <: MediaType, A] extends MethodElement

    

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

33. sealed trait PostWithBodyCall extends MethodType

    

34. 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.

35. sealed trait PutCall extends MethodType

    

36. sealed trait PutElement[MT <: MediaType, A] extends MethodElement

    

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

37. sealed trait PutWithBodyCall extends MethodType

    

38. 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.

39. sealed trait QueryInput extends ApiOp

    

40. final case class QueryListBuilder[Q <: HList]() extends Product with Serializable

    

    Typecarrier to construct a set of queries from QueryParams.

41. sealed trait QueryParam[K, V] extends ApiElement

    

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

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

    

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

43. sealed trait SegmentInput extends ApiOp

    

44. sealed trait SegmentParam[K, V] extends ApiElement

    

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

45. sealed trait ServerHeaderMatchInput extends ApiOp

    

46. 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.

47. sealed trait ServerHeaderSend[K, V] extends ApiOp

    

48. sealed trait ServerHeaderSendElement[K, V] extends ApiElement

    

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

49. 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.

50. 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( ... )

51. 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( ... )

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

53. trait TypeLevelFoldLeftListLowPrio extends AnyRef

    

54. trait TypeLevelFoldLeftLowPrio extends AnyRef

    

55. sealed trait WitnessToString[K] extends AnyRef

    

    Annotations

    @implicitNotFound( ... )

56. trait WitnessToStringLowPrio extends AnyRef