Skip to content

Get rid of := :>  #2

Open
Open
@pheymann

Description

@pheymann

I had to use some initial empty state to guarantee that "path" is translated into a Witness. Why? Because an extension of String using implicit class was not able to derive a Witness, as Scala/Shapeless is not able to proof that the given String is a literal/singleton.

Another way could be to change the associativity (:>: instead of :>) and create GetCons, PutCons, ... as initial states with an empty HList type. Thus, we should be able to write:

val Api = "find" :>: Segment[String]('name) :>: Get[User]

Metadata

Metadata

Assignees

No one assigned

    Labels

    UXuser experience (dal, api)

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions