newtype and refinement (refined) type for Scala 3
-
Updated
May 25, 2024 - Scala
newtype and refinement (refined) type for Scala 3
coulomb: unit analysis for Scala
🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
An open-source toolkit for entropic data analysis
A few extra tools
Automated case classes validation using refinement types and macros
🏷 Make your GitLab experience better! read-only mirror from https://gitlab.com/kiprasmel/refined-gitlab
Phantom types for Python.
Proper types for your domain
A type-safe, Codable struct for prefixed types
Cats effect Decline (Composable command-line parsing for Scala) example
Purescript refinement types with runtime checking
🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
Une extension web pour rendre le système de filtres des animes pleinement fonctionnel sur Neko-Sama.fr
Add a description, image, and links to the refined topic page so that developers can more easily learn about it.
To associate your repository with the refined topic, visit your repo's landing page and select "manage topics."