data-debruijn: Fast and safe implementation of common compiler machinery.

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

library data-debruijn

library data-debruijn:arbitrary

library data-debruijn:safe

library data-debruijn:fast

library data-debruijn:typenats

Flags

Manual Flags

Name	Description	Default
safe	Export the safe API.	Disabled
th-as-word64	Use a Word to represent thinnings. The default is Natural.	Disabled
env-as-skew-list	Use SkewList from the skew-list package to represent environments. The default is Seq from the containers package.	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• data-debruijn-0.1.0.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• wenkokke

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates