├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── .vim.custom ├── AUTHORS.markdown ├── CHANGELOG.markdown ├── LICENSE ├── README.markdown ├── Setup.lhs ├── bound.cabal ├── cabal.haskell-ci ├── cabal.project ├── doc ├── BoundLaws.hs ├── LICENSE └── bound-laws.cabal ├── examples ├── Deriving.hs ├── Imperative.hs ├── Overkill.hs └── Simple.hs └── src ├── Bound.hs └── Bound ├── Class.hs ├── Name.hs ├── Scope.hs ├── Scope └── Simple.hs ├── TH.hs ├── Term.hs └── Var.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/.gitignore -------------------------------------------------------------------------------- /.vim.custom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/.vim.custom -------------------------------------------------------------------------------- /AUTHORS.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/AUTHORS.markdown -------------------------------------------------------------------------------- /CHANGELOG.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/CHANGELOG.markdown -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/LICENSE -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/README.markdown -------------------------------------------------------------------------------- /Setup.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/Setup.lhs -------------------------------------------------------------------------------- /bound.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/bound.cabal -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/cabal.project -------------------------------------------------------------------------------- /doc/BoundLaws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/doc/BoundLaws.hs -------------------------------------------------------------------------------- /doc/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/doc/LICENSE -------------------------------------------------------------------------------- /doc/bound-laws.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/doc/bound-laws.cabal -------------------------------------------------------------------------------- /examples/Deriving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/examples/Deriving.hs -------------------------------------------------------------------------------- /examples/Imperative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/examples/Imperative.hs -------------------------------------------------------------------------------- /examples/Overkill.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/examples/Overkill.hs -------------------------------------------------------------------------------- /examples/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/examples/Simple.hs -------------------------------------------------------------------------------- /src/Bound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound.hs -------------------------------------------------------------------------------- /src/Bound/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Class.hs -------------------------------------------------------------------------------- /src/Bound/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Name.hs -------------------------------------------------------------------------------- /src/Bound/Scope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Scope.hs -------------------------------------------------------------------------------- /src/Bound/Scope/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Scope/Simple.hs -------------------------------------------------------------------------------- /src/Bound/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/TH.hs -------------------------------------------------------------------------------- /src/Bound/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Term.hs -------------------------------------------------------------------------------- /src/Bound/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/bound/HEAD/src/Bound/Var.hs --------------------------------------------------------------------------------