ChrisPenner / lens-filesystem
Lens interface for your filesystem
☆22Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for lens-filesystem
- An experiment in functional interface design☆23Updated 8 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A monad for managed values☆50Updated last year
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Safe web routing in haskell☆30Updated last year
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Show programming language printed values in a web UI☆24Updated 5 years ago
- ☆20Updated last year
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- Haskell time library focusing on performance☆54Updated 2 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- phantom types☆37Updated last month
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 5 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated this week
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- A convenient DSL for describing web routes☆43Updated 3 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Reification of data structures using observable sharing☆28Updated last week
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month