@hackage bound-extras0.0.2

ScopeH and ScopeT extras for bound

Categories
- Language
- Compilers and Interpreters
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 0.0.2 Wed, 25 Oct 2023
- 0.0.1 Sat, 28 Mar 2020
- 0 Mon, 24 Sep 2018

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.

Installation
In your cabal file:
Tested Compilers
- 9.8.1
- 9.6.3
- 9.4.7
- 9.2.8
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (6)
- base ^>=4.9.1.0 || ^>=4.10.1.0 || ^>=4.11.1.0 || ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0
- deepseq ^>=1.4.2.0
- transformers ^>=0.5.0.0
- bifunctors ^>=5.5.3
- bound ^>=2.0.1
- hashable ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1
Dependents (0)