ChrisPenner / lens-filesystem
Lens interface for your filesystem
ā22Updated 4 years ago
Alternatives and similar repositories for lens-filesystem:
Users that are interested in lens-filesystem are comparing it to the libraries listed below
- Reasonable Haskell default importā27Updated 2 years ago
- A monad for managed valuesā50Updated 2 years ago
- š Idris implementation of patricia treeā22Updated 4 years ago
- Kleene algebra, regular expressionsā32Updated last year
- A package exposing a function for generating catamorphisms.ā28Updated 7 years ago
- Codo notation for programming with comonads in Haskellā26Updated 4 years ago
- Easy bidirectional serialization in Haskellā50Updated 6 years ago
- Dependently typed elimination functions using singletonsā28Updated 3 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.ā34Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithmā31Updated 10 years ago
- Basic examples and functions for generics-sopā20Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazyā18Updated 2 months ago
- Safe web routing in haskellā30Updated last year
- Various type-aligned sequence data structures.ā20Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.ā36Updated 4 years ago
- An experiment in functional interface designā23Updated 8 years ago
- phantom typesā38Updated 2 months ago
- Exhaustive pattern matching using lenses, traversals, and prismsā32Updated 2 years ago
- Folds for recursive types with GHC Genericsā26Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated 6 months ago
- ā24Updated 4 years ago
- ā23Updated 7 years ago
- Haskell library for efficiently building up buffersā26Updated 3 months ago
- Unpinned byte arrays in GHC haskellā22Updated 6 years ago
- Deriving Storable instances using GHC.Genericsā16Updated 3 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā21Updated 5 years ago
- Extensible type-safe unions for Haskellā33Updated last month
- An OS written in Idris (eventually...)ā19Updated 10 years ago
- generate contextually sensible fuzz tests for servant appsā26Updated 5 months ago
- van Laarhoven lenses for Idrisā20Updated 7 years ago