Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Pretty
br :: Int -> StringSource
unescape :: Char -> StringSource
unescapes :: String -> StringSource
class Pretty a whereSource
Methods
pretty :: Nat -> Int -> a -> StringSource
Instances
class Pretties a whereSource
pretties :: Nat -> Int -> a -> [String]Source
block :: Nat -> Int -> Exp -> StringSource
block' :: Nat -> Int -> Exp -> StringSource
modname :: GlobalId -> StringSource
exports :: Nat -> Int -> Set [MemberId] -> [Export] -> StringSource