# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
name = "algar"
version = "0.4.1"
authors = ["Stefano Candori <stefano.candori@prima.it>"]
description = "Algebraic structures, higher-kinded types and other category theory bad ideas"
homepage = "https://github.com/cando/Algar"
readme = "README.md"
keywords = [
    "category-theory",
    "monad",
    "monad-transformers",
    "tagless",
    "free-monads",
]
license = "MIT"
repository = "https://github.com/cando/Algar"

[[example]]
name = "turtle_operations"
path = "examples/turtle/turtle_operations.rs"
test = true

[[example]]
name = "0_expr_base"
path = "examples/expression_problem/0_expr_base.rs"
test = true

[[example]]
name = "1_expr_base_b"
path = "examples/expression_problem/1_expr_base_b.rs"
test = true

[[example]]
name = "2_expr_coproduct_of_functors"
path = "examples/expression_problem/2_expr_coproduct_of_functors.rs"
test = true

[[example]]
name = "3_expr_coproduct_of_functors_b"
path = "examples/expression_problem/3_expr_coproduct_of_functors_b.rs"
test = true

[[example]]
name = "4_expr_object_algebras"
path = "examples/expression_problem/4_expr_object_algebras.rs"
test = true

[[example]]
name = "5_expr_final_tagless"
path = "examples/expression_problem/5_expr_final_tagless.rs"
test = true

[dependencies]