newtypes

Here are 9 public repositories matching this topic...

gvolpe / pfps-shopping-cart

Star

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

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

Updated Jul 31, 2021
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 31, 2021
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

zionlang / zion

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 Jan 13, 2021
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

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

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

braunse / eso

Star

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

rust references lifetimes newtypes

Updated May 22, 2021
Rust

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

Improve this page

Add a description, image, and links to the newtypes topic page so that developers can more easily learn about it.

Curate this topic

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