Agda-2.5.1.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 -> Patt -> String Source #

pretty :: Nat -> Int -> Case -> 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 #