tagless

Here are 13 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 Sep 19, 2022
Scala

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 Sep 22, 2022
Scala

typelevel / cats-tagless

Star

Library of utilities for tagless final encoded algebras

scala functional-programming tagless

Updated Sep 23, 2022
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

endless4s / endless

Star

Scala library to describe event sourced entities using tagless-final algebras

scala actors akka cqrs algebra functional-programming event-sourcing akka-actors akka-cluster tagless-final tagless

Updated Sep 22, 2022
Scala

biboudis / streamalg

Star

Extensible stream pipelines with object algebras.

java benchmark pipeline dsl iteration streams extensible-pipelines tagless

Updated Apr 30, 2015
Java

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 Jan 4, 2021
PureScript

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 Sep 23, 2022
Scala

gvolpe / tagless-final-demo

Star

monads tagless-final freestyle tagless

Updated Dec 8, 2017
Scala

pomadchin / tagless-derivation

Star

This project is an experimental playground to work on the cats-tagless macros migration to Scala 3.

scala functional-programming tagless

Updated Sep 5, 2022
Scala

iRevive / http4s-tagless-example

Star

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

scala http4s tagless cats-effect

Updated Mar 29, 2021
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