Distribution.Backpack.ModSubst

Cabal-2.1.0.0: A framework for packaging Haskell software

Safe Haskell | None
Language | Haskell2010

Distribution.Backpack.ModSubst

Description

A type class `ModSubst` for objects which can have `ModuleSubst` applied to them.

See also https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst

Synopsis

- class ModSubst a where

# Documentation

class ModSubst a where Source #

Applying module substitutions to semantic objects.

Minimal complete definition

modSubst

Methods

modSubst :: OpenModuleSubst -> a -> a Source #

Instances

ModSubst OpenModule # |
Instance details Methods modSubst :: OpenModuleSubst -> OpenModule -> OpenModule Source #
ModSubst OpenUnitId # |
Instance details Methods modSubst :: OpenModuleSubst -> OpenUnitId -> OpenUnitId Source #
ModSubst ModuleShape # |
Instance details Methods modSubst :: OpenModuleSubst -> ModuleShape -> ModuleShape Source #
ModSubst a => ModSubst [a] # |
Instance details Methods modSubst :: OpenModuleSubst -> [a] -> [a] Source #
ModSubst (Set ModuleName) # |
Instance details Methods modSubst :: OpenModuleSubst -> Set ModuleName -> Set ModuleName Source #
ModSubst a => ModSubst (k, a) # |
Instance details Methods modSubst :: OpenModuleSubst -> (k, a) -> (k, a) Source #
ModSubst a => ModSubst (Map k a) # |
Instance details Methods modSubst :: OpenModuleSubst -> Map k a -> Map k a Source #