bound-extras: ScopeH and ScopeT extras for bound
Provides more complex Scope variants; ScopeT and ScopeH:
Scope b f a ~ ScopeT b IdentityT f a ~ ScopeH b f f a ScopeT b t f a ~ ScopeH b (t f) f a
ScopeH probably should be preferred over ScopeT.
Latter is left here for completeness.
Simple implementations of ScopeH and ScopeT would be similar
(sans type arguments) to Bound.Scope.Simple.
Look into examples/ directory for System F and Bidirectional STLC
implemented with a help of ScopeH.
| Versions [faq] | 0, 0.0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.9.1.0 && <4.10 || >=4.10.1.0 && <4.11 || >=4.11.1.0 && <4.12 || >=4.12.0.0 && <4.13 || >=4.13.0.0 && <4.14 || >=4.14.0.0 && <4.15), bifunctors (>=5.5.3 && <5.6), bound (>=2.0.1 && <2.1), deepseq (>=1.4.2.0 && <1.5), hashable (>=1.2.7.0 && <1.3 || >=1.3.0.0 && <1.4), transformers (>=0.5.0.0 && <0.6) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2018 Oleg Grenrus |
| Author | Oleg Grenrus, Edward Kmett |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Revised | Revision 3 made by phadej at 2020-03-28T11:28:37Z |
| Category | Language, Compilers, Interpreters |
| Home page | https://github.com/phadej/bound-extras |
| Bug tracker | https://github.com/phadej/bound-extras/issues |
| Source repo | head: git clone https://github.com/phadej/bound-extras |
| Uploaded | by phadej at 2019-04-25T14:42:07Z |
| Distributions | NixOS:0.0.1 |
| Downloads | 746 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2019-04-25 [all 1 reports] |
Downloads
- bound-extras-0.0.1.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'.