pseudonom / phantheck
Integrates QuickChecked properties into the type system with phantom types
☆34Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for phantheck
- Structured logging solution.☆35Updated last year
- Make presentations for data types☆25Updated 3 years ago
- A more progressive alternative to the "base" package☆27Updated 4 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Simple typesafe routing☆44Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Relational algebra☆25Updated 7 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- a simple functional language for learners☆30Updated 7 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- An applicative monad that batches commands for later more efficient execution☆27Updated 6 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- ☆21Updated 9 years ago
- The prelude.☆16Updated 5 years ago
- A useful type for working with integers modulo some constant.☆30Updated last year
- ☆55Updated 5 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- A more flexible mtl☆64Updated 6 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Updated 5 years ago
- ☆24Updated 7 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- ☆39Updated 7 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago