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