GitHub topics: opaque-type
propensive/gossamer
Lightweight and typesafe strings in Scala
Language: Scala - Size: 5.58 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
lorandszakacs/sprout 📦
Opaque type encoding for convenient new types, and boilerplate minimization of integration with 3rd party libraries like circe, http4s, doobie, skunk, etc.
Language: Scala - Size: 182 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1
kuzalekon/type-brandy
:wine_glass: Nominal typing for TypeScript
Language: TypeScript - Size: 235 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0
lue-bird/elm-review-opaque-type
forbid `type`s that are exposed without variants
Language: Elm - Size: 86.9 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
eythaann/readable-types
A utility library for do more easy works with generics in typescript.
Language: TypeScript - Size: 736 KB - Last synced at: about 15 hours ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
catseye/define-opaque
MIRROR of https://codeberg.org/catseye/define-opaque : R5RS Scheme macro for defining opaque datatypes
Language: Scheme - Size: 6.84 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
FlorianWolters/NamedType Fork of joboccara/NamedType
Type-safe strong type (named type / opaque type) C++ library.
Language: C++ - Size: 177 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
