row-types

Here are 5 public repositories matching this topic...

Rosi: a row-typed functional programming language, based on the Rose family of calculi

A library for applying a row of rules for validation to refine a value

validation purescript refinement row-types

Proofs for Extensible Data Types with Ad-Hoc Polymorphism

Purescript Example: How to map a binary function generically over (nested) records

purescript meta-programming row-types

Some extra kit for row types

purescript row-types row-polymorphism

To associate your repository with the row-types topic, visit your repo's landing page and select "manage topics."