Cabal-2.0.0.2: A framework for packaging Haskell software

Safe HaskellNone
LanguageHaskell2010

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

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 Source # 
Instance details
ModSubst OpenUnitId Source # 
Instance details
ModSubst ModuleShape Source # 
Instance details
ModSubst a => ModSubst [a] Source # 
Instance details

Methods

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

ModSubst (Set ModuleName) Source # 
Instance details
ModSubst a => ModSubst (k, a) Source # 
Instance details

Methods

modSubst :: OpenModuleSubst -> (k, a) -> (k, a) Source #

ModSubst a => ModSubst (Map k a) Source # 
Instance details

Methods

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