Safe Haskell	Safe
Language	Haskell2010

Text.LLVM.Labels

Synopsis

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

Minimal complete definition

grelabel

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> f a -> m (f b) Source #

Instances

GHasLabel V1 Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> V1 a -> m (V1 b) Source #
GHasLabel U1 Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> U1 a -> m (U1 b) Source #
GHasLabel Par1 Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Par1 a -> m (Par1 b) Source #
HasLabel f => GHasLabel (Rec1 f) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Rec1 f a -> m (Rec1 f b) Source #
GHasLabel (K1 i a) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> K1 i a a -> m (K1 i a b) Source #
(GHasLabel f, GHasLabel g) => GHasLabel ((:+:) f g) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :+: g) a -> m ((f :+: g) b) Source #
(GHasLabel f, GHasLabel g) => GHasLabel ((:*:) f g) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :: g) a -> m ((f :: g) b) Source #
(Traversable f, GHasLabel g) => GHasLabel ((:.:) f g) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :.: g) a -> m ((f :.: g) b) Source #
GHasLabel f => GHasLabel (M1 i c f) Source #
Methods grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> M1 i c f a -> m (M1 i c f b) Source #

class Functor f => HasLabel f where Source #

Minimal complete definition

relabel

Methods

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.

Instances

HasLabel DISubroutineType' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubroutineType' a -> m (DISubroutineType' b) Source #
HasLabel DISubprogram' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubprogram' a -> m (DISubprogram' b) Source #
HasLabel DILocalVariable' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILocalVariable' a -> m (DILocalVariable' b) Source #
HasLabel DILexicalBlockFile' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlockFile' a -> m (DILexicalBlockFile' b) Source #
HasLabel DILexicalBlock' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlock' a -> m (DILexicalBlock' b) Source #
HasLabel DIGlobalVariableExpression' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIGlobalVariableExpression' a -> m (DIGlobalVariableExpression' b) Source #
HasLabel DIGlobalVariable' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIGlobalVariable' a -> m (DIGlobalVariable' b) Source #
HasLabel DIDerivedType' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIDerivedType' a -> m (DIDerivedType' b) Source #
HasLabel DICompositeType' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompositeType' a -> m (DICompositeType' b) Source #
HasLabel DICompileUnit' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompileUnit' a -> m (DICompileUnit' b) Source #
HasLabel DebugInfo' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugInfo' a -> m (DebugInfo' b) Source #
HasLabel ConstExpr' Source #	Clever instance that actually uses the block name
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ConstExpr' a -> m (ConstExpr' b) Source #
HasLabel Stmt' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Stmt' a -> m (Stmt' b) Source #
HasLabel DebugLoc' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugLoc' a -> m (DebugLoc' b) Source #
HasLabel ValMd' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ValMd' a -> m (ValMd' b) Source #
HasLabel Value' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Value' a -> m (Value' b) Source #
HasLabel Clause' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Clause' a -> m (Clause' b) Source #
HasLabel Instr' Source #
Methods relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Instr' a -> m (Instr' b) Source #