newtypes

Here are 12 public repositories matching this topic...

gvolpe / pfps-shopping-cart

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

cats scala functional-programming book http4s fs2 fp typeclasses refined tagless-final finally-tagless tagless skunk cats-effect typeclass-derivation newtypes

Updated Sep 13, 2026
Scala

gvolpe / pfps-examples

Star

🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

cats functional-programming fs2 fp monocle refined cats-effect cats-mtl newtypes

Updated Jul 6, 2022
Scala

gvolpe / shopping-cart-haskell

Star

💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

http functional-programming servant postgresql refined newtypes

Updated Jul 24, 2021
Haskell

wbbradley / ace

Star

A statically-typed strictly-evaluated garbage-collected readable programming language.

programming-language compiler llvm ffi lambda-calculus typeclass polymorphism type-safety hindley-milner zion static-typing system-f llvm-compiler garbage-collect newtypes

Updated Jul 8, 2024
C++

Tvaroh / tagged-types

Star

Zero-dependency boilerplate-free tagged types for Scala

scala tagged tagged-types type-tagging newtypes

Updated Apr 9, 2021
Scala

MarcelineVQ / idris2-elab-deriving

Star

implementation deriving for idris2

library reflection interface lib idris implementation deriving elaboration idris-ecosystem elab newtypes idris2 idris2-ecosystem

Updated Feb 21, 2021
Idris

gvolpe / types-matter

Star

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

haskell types refinement-types refined newtypes

Updated May 16, 2020
Haskell

manufacturist / newtypes-tapir-example

Sponsor

Star

Proof of concept for monix/newtypes and Tapir integration

cats scala http4s monix busymachines tapir cats-effect newtypes

Updated Oct 18, 2022
Scala

dabliuw22 / prueba-s4n-haskell

Star

monads haskell functional-programming prism dsl file functor conduit lens concurrent optics applicative-functors newtypes

Updated May 27, 2021
Haskell

braunse / eso

Star

Type-level building blocks for making Cow-like containers in Rust

rust references lifetimes newtypes

Updated May 22, 2021
Rust

sagoez / practical-fp-in-scala-playground

Star

The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

cats redis postgresql fs2 fp skunk cats-effect newtypes

Updated Jan 7, 2022
Scala

AmbientTea / taggables

Star

Tagged types à rebours for Rust.

type-safety tagged-types newtypes

Updated Sep 3, 2026
Rust

Add this topic to your repo

To associate your repository with the newtypes topic, visit your repo's landing page and select "manage topics."

Learn more