TheWizardTower / monadTransformers
Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for monadTransformers
- Haskell ODBC binding with SQL Server support☆45Updated 8 months ago
- ☆51Updated 2 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- ☆92Updated 7 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- A data-type like Either but with an accumulating Applicative☆99Updated last year
- ☆29Updated 5 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆93Updated last year
- A Haskell implementation of realworld.io☆53Updated 8 months ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated 2 weeks ago
- ☆47Updated 5 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- HoTT Note-taking action☆25Updated 5 years ago
- ☆110Updated 10 months ago
- Effects libraries in Haskell☆72Updated last year
- Modern library for working with URIs☆68Updated 3 weeks ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- A type dependent highlevel HTTP client library inspired by servant-client.☆53Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Source for personal blog.☆76Updated last week
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- ☆39Updated 4 years ago
- ☆40Updated 5 years ago