Agda-2.4.2.4: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell98

Agda.Compiler.JS.Pretty

Documentation

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

Pretty Module Source
Pretty MemberId Source
Pretty GlobalId Source
Pretty LocalId Source
Pretty Exp Source
Pretty Patt Source
Pretty Case Source
(Pretty a, Pretty b) => Pretty (a, b) Source

class Pretties a where Source

Methods

pretties :: Nat -> Int -> a -> [String] Source

Instances

Pretty a => Pretties [a] Source
(Pretty a, Pretty b) => Pretties (Map a b) 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