Agda-2.2.6: A dependently typed functional programming language and proof assistant

Agda.Compiler.MAlonzo.Misc

Documentation

setInterface :: Interface -> TCM ()Source

curIF :: TCM InterfaceSource

curSig :: TCM SignatureSource

curMName :: TCM ModuleNameSource

curHsMod :: TCM ModuleSource

curDefs :: TCM DefinitionsSource

sigMName :: Signature -> ModuleNameSource

ihname :: String -> Nat -> HsNameSource

unqhname :: String -> QName -> HsNameSource

tlmodOf :: ModuleName -> TCM ModuleSource

tlmname :: ModuleName -> TCM ModuleNameSource

xqual :: QName -> HsName -> TCM HsQNameSource

xhqn :: String -> QName -> TCM HsQNameSource

conhqn :: QName -> TCM HsQNameSource

bltQual :: String -> String -> TCM HsQNameSource

hsVarUQ :: HsName -> HsExpSource

mazMod :: ModuleName -> ModuleSource

fakeD :: HsName -> String -> HsDeclSource

fakeDS :: String -> String -> HsDeclSource

fakeDQ :: QName -> String -> HsDeclSource

fakeType :: String -> HsQualTypeSource

fakeExp :: String -> HsExpSource

dummy :: aSource

gshow' :: Data a => a -> StringSource