Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
#

refined

Here are 37 public repositories matching this topic...

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

  • UpdatedMar 5, 2025
  • Scala

🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

  • UpdatedJul 6, 2022
  • Scala
coulomb

💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

  • UpdatedJul 24, 2021
  • Haskell

Implementing a domain model using functional programming in Scala.

  • UpdatedNov 6, 2020
  • Scala

Purescript refinement types with runtime checking

  • UpdatedSep 17, 2022
  • PureScript
EntropyHub.jl

support for using refinement types with slick

  • UpdatedAug 12, 2024
  • Scala
stylish-hub

Port of Scala/Haskell Refined library to Idris

  • UpdatedApr 25, 2021
  • Idris

Automated case classes validation using refinement types and macros

  • UpdatedMay 5, 2024
  • Scala

Examples shown in my talk "Why types matter". See alsohttps://github.com/gvolpe/par-dual

  • UpdatedMay 16, 2020
  • Haskell

newtype and refinement (refined) type for Scala 3

  • UpdatedMar 3, 2025
  • Scala

Proper types for your domain

  • UpdatedDec 24, 2023
  • Kotlin

scala 3 & zio 2 & cats & http4s & doobie & circe & tapir & refined | simple crud app

  • UpdatedMar 21, 2022
  • Scala

Movie library service written in a functional way using Typelevel stack.

  • UpdatedApr 12, 2018
  • Scala

Improve this page

Add a description, image, and links to therefined topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with therefined topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp