@hackage / data-debruijn

Fast and safe implementation of common compiler machinery.

Latest0.1.0.0

About

Metadata

  • Last updated , by wenkokke
  • License AGPL-3.0-only
  • Categories Development
  • Maintained by: wenkokke@users.noreply.github.com

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.10.2
  3. 9.8.4
  4. 9.6.7

Package Flags

Use the -f option with cabal commands to enable flags

    safe (off by default)

    Export the safe API.

    th-as-word64 (off by default)

    Use a Word to represent thinnings. The default is Natural.

    env-as-skew-list (off by default)

    Use SkewList from the skew-list package to represent environments. The default is Seq from the containers package.

Readme

This package provides a safe interface to optimised implementations of common machinery used in compilers and type checkers.

Type-Level Naturals
Data.Type.Nat

Data.Type.Nat.Singleton

DeBruijn Indexes
Data.DeBruijn.Index
Thinnings
Data.DeBruijn.Thinning
Environments
Data.DeBruijn.Environment