Here are
29 public repositories
matching this topic...
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
-
Updated
Jun 19, 2021
-
Rust
A simple Purescript JSON library that uses types automatically
-
Updated
Mar 21, 2021
-
PureScript
🎯 IO with Exceptions tracked on the type-level
-
Updated
Apr 6, 2021
-
Haskell
💄🐞 Combinators for writing pretty type errors easily
-
Updated
Nov 6, 2020
-
Haskell
A macro for defining type operators in Rust.
-
Updated
Mar 16, 2017
-
Rust
Type-level well-kinded natural numbers.
-
Updated
Jun 6, 2021
-
Haskell
A library for PureScript 0.12 using Record-Format to parse urls with a template.
-
Updated
May 24, 2018
-
PureScript
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
-
Updated
Oct 26, 2016
-
Scala
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
-
Updated
Aug 2, 2018
-
PureScript
Simple routing with Kushiyaki.
-
Updated
Aug 5, 2018
-
PureScript
Cool type-safe Symbol query parameterized helper for Node-SQLite3
-
Updated
Mar 23, 2019
-
PureScript
A collection of useful operators to make type-level programming in TypeScript easier
-
Updated
Feb 25, 2019
-
TypeScript
Type equality check returning a Boolean kind. Useful for type-level programming.
-
Updated
Feb 15, 2020
-
PureScript
Macro for generating pseudo-enums for type-level programming.
-
Updated
Jul 21, 2020
-
Rust
Haskell type-level multi-dimensional array
-
Updated
Sep 1, 2020
-
Haskell
A collection of type-level operators
-
Updated
Mar 13, 2019
-
Haskell
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
-
Updated
Jul 27, 2020
-
Rust
Turn your Generics-Rep Sums and Products into lists, because that's cool.
-
Updated
Apr 21, 2018
-
PureScript
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
-
Updated
Feb 6, 2020
-
Haskell
A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels
-
Updated
Jun 9, 2018
-
PureScript
Because sometimes, you want a reflected record of proxies to make life easier.
-
Updated
May 30, 2019
-
PureScript
Bit operations and bit fields at 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.
-
Updated
Sep 15, 2018
-
PureScript
Associate type-level names to values in a heterogeneous non-empty list
-
Updated
Feb 11, 2016
-
Haskell
A fun library for sized lists in PureScript 0.12 using Symbols
-
Updated
May 24, 2018
-
PureScript
natural number in a range at compile-time
-
Updated
Apr 16, 2018
-
Haskell
An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.
-
Updated
Apr 30, 2018
-
PureScript
Improve this page
Add a description, image, and links to the
type-level
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
type-level
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Here's a
.avdlfile with a deliberate typo.@namespace("integrationtest") protocol WeatherService { record GetForecastRequest { // NOTE: missing semicolon string city int days_required; } enum Weather { SUNNY, CLOUDY, RAINY } record GetForecastResponse { string last_updated; array<Weather> daily_forecasts; } void