Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Compiler.Alonzo.Names
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