iokasimov / observable
Make your actions observable and listen events from them, algebraically.
☆16Updated 5 months ago
Alternatives and similar repositories for observable
Users that are interested in observable are comparing it to the libraries listed below
Sorting:
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- A monad for managed values☆50Updated 2 years ago
- higher-kinded data☆30Updated 2 years ago
- Type-level well-kinded natural numbers.☆34Updated 4 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 2 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 2 months ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- ☆31Updated 4 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last month
- An implementation of algebraic graphs in PureScript☆19Updated 2 years ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 weeks ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Computations which can suspend their execution and return control to their invoker☆37Updated 2 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 2 months ago
- Servant dhall bindings☆19Updated 4 years ago
- Fast ByteString Builder☆21Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago