@hackage data-debruijn0.1.0.0

Fast and safe implementation of common compiler machinery.

  • Installation

  • Tested Compilers

  • Dependencies (15)

  • Dependents (0)

    • Package 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.

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