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