tagless

Here are 9 public repositories matching this topic...

pauljamescleary / scala-pet-store

An implementation of the java pet store using FP techniques in scala

cats sample scala rest reference rest-api example final typelevel http4s project circe doobie tagless-final finally-tagless tagless

Updated Aug 1, 2020
Scala

typelevel / cats-tagless

Star

Library of utilities for tagless final encoded algebras

scala functional-programming tagless

Updated Jul 29, 2020
Scala

kailuowang / mainecoon

Star

Transform and compose tagless final encoded algebras in scala

scala functional-programming final metaprogramming tagless-final tagless

Updated Jul 17, 2018
Scala

hermannhueck / tagless-final

Star

tagless-final

java haskell scala algebra final adt tagless-final tagless

Updated May 9, 2018
Scala

jonas-schievink / untagged-option

Star

An unsafe Option<T> without a discriminant

embedded optional tagless

Updated Nov 9, 2019
Rust

Kamirus / purescript-functional-concepts

Star

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

church-encoding gadt higher-order-functions typeclasses exists tagless row-polymorphism leibniz-equality gadts eadt

Updated Mar 23, 2020
PureScript

iRevive / http4s-tagless-example

Star

The HTTP service built on top of typelevel stack: cats-effect, http4s

scala http4s tagless cats-effect

Updated Aug 2, 2020
Scala

Kevin-Lee / logger-f

Star

logger-f, Logger for F[_]

scala functional-programming logger fp typeclass type-class tagless-final finally-tagless higher-kinded-types tagless

Updated Aug 1, 2020
Scala

gvolpe / tagless-final-demo

Star

monads tagless-final freestyle tagless

Updated Dec 8, 2017
Scala

Improve this page

Add a description, image, and links to the tagless 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 tagless topic, visit your repo's landing page and select "manage topics."

Learn more