typedapi.server.ExecutableCompositionDerivation
Restricts type of input parameter to a composition of functions defined by the precompile-stage.
Restricts type of input parameter to a composition of functions defined by the precompile-stage.
val Api = (:= :> Segment[String]('name) :> Get[User]) :|: (:= :> "foo" :> Segment[String]('name) :> Get[User]) val f0: String => IO[User] = name => IO.pure(User(name)) val f1: String => IO[User] = name => IO.pure(User(name)) deriveAll[IO](Api).from(f0 _, f1 _)