Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
- modSubst :: OpenModuleSubst -> a -> a
Documentation
class ModSubst a where Source #
Applying module substitutions to semantic objects.
modSubst :: OpenModuleSubst -> a -> a Source #
Instances
ModSubst ModuleShape Source # | |
Defined in Distribution.Backpack.ModuleShape modSubst :: OpenModuleSubst -> ModuleShape -> ModuleShape Source # | |
ModSubst OpenModule Source # | |
Defined in Distribution.Backpack.ModSubst modSubst :: OpenModuleSubst -> OpenModule -> OpenModule Source # | |
ModSubst OpenUnitId Source # | |
Defined in Distribution.Backpack.ModSubst modSubst :: OpenModuleSubst -> OpenUnitId -> OpenUnitId Source # | |
ModSubst (Set ModuleName) Source # | |
Defined in Distribution.Backpack.ModSubst modSubst :: OpenModuleSubst -> Set ModuleName -> Set ModuleName Source # | |
ModSubst a => ModSubst [a] Source # | |
Defined in Distribution.Backpack.ModSubst modSubst :: OpenModuleSubst -> [a] -> [a] Source # | |
ModSubst a => ModSubst (Map k a) Source # | |
Defined in Distribution.Backpack.ModSubst | |
ModSubst a => ModSubst (k, a) Source # | |
Defined in Distribution.Backpack.ModSubst modSubst :: OpenModuleSubst -> (k, a) -> (k, a) Source # |