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: 3 months 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 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-29T12:34:26.000Z (12 months ago)
• Last Synced: 2024-10-29T13:33:15.643Z (12 months ago)
• Topics: functional-programming, newtype, refined, refined-types, refinement, refinement-types, scala
• Language: Scala
• Homepage: https://refined4s.kevinly.dev
• Size: 3.25 MB
• Stars: 10
• Watchers: 3
• Forks: 2
• Open Issues: 3
• 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)

![GitHub Release Date](https://img.shields.io/github/release-date/kevin-lee/refined4s?logo=github)

![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-core_3)

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

[![Hits](https://hits.sh/github.com/kevin-lee/refined4s.svg)](https://hits.sh/github.com/kevin-lee/refined4s/)

[![codecov](https://codecov.io/gh/kevin-lee/refined4s/graph/badge.svg?token=eRXmN9YMzk)](https://codecov.io/gh/kevin-lee/refined4s)

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

Newtypes and Refinement types for Scala 3

Check out the doc site

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

|                 Project | Maven Central                                                                                          |

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

|          refined4s-core | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-core_3)          |

|          refined4s-cats | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-cats_3)          |

|       refined4s-chimney | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-chimney_3)       |

|         refined4s-circe | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-circe_3)         |

|    refined4s-pureconfig | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-pureconfig_3)    |

|    refined4s-doobie-ce2 | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-doobie-ce2_3)    |

|    refined4s-doobie-ce3 | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-doobie-ce3_3)    |

| refined4s-extras-render | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-extras-render_3) |

|         refined4s-tapir | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-tapir_3)         |

|       refined4s-chimney | ![Maven Central Version](https://img.shields.io/maven-central/v/io.kevinlee/refined4s-chimney_3)       |

[![Scala.js](https://www.scala-js.org/assets/badges/scalajs-1.16.0.svg)](https://www.scala-js.org)

Refined4s supports Scala.js.

***

## Test Coverage

### Test Coverage Sunburst

[![Test Coverage Sunburst](https://codecov.io/gh/kevin-lee/refined4s/graphs/sunburst.svg?token=eRXmN9YMzk)](https://app.codecov.io/gh/kevin-lee/refined4s)

### Test Coverage Grid

[![Test Coverage Grid](https://codecov.io/gh/kevin-lee/refined4s/graphs/tree.svg?token=eRXmN9YMzk)](https://app.codecov.io/gh/kevin-lee/refined4s)

### Test Coverage Icicle

[![Test Coverage Icicle](https://codecov.io/gh/kevin-lee/refined4s/graphs/icicle.svg?token=eRXmN9YMzk)](https://app.codecov.io/gh/kevin-lee/refined4s)