phantom-types
There are 17 repositories under phantom-types topic.
antonagestam/phantom-types
Phantom types for Python.
justinwoo/vidtracker
A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally
Octachron/rational_in_types
Type-level rational puzzles in OCaml
nerdsupremacist/Protected
Experimental API for Reads and Writes protected via Phantom types
mrkkrp/tagged-identity
Trivial monad transformer that allows identical monad stacks have different types
chris-martin/multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter
HirotoShioi/PhantomType
Example of PhantomType
likeinlife/light-types
Create types that respect the invariant. "Parse, don't validate"
askmrsinh/typed-ghgraphql
Typesafe Github GraphQL API client.
mayankrastogi/functional-command-executor
A functional, type-safe framework for executing Linux commands from Scala programs.
samujjwaal/typed-ghgraphql
Typesafe Github GraphQL Client
Vincibean/config-talk
This Is Not The Configuration Talk You Are Looking For
DmytroMitin/shapeless
Generic programming for Scala
emilien-io/swift-phantom-type-example
In this project, we are trying to demonstrate the power of phantom types. Based on a class custom type, we show how we could handle generic bank transfers to local account (USD to USD) and specific transfers (USD to EUR) while adding type-checks at compile time.
DmytroMitin/shapeless-circe-patched-type-keytag
https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Vincibean/config-talk-code
Code examples used in my talk "This Is Not The Configuration Talk You Are Looking For"