monad-transformers

There are 2 repositories under monad-transformers topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
ad-hoc-polymorphism applicative bcl c-sharp f-sharp functional-languages functional-programming functor higher-kinded-types immutable-collections immutable-types language-ext lenses monad monad-transformers monads monoid records semigroup structural-equality
Language:C# 6278
aol / cyclops
An advanced, but easy to use, platform for writing functional applications in Java 8.
asynchronous collections data-structures functional-programming java java8 monad monad-transformers monoid reactive reactive-streams streams streams-api
Language:Java 1309
thma / LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
functional-languages factory-pattern strategy-pattern builder-pattern function-composition iterator-pattern monad haskell design-patterns gof-patterns category-theory typeclasses typeclassopedia pattern-language traversable functors monoids functor reader-monad monad-transformers
Language:Haskell 980
fsprojects / FSharpPlus
Extensions for F#
arrow-functions computation-expressions extensions f-sharp generic-functions lenses monad-transformers
Language:F# 835
dehun / learn-fp
learn-by-doing course/tutorial for functional programming on scala
applicative comonads course functional-idioms functional-programming functor monad monad-transformers monads monoid scala tutorial typeclasses
Language:Scala 610
atnos-org / eff
Eff monad for cats - https://atnos-org.github.io/eff
cats effects functional-programming monad monad-transformers scala
Language:Scala 578
mmenestret / fp-resources
Functional programming great resources
algebra category-theory free-monads functional-programming monad monad-transformers monoid recursion-schemes scala typeclass typeclasses
485
kongware / scriptum
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
functional-programming polymorphism algebraic-data-types sum-types tagged-unions pure-function monad recursion javascript composition function-composition point-free folding transducers purity corecursion catamorphism anamorphism monad-transformers lazyness
Language:JavaScript 382
haskell / mtl
The Monad Transformer Library
haskell monad-transformers monad
Language:Haskell 358
scala-hamsters / hamsters
A mini Scala utility library
functional-programming union-types monad-transformers minimal enums validation error-handling typeclass
Language:Scala 289
ThoughtWorksInc / Dsl.scala
A framework to create embedded Domain-Specific Languages in Scala
dsl scala continuation-passing-style compiler-plugin exception-handling monad-transformers monad raii future
Language:Scala 255
tonivade / purefun
Functional Programming library for Java
java functional-programming experimental monads higher-kinded-types typeclasses tuples io-monad monad tagless-final free-monad memoization monad-transformers stream immutable-collections mtl effects
Language:Java 112
Bodigrim / logict
A continuation-based backtracking logic programming monad
logic-programming monad-transformers backtracking logict
Language:Haskell 81
affeldt-aist / monae
Monadic effects and equational reasonig in Coq
monads monad-transformers probabilistic-programming nondeterminism mathcomp ssreflect math-comp monadic-effects
Language:Coq 68
ISCPIF / freedsl
Practical effect composition library based on abstract wrapping type and the free monad
pure monad monad-transformers functional-programming free-monad scala effects modularity
Language:Scala 36
ekmett / perhaps
A monad, perhaps.
haskell monad error-handling monad-transformers data
Language:Haskell 33
ThoughtWorksInc / RAII.scala
Resource Acquisition Is Initialization
asynchronous monad-transformers raii reference-count scala
Language:Scala 30
EduardSergeev / monad-memo
Memoization monad transformer
haskell memoization monad-memo monad-transformers
Language:Haskell 29
evturn / haskellbook
Solutions to exercises from the book Haskell Programming
haskell-programming haskellbook haskell functor applicative monad parser-combinators monad-transformers algebraic-data-types abstract-data-types newtype solutions monoid semigroup product-type sum-types foldable traversable haskell-book
Language:Haskell 26
theiterators / sealed-monad
Scala library for nice business logic oriented, for-comprehension-style error handling
error-handling for-comprehension monad monad-transformers monaderror scala
Language:Scala 23
Thimoteus / purescript-transformerless
Transformerless monads for Puresript
transformer monad-transformers purescript
Language:PureScript 22
r5rs-denot
siraben / r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
scheme haskell denotational-semantics r5rs-scheme scheme-interpreter monad-transformers
Language:Haskell 20
sjoerdvisscher / effects
Control.Effects
eff haskell monad-transformers
Language:Haskell 19
ThoughtWorksInc / tryt.scala
Monad transformers for exception handling
scala scalajs monad-transformers scalaz
Language:Scala 17
jcouyang / luci
Extensible Free Monad Effects
monad monad-transformers mtl free-monad effects scala birds functional-programming
Language:Scala 15
cando / Algar
Algebraic structures, higher-kinded types and other category theory bad ideas
category-theory functional-programming monad-transformers monads
Language:Rust 13
brandonchinn178 / persistent-mtl
Monad transformers for the persistent library
database monad-transformers
Language:Haskell 12
HeinrichApfelmus / optimize-monad-trans
Toy example — How can GHC optimize monad transformers?
haskell monad-transformers compiler-optimization explanatory
Language:Haskell 11
minad / writer-cps-mtl
Stricter drop in replacements for WriterT and RWST
monad-transformers writer-monad haskell
Language:Haskell 11
minad / writer-cps-transformers
Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST
monad-transformers writer-monad haskell
Language:Haskell 10
dylanmann / CurriersOfCatan
Settlers of Catan in Haskell with a Web Browser GUI
catan frp functional-programming game haskell monad-transformers monads mvar svg threepenny-gui
Language:Haskell 9
athanclark / purescript-monad-control
A clone of monad-control in purescript
purescript lift monad-control monad-transformers
Language:PureScript 8
mtumilowicz / scala-cats-functional-dependency-injection-workshop
Introduction into functional dependency injection with Reader monad.
workshop workshop-materials workshops cats cats-effect effect monad-transformers functional-programming functional-dependency-injection dependency-injection reader-monad reader kleisli kleisli-arrows
Language:Scala 8
Lysxia / coq-mtl
Formalized laws for mtl
coq haskell laws formalization monad effects monad-transformers
Language:Coq 7
siraben / hasktran
A compiler for FRACTRAN written in Haskell.
compiler assembler fractran haskell tagless-final monad-transformers
Language:Haskell 7
ValdemarGr / catch-effect
MTL, but without the MT
developer-experience functional-programming monad-transformers
Language:Scala 7