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