Phantom types for Python.
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
newtype and refinement (refined) type for Scala 3
Dependently-typed range-checked numbers for Scala
Domain-specific refined types for Rust.
Introduction into fs2, newtype and refined types.
Experiments with Spotify API
Using Scala to consume Github API
An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings
A type-safe, Codable struct for prefixed types
Add a description, image, and links to the refined-types topic page so that developers can more easily learn about it.
To associate your repository with the refined-types topic, visit your repo's landing page and select "manage topics."