Smithy4s-ZIO
Introduction
-
A few small libs based off the great Smithy4s to enable integration with ZIO ecosystem.
Keep in mind this is WIP
Credits
- This project is based completely off the http4s integration in Smithy4s.
Protocol Compliant
- This library is protocol compliant with the Alloy#SimpleRestJson protocol
- To read more about protocol in this context please see What is a Protocol
Compliance Tests - wip
- This project is tested using the Smithy Protocol Compliance Tests for the
alloy#simpleRestJson
protocol. - Currently all Server tests pass
Published Modules
-
Http for the ZIO Http library
- ZIO Http Client and Server implementations for the
alloy#simpleRestJsonProtocol
- ZIO Http Client and Server implementations for the
-
Prelude for the ZIO Prelude library
- Automatic derivation of the following Typeclasses for Smithy4s generated schemas
- Debug
- Hash
- Equals
-
Schema for ZIO Schema library - WIP
- a Natural Transformation from Smithy4s Schema to a ZIO Schema
Notes
- This doc assumes an understanding of Smithy and Smithy4s. For all questions related to Smithy4s and the core concepts please see the Smithy4s documentation and the Smithy documentation.
Usage
This library is currently available for Scala binary versions 2.13 and 3.1.
To use the latest version, include the following in your build.sbt
:
libraryDependencies ++= Seq(
"io.github.yisraelu" %% "smithy4s-zio-http" % "0.0.5"
)
The snapshot version is available via the Sonatype snapshots repository: 0.0.5-12-98a7438-SNAPSHOT.
Http Server and Client Quickstart (borrows from Smithy4s example)
Below is a quick example of smithy4s in action. This page does not provide much explanation or detail. For more information on various aspects of smithy4s, read through the other sections of this documentation site.
This section will get you started with a simple sbt
module that enables smithy4s code generation.
project/plugins.sbt
Add the smithy4s-sbt-codegen
plugin to your build.
addSbtPlugin("com.disneystreaming.smithy4s" % "smithy4s-sbt-codegen" % "<version>")
build.sbt
Enable the plugin in your project, add the smithy and zio-http dependencies.
import smithy4s.codegen.Smithy4sCodegenPlugin
val example = project
.in(file("modules/example"))
.enablePlugins(Smithy4sCodegenPlugin)
.settings(
libraryDependencies ++= Seq(
"io.github.yisraelu" %% "smithy4s-zio-http" % "0.0.5"
)
)
Smithy content
Now is the time to add some Smithy shapes to see what code generation can do for you. Following the setup above, the location for the Smithy content will change depending on what build tool you used.
Now let's define an API in Smithy. Create the following file:
- You'll write in
modules/example/src/main/smithy/ExampleService.smithy
.
And add the content below:
namespace smithy4s.hello
use alloy#simpleRestJson
@simpleRestJson
service HelloWorldService {
version: "1.0.0",
operations: [Hello]
}
@http(method: "POST", uri: "/{name}", code: 200)
operation Hello {
input: Person,
output: Greeting
}
structure Person {
@httpLabel
@required
name: String,
@httpQuery("town")
town: String
}
structure Greeting {
@required
message: String
}
The Scala code corresponding to this smithy file will be generated the next time you compile your project.
Using the generated code
Now, let's use the generated code by the service. You need to create a scala file at the following location:
modules/example/src/main/scala/Main.scala
Implement your service by extending the generated Service trait. Wire up routes into server.
import example.hello._
import zio.{Task, ZIO,ZIOAppDefault, ExitCode, URIO}
import zio.http._
import com.comcast.ip4s._
import smithy4s.zio.http.SimpleRestJsonBuilder
object HelloWorldImpl extends HelloWorldService[Task] {
def hello(name: String, town: Option[String]): Task[Greeting] = ZIO.succeed {
town match {
case None => Greeting(s"Hello $name!")
case Some(t) => Greeting(s"Hello $name from $t!")
}
}
}
object Main extends ZIOAppDefault {
val port = Port.fromInt(9000).get
val app:Task[Routes[Any,Response]] = {
for {
_ <- zio.Console.printLine(s"Starting server on http://localhost:$port")
routes <- SimpleRestJsonBuilder
.routes(HelloWorldImpl)
.lift
app = routes.sandbox
} yield app
}
override def run: URIO[Any, ExitCode] = {
app
.flatMap(Server.serve(_).provide(Server.defaultWithPort(port.value)))
.exitCode
}
}
Run Service
- for sbt:
sbt "example/run"
Client Example
You can also generate a client using smithy4s.
import example.hello._
import smithy4s.zio.http._
import zio.http.{Client, URL}
import zio.{Scope, ZIO, ZIOAppArgs, ZIOAppDefault}
object ClientImpl extends ZIOAppDefault {
private val helloWorldClient: ZIO[Client, Throwable, HelloWorldService[ResourcefulTask]] = {
for {
url <- ZIO.fromEither(URL.decode("http://localhost:9000"))
client <- ZIO.service[Client]
helloClient <- SimpleRestJsonBuilder(HelloWorldService)
.client(client)
.url(url)
.lift
} yield helloClient
}
val program = helloWorldClient.flatMap(c =>
c.hello("Sam", Some("New York City"))
.flatMap(greeting => zio.Console.printLine(greeting.message))
)
override def run: ZIO[Any & ZIOAppArgs & Scope, Any, Any] =
program.exitCode.provide(Client.default, Scope.default)
}