Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- genericRelabel :: (Applicative m, Generic1 f, GHasLabel (Rep1 f)) => (Maybe Symbol -> a -> m b) -> f a -> m (f b)
- class GHasLabel f where
- class Functor f => HasLabel f where
Documentation
genericRelabel :: (Applicative m, Generic1 f, GHasLabel (Rep1 f)) => (Maybe Symbol -> a -> m b) -> f a -> m (f b) Source #
Generic implementation of relabel
the never provides symbols
class GHasLabel f where Source #
Implementation details for genericRelabel
GHasLabel V1 Source # | |
GHasLabel U1 Source # | |
GHasLabel Par1 Source # | |
HasLabel f => GHasLabel (Rec1 f) Source # | |
GHasLabel (K1 i a) Source # | |
(GHasLabel f, GHasLabel g) => GHasLabel ((:+:) f g) Source # | |
(GHasLabel f, GHasLabel g) => GHasLabel ((:*:) f g) Source # | |
(Traversable f, GHasLabel g) => GHasLabel ((:.:) f g) Source # | |
GHasLabel f => GHasLabel (M1 i c f) Source # | |
class Functor f => HasLabel f where Source #
relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> f a -> m (f b) Source #
Given a function for resolving labels, where the presence of a symbol denotes a label in a different function, rename all labels in a function.
HasLabel DISubroutineType' Source # | |
HasLabel DISubprogram' Source # | |
HasLabel DILocalVariable' Source # | |
HasLabel DILexicalBlockFile' Source # | |
HasLabel DILexicalBlock' Source # | |
HasLabel DIGlobalVariable' Source # | |
HasLabel DIDerivedType' Source # | |
HasLabel DICompositeType' Source # | |
HasLabel DICompileUnit' Source # | |
HasLabel DebugInfo' Source # | |
HasLabel ConstExpr' Source # | Clever instance that actually uses the block name |
HasLabel Stmt' Source # | |
HasLabel DebugLoc' Source # | |
HasLabel ValMd' Source # | |
HasLabel Value' Source # | |
HasLabel Clause' Source # | |
HasLabel Instr' Source # | |