shared

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.