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