Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3
https://github.com/kevin-lee/refined4s

functional-programming newtype refined refined-types refinement refinement-types scala

Last synced: 23 days ago
JSON representation

newtype and refinement (refined) type for Scala 3

Host: GitHub
URL: https://github.com/kevin-lee/refined4s
Owner: kevin-lee
License: mit
Created: 2023-04-23T14:41:28.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2024-04-13T14:15:48.000Z (7 months ago)
Last Synced: 2024-04-14T04:43:27.302Z (7 months ago)
Topics: functional-programming, newtype, refined, refined-types, refinement, refinement-types, scala
Language: Scala
Homepage: https://refined4s.kevinly.dev
Size: 3.17 MB
Stars: 7
Watchers: 3
Forks: 1
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: changelogs/0.1.0.md
- License: LICENSE

Awesome Lists containing this project

README

        # refined4s

[![Build Status](https://github.com/kevin-lee/refined4s/workflows/Build-All/badge.svg)](https://github.com/kevin-lee/refined4s/actions?workflow=Build-All)

[![Release Status](https://github.com/kevin-lee/refined4s/workflows/Release/badge.svg)](https://github.com/kevin-lee/refined4s/actions?workflow=Release)

[![Latest version](https://index.scala-lang.org/kevin-lee/refined4s/latest.svg)](https://index.scala-lang.org/kevin-lee/refined4s)

![Refined4s Logo](https://refined4s.kevinly.dev/img/refined4s-400x400.png)

Newtypes and Refinement types for Scala 3

|                 Project | Maven Central                                                                                                                                                                                 |

|------------------------:|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|

|          refined4s-core | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-core_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-core_3)                   |

|          refined4s-cats | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-cats_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-cats_3)                   |

|         refined4s-circe | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-circe_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-circe_3)                 |

|    refined4s-pureconfig | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-pureconfig_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-pureconfig_3)       |

|    refined4s-doobie-ce2 | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce2_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce2_3)       |

|    refined4s-doobie-ce3 | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-doobie-ce3_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-doobie-ce3_3)       |

| refined4s-extras-render | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-extras-render_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-extras-render_3) |

|         refined4s-tapir | [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.kevinlee/refined4s-tapir_3/badge.svg)](https://search.maven.org/artifact/io.kevinlee/refined4s-tapir_3)                 |

Check out the doc site

[https://refined4s.kevinly.dev](https://refined4s.kevinly.dev)