- buildPrimSpecMap :: [[String]] -> Map String [String]
- normPrimSpecMap :: Map String [String]
- newtype CoreStrictness = CoreStrictness [Bool]
- newtype CoreTypeSig = CoreTypeSig String
- buildPrimAnno :: Map String [String] -> Core -> CoreAnnotations
- buildNormPrimAnno :: Core -> CoreAnnotations
Documentation
buildPrimSpecMap :: [[String]] -> Map String [String]Source
Build a map of primitive specifications given the list of primitive description records. This as well may be used by frontends.
normPrimSpecMap :: Map String [String]Source
Specifications map of normal primitives
buildPrimAnno :: Map String [String] -> Core -> CoreAnnotationsSource
Given the linked Core, build annotations for all primitives defined that belong to the given set of primitives, that is, their names are member keys of the given primitives specification map.
buildNormPrimAnno :: Core -> CoreAnnotationsSource
Given the linked Core, build annotations for all normal primitives
that is, belonging to the normPrimSpecMap
.