finally-tagless

There are 1 repository under finally-tagless topic.

pauljamescleary / scala-pet-store
An implementation of the java pet store using FP techniques in scala
scala tagless-final reference circe http4s rest doobie typelevel rest-api cats tagless final finally-tagless example sample project
Language:Scala 1054
gvolpe / pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
cats cats-effect finally-tagless fp fs2 functional-programming http4s newtypes refined skunk tagless tagless-final typeclass-derivation typeclasses
Language:Scala 519
lloydmeta / diesel
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
cats dsl finally-tagless higher-kinded-types macros scala scalameta scalaz tagless-final typed-final
Language:Scala 109
kevin-lee / logger-f
logger-f, Logger for F[_]
scala functional-programming fp logger tagless tagless-final finally-tagless higher-kinded-types typeclass type-class
Language:Scala 10
kevin-lee / effectie
A Tool for FP Effect Libraries
scala functional-programming fp effect cats cats-effect io-monad referential-transparency tagless-final finally-tagless
Language:Scala 9
mr-calvert / flightready
Finally tagless/Free integrations; stdio for FP Scala!
functional-programming scala finally-tagless free-monad
Language:Scala 2