Compiler.NoMangle

Utilities for dealing with %nomangle functions

Definitions

record NoMangleMap : Type

Totality: total
Visibility: export
Constructor: 

MkNMMap : NameMap String -> NoMangleMap

Projection: 

.map : NoMangleMap -> NameMap String

initNoMangle : Ref Ctxt Defs => List String -> (String -> Bool) -> Core (Ref NoMangleMap NoMangleMap)

  Get a map of all %export names
  Errors for all invalid names, so the backend can skip checking
  or adding escape characters.
  @ backend what backend is this being used in?
  @ valid a validator to check a name is valid
          for the given backend

Visibility: export

isNoMangle : NoMangleMap -> Name -> Maybe String

Visibility: export

lookupNoMangle : Ref NoMangleMap NoMangleMap => Name -> Core (Maybe String)

Visibility: export