Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
-
Updated
Dec 14, 2016 - Haskell
Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
Like `implicitly` but for _all_ context-bound typeclass instances, automatically.
A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
Reasonable API for serving TensorFlow models using Scala
Prisoner's Dilemma game engine implemented using Cats Free Monad and Freestyle
Tiny & funcitonal event sourcing library for Scala
Sample full-stack app / blueprint (Scala backend & Elm, Vue.js, Twirl frontends)
An example of how to create services using tagless final
An implementation of a CQRS/ES system using functional FP in scala.
Movie library service written in a functional way using Typelevel stack.
Tagless Final style of JSON DSL
Transform and compose tagless final encoded algebras in scala
FS2 bindings for the Kinesis Producer Library
Add a description, image, and links to the tagless-final topic page so that developers can more easily learn about it.
To associate your repository with the tagless-final topic, visit your repo's landing page and select "manage topics."