![ci](https://ci.mangoiv.com/api/badges/13/status.svg)
[![hackage](https://img.shields.io/hackage/v/scoped-codensity.svg)](https://hackage.haskell.org/package/scoped-codensity)

# scoped-codensity

This implements a Monad just like `Codensity` from the `kan-extensions` package, but it uses a skolem trap just like the `ST s` monad to track resources allocated in the monad.

The package wraps around different "scoped" resources that cannot escape a `scoped` block and are safely deallocated when the block is left.