Agda.Compiler.JS.Pretty

Documentation

data Doc

Constructors

Doc String

Indent Int Doc

Group Doc

Beside Doc Doc

Above Doc Doc

Enclose Doc Doc Doc

Space

Empty

Instances

IsString Doc

Defined in Agda.Compiler.JS.Pretty

Methods

fromString :: String -> Doc

Monoid Doc

Defined in Agda.Compiler.JS.Pretty

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Semigroup Doc

Defined in Agda.Compiler.JS.Pretty

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

minifiedCodeLinesLength :: Int

render :: Bool -> Doc -> String

($+$) :: Doc -> Doc -> Doc infixr 5

($++$) :: Doc -> Doc -> Doc infixr 5

Separate by blank line.

(<+>) :: Doc -> Doc -> Doc infixr 6

Separate by space that will be removed by minify.

For non-removable space, use d <> " " <> d'.

text :: String -> Doc

group :: Doc -> Doc

indentBy :: Int -> Doc -> Doc

enclose :: Doc -> Doc -> Doc -> Doc

space :: Doc

indent :: Doc -> Doc

hcat :: [Doc] -> Doc

vcat :: [Doc] -> Doc

vsep :: [Doc] -> Doc

Concatenate vertically, separated by blank lines.

punctuate :: Doc -> [Doc] -> Doc

parens :: Doc -> Doc

brackets :: Doc -> Doc

braces :: Doc -> Doc

mparens :: Bool -> Doc -> Doc

Apply parens to Doc if boolean is true.

unescape :: Char -> String

unescapes :: String -> Doc

class Pretty a where

Methods

pretty :: (Nat, Bool) -> a -> Doc

Instances

Pretty Comment

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> Comment -> Doc

Pretty Exp

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> Exp -> Doc

Pretty GlobalId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> GlobalId -> Doc

Pretty LocalId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> LocalId -> Doc

Pretty MemberId

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> MemberId -> Doc

Pretty Module

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> Module -> Doc

Pretty a => Pretty (Maybe a)

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> Maybe a -> Doc

Pretty [(GlobalId, Export)]

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> [(GlobalId, Export)] -> Doc

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

Defined in Agda.Compiler.JS.Pretty

Methods

pretty :: (Nat, Bool) -> (a, b) -> Doc

prettyShow :: Pretty a => Bool -> a -> String

class Pretties a where

Methods

pretties :: (Nat, Bool) -> a -> [Doc]

Instances

Pretty a => Pretties (List1 a)

Defined in Agda.Compiler.JS.Pretty

Methods

pretties :: (Nat, Bool) -> List1 a -> [Doc]

Pretty a => Pretties [a]

Defined in Agda.Compiler.JS.Pretty

Methods

pretties :: (Nat, Bool) -> [a] -> [Doc]

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

Defined in Agda.Compiler.JS.Pretty

Methods

pretties :: (Nat, Bool) -> Map a b -> [Doc]

block :: (Nat, Bool) -> Exp -> Doc

modname :: GlobalId -> Doc

exports :: (Nat, Bool) -> Set JSQName -> [Export] -> Doc

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.