Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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
Produced by Haddock version 2.6.0