Agda-2.5.2: 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 #
Minimal complete definition
pretty
Methods
pretty :: Nat -> Int -> a -> String Source #
Instances
pretty :: Nat -> Int -> Module -> String Source #
pretty :: Nat -> Int -> MemberId -> String Source #
pretty :: Nat -> Int -> GlobalId -> String Source #
pretty :: Nat -> Int -> LocalId -> String Source #
pretty :: Nat -> Int -> Exp -> String Source #
pretty :: Nat -> Int -> (a, b) -> String Source #
class Pretties a where Source #
pretties
pretties :: Nat -> Int -> a -> [String] Source #
pretties :: Nat -> Int -> [a] -> [String] Source #
pretties :: Nat -> Int -> Map a b -> [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 #