ollef / rope-utf16-splay
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
☆14Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for rope-utf16-splay
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- A text editor zipper libary☆17Updated last week
- Automatic type class law checking.☆24Updated 11 months ago
- Clowns to the left of me, jokers to the right☆14Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- ☆24Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Fuzzy string search in Haskell☆14Updated 10 months ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Updated 6 years ago
- A hack to find types in Haskell codebases☆11Updated 9 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- Implementation of Dhall in Dhall☆12Updated last week
- lazy generators with observation☆15Updated last year
- ☆20Updated last year
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- Applicative lexer☆13Updated 4 years ago
- File IO (read/write/open) for OsPath API☆11Updated this week
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 2 weeks ago
- Bring fusion to everyone☆13Updated 4 years ago
- A monadic (and pretty) pretty printer for Haskell☆37Updated last year