GitHub topics: tagless-final
battermann/algebraic-design-sample
Language: Scala - Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
leetoo/twm Fork of hcwilhelm/twm
My implementation of Pawel Szulc trip-with-monads just using cats and cats-mtl
Language: Scala - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
kubukoz/classy-playground
A playground project for examples of using MTL with classy lenses
Language: Scala - Size: 7.81 KB - Last synced at: about 12 hours ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
acme-software/typemailer
TypeMailer - An E-Mail Library for Scala with multiple Backends
Language: Scala - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
lpld/tf-calculator
Playing with typeclasses and tagless final pattern in Scala
Language: Scala - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
calvinlfer/scala-kpl-fp Fork of StreetContxt/kpl-scala
FS2 bindings for the Kinesis Producer Library
Language: Scala - Size: 881 KB - Last synced at: 3 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
eperinan/workshop-tagless-final
Workshop about Final Tagless
Language: Scala - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0
knih/final-msp
Final style multi-stage programming
Language: OCaml - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
gvolpe/tagless-final-demo
Language: Scala - Size: 3.91 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
lloydmeta/kontext
Like `implicitly` but for _all_ context-bound typeclass instances, automatically.
Language: Scala - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
calvinlfer/playing-with-tagless-final
Language: Scala - Size: 1.95 KB - Last synced at: 3 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0