free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

Please see the README on GitHub at https://github.com/fizruk/free-foil#readme

Modules

free-foil-0.2.0

Control
Submodules
- Monad
  Submodules
  - Control.Monad.Foil
    Submodules
    Control.Monad.Foil.Example
    Control.Monad.Foil.Internal
    Submodules
    Control.Monad.Foil.Internal.ValidNameBinders
    Control.Monad.Foil.Relative
    Control.Monad.Foil.TH
    Submodules
    Control.Monad.Foil.TH.MkFoilData
    Control.Monad.Foil.TH.MkFromFoil
    Control.Monad.Foil.TH.MkInstancesFoil
    Control.Monad.Foil.TH.MkToFoil
    Control.Monad.Foil.TH.Util
  - Free
    Submodules
    Control.Monad.Free.Foil
    Submodules
    Control.Monad.Free.Foil.Example
    Control.Monad.Free.Foil.TH
    Submodules
    Control.Monad.Free.Foil.TH.Convert
    Control.Monad.Free.Foil.TH.MkFreeFoil
    Control.Monad.Free.Foil.TH.PatternSynonyms
    Control.Monad.Free.Foil.TH.Signature
Data
Submodules
- Data.ZipMatchK
  Submodules