refined-types

There are 0 repository under refined-types topic.

• antonagestam / phantom-types

  Phantom types for Python.

  phantom-typesstatic-analysismypypythonstatic-typingtypingrefined-typesrefinement-typesrefinedpython3validation
  Language:Python 183

• kevin-lee / refined4s

  newtype and refinement (refined) type for Scala 3

  functional-programmingnewtyperefinedrefined-typesrefinementrefinement-typesscala
  Language:Scala 7

• mtumilowicz / scala-zio2-fs2-refined-newtype-workshop

  Introduction into fs2, newtype and refined types.

  functional-languagefunctional-programmingfunctional-programming-examplesnewtypepurely-functionalrefined-typesscalaworkshopworkshop-materialsworkshopsziozio2
  Language:Scala 3

• programaker / Spotification

  Experiments with Spotify API

  catscircedockerfunctional-programminghttp4snewtypepureconfigrefined-typessbt-native-packagerspotify-apizio
  Language:Scala 2

• programaker / Octogato

  Using Scala to consume Github API

  scala3functional-programmingcatscats-effectrefined-typesgithub-api
  Language:Scala 1
• cardinality

  propensive / cardinality

  Dependently-typed range-checked numbers for Scala

  dependent-typesrefined-typesscalastatic-checkstypesafe
  Language:Scala 1

• kubum / liquid-cuckoo-filter

  An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings

  cuckoo-filterliquidhaskellrefined-types
  Language:Haskell 0

• RemiBardon / swift-prefixed-type

  A type-safe, Codable struct for prefixed types

  swiftswift-package-managercodableuuidtestslightweightprefixprefixedrefinedrefined-types
  Language:Swift 0

• a-nigredo / misc

  scalabson-documentvalidationrefined-typesmacrostypelevel-programming
  Language:Scala

• hermannhueck / exploring-refined-types

  Exploring Refined Types

  refined-typesscala
  Language:Scala

• tbidne / refined-extras

  Extra functionality for Haskell refined types.

  haskellrefined-types
  Language:Haskell