Agda.Compiler.JS.Pretty

Documentation

br :: Int -> String

unescape :: Char -> String

unescapes :: String -> String

class Pretty a where

Methods

pretty :: Nat -> Int -> a -> String

Instances

Pretty Module

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> Module -> String

Pretty MemberId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> MemberId -> String

Pretty GlobalId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> GlobalId -> String

Pretty LocalId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> LocalId -> String

Pretty Exp

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> Exp -> String

(Pretty a, Pretty b) => Pretty (a, b)

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: Nat -> Int -> (a, b) -> String

class Pretties a where

Methods

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

Instances

Pretty a => Pretties [a]

Defined in Agda.Compiler.JS.Pretty

Methods

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

(Pretty a, Pretty b) => Pretties (Map a b)

Defined in Agda.Compiler.JS.Pretty

Methods

pretties :: Nat -> Int -> Map a b -> [String]

block :: Nat -> Int -> Exp -> String

block' :: Nat -> Int -> Exp -> String

modname :: GlobalId -> String

exports :: Nat -> Int -> Set [MemberId] -> [Export] -> String

variableName :: String -> String

isValidJSIdent :: String -> Bool

Check if a string is a valid JS identifier. The check ignores keywords as we prepend z_ to our identifiers. The check is conservative and may not admit all valid JS identifiers.