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'.