Agda.Compiler.MAlonzo.Misc
Documentation
setInterface :: Interface -> TCM ()Source
tlmodOf :: ModuleName -> TCM ModuleSource
tlmname :: ModuleName -> TCM ModuleNameSource
mazMod :: ModuleName -> ModuleSource
fakeType :: String -> HsQualTypeSource
Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Compiler.MAlonzo.Misc
setInterface :: Interface -> TCM ()Source
tlmodOf :: ModuleName -> TCM ModuleSource
tlmname :: ModuleName -> TCM ModuleNameSource
mazMod :: ModuleName -> ModuleSource
fakeType :: String -> HsQualTypeSource