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