shared

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