Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.JS.Pretty

Synopsis

Documentation

class Pretty a where Source #

Methods

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

Instances

Instances details
Pretty Module Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty MemberId Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty GlobalId Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty LocalId Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty Exp Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

(Pretty a, Pretty b) => Pretty (a, b) Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

class Pretties a where Source #

Methods

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

Instances

Instances details
Pretty a => Pretties [a] Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

(Pretty a, Pretty b) => Pretties (Map a b) Source # 
Instance details

Defined in Agda.Compiler.JS.Pretty

Methods

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

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

isValidJSIdent :: String -> Bool Source #

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.