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

Agda.Compiler.Alonzo.Names

Documentation

conStr :: Name -> String | Source

dfStr :: Name -> String | Source

conQStr :: QName -> String | Source

dfQStr :: QName -> String | Source

moduleStr :: ModuleName -> String | Source

conName :: Name -> HsName | Source

dataName :: Name -> HsName | Source

dfName :: Name -> HsName | Source

dfNameSub :: Name -> Int -> HsName | Source

dfQName :: QName -> HsQName | Source

conQName :: QName -> HsQName | Source

numOfName :: Name -> Nat | Source

numOfQName :: QName -> Nat | Source

rtpQName :: String -> HsQName | Source

Produced by Haddock version 2.4.2