Safe Haskell	None
Language	Haskell2010

Agda.Compiler.JS.Pretty

Synopsis

br :: Int -> String
unescape :: Char -> String
unescapes :: String -> String
class Pretty a where
class Pretties a where
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

Documentation

br :: Int -> String #

unescape :: Char -> String #

unescapes :: String -> String #

class Pretty a where #

Minimal complete definition

pretty

Methods

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

Instances

Pretty Module #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> Module -> String #
Pretty MemberId #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> MemberId -> String #
Pretty GlobalId #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> GlobalId -> String #
Pretty LocalId #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> LocalId -> String #
Pretty Exp #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> Exp -> String #
(Pretty a, Pretty b) => Pretty (a, b) #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> (a, b) -> String #

class Pretties a where #

Minimal complete definition

pretties

Methods

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

Instances

Pretty a => Pretties [a] #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretties :: Nat -> Int -> [a] -> [String] #
(Pretty a, Pretty b) => Pretties (Map a b) #
Instance details 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.