| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Llvm.Metadata.Tbaa
- data MDSuper = MDSuper {}
- deriveMD :: BindStruct Exp Name => String -> Exp -> ConvertM MDSuper
- annot :: (BindStruct (c Name) Name, Show (c Name)) => KindEnv Name -> MDSuper -> [c Name] -> Instr -> AnnotInstr
- lookup :: Bound Name -> MDSuper -> Maybe [MDecl]
- lookups :: [Bound Name] -> MDSuper -> [Maybe [MDecl]]
Documentation
Metadata for a supercombinator.
Arguments
| :: BindStruct Exp Name | |
| => String | Sanitized name of super |
| -> Exp | Super to derive from |
| -> ConvertM MDSuper | Metadata encoding witness information |
Generate tbaa metadata for a top-level Salt supercombinator.
Arguments
| :: (BindStruct (c Name) Name, Show (c Name)) | |
| => KindEnv Name | |
| -> MDSuper | Metadata |
| -> [c Name] | Things to lookup for Meta data. |
| -> Instr | Instruction to annotate |
| -> AnnotInstr |
Attach relevant metadata to instructions