Well-Typed LLP

Generic Programming using True Sums of Products

well-typed

Binary serialisation in the CBOR format

well-typed

Optics as an abstract interface

well-typed

Basic examples and functions for generics-sop

well-typed

An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.

well-typed

well-typed

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

well-typed

More strongly typed variant of the ixset Haskell package

well-typed

Library to support efficient compilation of large records (linear in the number of record fields)

well-typed

well-typed