@hackage / fcf-graphs

Type-level version of algebraic-graphs.

Latest0.0.1.0

About

Metadata

  • Last updated , by locallycompact
  • License MIT
  • Categories Mathematics, Type System

  • Maintained by: dan.firth@homotopic.tech

  • Lottery factor: 0

Links

Installation

Readme

fcf-graphs

fcf-graphs mimicks algebraic-graphs but for type level computations using first-class-families.

Provided are the Graph and AdjacencyMap data types, and several functions for each. I believe this can reach api parity with algebraic-graphs. At the moment, not everything is implemented, but type-level simplify works which is interesting.

Note that ordering of underlying lists/maps is a bit weird so be careful. See the doctests for examples, and see fcf-containers for reference.