[package]
name = "moniker"
version = "0.5.0" # MONIKER
readme = "../README.md"
license = "Apache-2.0"
authors = ["Brendan Zabarauskas <bjzaba@yahoo.com.au>"]
description = "Automatically derive variable binding and alpha equivalence for abstract syntax trees"
homepage = "https://github.com/brendanzab/moniker"
repository = "https://github.com/brendanzab/moniker"
documentation = "https://docs.rs/moniker"
keywords = [
    "alpha-equivalence",
    "debruijn-indices",
    "variable-binding",
    "locally-nameless",
]
categories = ["data-structures"]

    [package.metadata.docs.rs]
    features = [
        "codespan",
        "im",
        "moniker-derive",
        "num-bigint",
    ]
    all-features = true

[features]
default = ["moniker-derive"]

[dependencies]
lazy_static = "1.0"
moniker-derive = { path = "../moniker-derive", version = "0.5.0", optional = true } # MONIKER

# Optional impls
codespan = { version = "0.2.0", optional = true }
im = { version = "12.1.0", optional = true }
num-bigint = { version = "0.2.0", optional = true }

[dev-dependencies]
im = "12.1.0"

[[example]]
name = "lc"
required-features = ["moniker-derive"]

[[example]]
name = "lc_let"
required-features = ["moniker-derive"]

[[example]]
name = "lc_letrec"
required-features = ["moniker-derive"]

[[example]]
name = "lc_multi"
required-features = ["moniker-derive"]

[[example]]
name = "stlc"
required-features = ["moniker-derive"]

[[example]]
name = "stlc_data"
required-features = ["moniker-derive"]

[[example]]
name = "stlc_data_isorec"
required-features = ["moniker-derive"]