Associate type-level names to values in a heterogeneous non-empty list
-
Updated
Feb 11, 2016 - Haskell
Associate type-level names to values in a heterogeneous non-empty list
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
A macro for defining type operators in Rust.
Turn your Generics-Rep Sums and Products into lists, because that's cool.
An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.
A library for PureScript 0.12 using Record-Format to parse urls with a template.
A fun library for sized lists in PureScript 0.12 using Symbols
Bit operations and bit fields at type level
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
A collection of useful operators to make type-level programming in TypeScript easier
A collection of type-level operators
Cool type-safe Symbol query parameterized helper for Node-SQLite3
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
Type equality check returning a Boolean kind. Useful for type-level programming.
Macro for generating pseudo-enums for type-level programming.
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
Haskell type-level multi-dimensional array
Add a description, image, and links to the type-level topic page so that developers can more easily learn about it.
To associate your repository with the type-level topic, visit your repo's landing page and select "manage topics."