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

Agda.Compiler.Agate.TranslateName

Description
Translate Agda names into a variety of GHC names
Documentation

translateNameAsUntypedTerm :: String -> String | Source

translateNameAsUntypedConstructor :: String -> String | Source

translateNameAsOptimizedType :: String -> String | Source

translateNameAsOptimizedTerm :: String -> String | Source

translateNameAsOptimizedConstructor :: String -> String | Source

escape :: String -> String | Source

Produced by Haddock version 2.4.2