Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Compiler.Alonzo.Names
Documentation
conStr :: Name -> StringSource
dfStr :: Name -> StringSource
conQStr :: QName -> StringSource
dfQStr :: QName -> StringSource
moduleStr :: ModuleName -> StringSource
conName :: Name -> HsNameSource
dataName :: Name -> HsNameSource
dfName :: Name -> HsNameSource
dfNameSub :: Name -> Int -> HsNameSource
dfQName :: QName -> HsQNameSource
conQName :: QName -> HsQNameSource
numOfName :: Name -> NatSource
numOfQName :: QName -> NatSource
rtpQName :: String -> HsQNameSource
Produced by Haddock version 2.6.0