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 -> StringSource

translateNameAsUntypedConstructor :: String -> StringSource

translateNameAsOptimizedType :: String -> StringSource

translateNameAsOptimizedTerm :: String -> StringSource

translateNameAsOptimizedConstructor :: String -> StringSource

escape :: String -> StringSource