refined topic
pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
coulomb
coulomb: unit analysis for Scala
pfps-examples
:izakaya_lantern: Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
shopping-cart-haskell
:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
phantom-types
Phantom types for Python.
slick-refined
support for using refinement types with slick
idris-refined
Port of Scala/Haskell Refined library to Idris
purescript-refined
Purescript refinement types with runtime checking
play-api-refiner
ddd-with-fp-in-scala
Implementing a domain model using functional programming in Scala.