Text.LLVM.Labels

Documentation

genericRelabel :: (Applicative m, Generic1 f, GHasLabel (Rep1 f)) => (Maybe Symbol -> a -> m b) -> f a -> m (f b)

Generic implementation of relabel the never provides symbols

class GHasLabel f where

Implementation details for genericRelabel

Minimal complete definition

grelabel

Methods

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

Instances

GHasLabel V1

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> V1 a -> m (V1 b)

GHasLabel U1

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> U1 a -> m (U1 b)

GHasLabel Par1

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Par1 a -> m (Par1 b)

HasLabel f => GHasLabel (Rec1 f)

Methods

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

GHasLabel (K1 i a)

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> K1 i a a -> m (K1 i a b)

(GHasLabel f, GHasLabel g) => GHasLabel ((:+:) f g)

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :+: g) a -> m ((f :+: g) b)

(GHasLabel f, GHasLabel g) => GHasLabel ((:*:) f g)

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :*: g) a -> m ((f :*: g) b)

(Traversable f, GHasLabel g) => GHasLabel ((:.:) f g)

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> (f :.: g) a -> m ((f :.: g) b)

GHasLabel f => GHasLabel (M1 i c f)

Methods

grelabel :: Applicative m => (Maybe Symbol -> a -> m b) -> M1 i c f a -> m (M1 i c f b)

class Functor f => HasLabel f where

Minimal complete definition

relabel

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> f a -> m (f b)

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'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubroutineType' a -> m (DISubroutineType' b)

HasLabel DISubprogram'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DISubprogram' a -> m (DISubprogram' b)

HasLabel DILocalVariable'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILocalVariable' a -> m (DILocalVariable' b)

HasLabel DILexicalBlockFile'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlockFile' a -> m (DILexicalBlockFile' b)

HasLabel DILexicalBlock'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DILexicalBlock' a -> m (DILexicalBlock' b)

HasLabel DIGlobalVariableExpression'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIGlobalVariableExpression' a -> m (DIGlobalVariableExpression' b)

HasLabel DIGlobalVariable'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIGlobalVariable' a -> m (DIGlobalVariable' b)

HasLabel DIDerivedType'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DIDerivedType' a -> m (DIDerivedType' b)

HasLabel DICompositeType'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompositeType' a -> m (DICompositeType' b)

HasLabel DICompileUnit'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DICompileUnit' a -> m (DICompileUnit' b)

HasLabel DebugInfo'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugInfo' a -> m (DebugInfo' b)

HasLabel ConstExpr'

Clever instance that actually uses the block name

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ConstExpr' a -> m (ConstExpr' b)

HasLabel Stmt'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Stmt' a -> m (Stmt' b)

HasLabel DebugLoc'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> DebugLoc' a -> m (DebugLoc' b)

HasLabel ValMd'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> ValMd' a -> m (ValMd' b)

HasLabel Value'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Value' a -> m (Value' b)

HasLabel Clause'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Clause' a -> m (Clause' b)

HasLabel Instr'

Methods

relabel :: Applicative m => (Maybe Symbol -> a -> m b) -> Instr' a -> m (Instr' b)