Agda-2.2.6: A dependently typed functional programming language and proof assistant

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