| Agda-2.2.6: A dependently typed functional programming language and proof assistant | Source code | Contents | Index

Agda.Compiler.MAlonzo.Misc

Documentation

setInterface :: Interface -> TCM () | Source

curIF :: TCM Interface | Source

curSig :: TCM Signature | Source

curMName :: TCM ModuleName | Source

curHsMod :: TCM Module | Source

curDefs :: TCM Definitions | Source

sigMName :: Signature -> ModuleName | Source

ihname :: String -> Nat -> HsName | Source

unqhname :: String -> QName -> HsName | Source

tlmodOf :: ModuleName -> TCM Module | Source

tlmname :: ModuleName -> TCM ModuleName | Source

xqual :: QName -> HsName -> TCM HsQName | Source

xhqn :: String -> QName -> TCM HsQName | Source

conhqn :: QName -> TCM HsQName | Source

bltQual :: String -> String -> TCM HsQName | Source

hsVarUQ :: HsName -> HsExp | Source

mazMod :: ModuleName -> Module | Source

fakeD :: HsName -> String -> HsDecl | Source

fakeDS :: String -> String -> HsDecl | Source

fakeDQ :: QName -> String -> HsDecl | Source

fakeType :: String -> HsQualType | Source

fakeExp :: String -> HsExp | Source

dummy :: a | Source

gshow' :: Data a => a -> String | Source

Produced by Haddock version 2.4.2