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

free-foil-0.4.0

• Control
  Submodules

  • Monad
    Submodules

    •  Control.Monad.Foil
      Submodules

      •  Control.Monad.Foil.Blocks
      •  Control.Monad.Foil.Example
      •  Control.Monad.Foil.Internal
        Submodules

        •  Control.Monad.Foil.Internal.ValidNameBinders
      •  Control.Monad.Foil.Registry
      •  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
      •  Control.Monad.Foil.Telescope
    • Free
      Submodules

      •  Control.Monad.Free.Foil
        Submodules

        •  Control.Monad.Free.Foil.Annotated
        •  Control.Monad.Free.Foil.Artifact
        •  Control.Monad.Free.Foil.Binary
          Submodules

          •  Control.Monad.Free.Foil.Binary.TH
        •  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

    •  Data.ZipMatchK.Bifunctor
    •  Data.ZipMatchK.Functor
    •  Data.ZipMatchK.Generic
    •  Data.ZipMatchK.Mappings
    •  Data.ZipMatchK.TH