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), 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 1 made by phadej at Tue Jun 25 18:58:43 UTC 2019 |
| 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 Thu Apr 25 14:42:07 UTC 2019 |
| Distributions | NixOS:0.0.1 |
| Downloads | 161 total (35 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| 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'.