@hackage bound-extras0.0.3

ScopeH and ScopeT extras for bound

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

Installation
In your cabal file:
Tested Compilers
Dependencies (5)
- base ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0 || ^>=4.20.0.0
- bound ^>=2.0.7
- deepseq ^>=1.4.4.0 || ^>=1.5.0.0
- hashable ^>=1.4.7.0 || ^>=1.5.0.0
- transformers ^>=0.5.6.2 || ^>=0.6.1.0
Dependents (0)

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.