Agda.Compiler.JS.Pretty

Documentation

data JSModuleStyle

Constructors

JSCJS

JSAMD

Instances

Generic JSModuleStyle

Defined in Agda.Compiler.JS.Pretty

Associated Types

type Rep JSModuleStyle :: Type -> Type

Methods

from :: JSModuleStyle -> Rep JSModuleStyle x

to :: Rep JSModuleStyle x -> JSModuleStyle

NFData JSModuleStyle

Defined in Agda.Compiler.JS.Compiler

Methods

rnf :: JSModuleStyle -> ()

type Rep JSModuleStyle

Defined in Agda.Compiler.JS.Pretty

type Rep JSModuleStyle = D1 ('MetaData "JSModuleStyle" "Agda.Compiler.JS.Pretty" "Agda-2.6.3.20230805-inplace" 'False) (C1 ('MetaCons "JSCJS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JSAMD" 'PrefixI 'False) (U1 :: Type -> Type))

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, JSModuleStyle) -> a -> Doc

Instances

Pretty Comment

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty Exp

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty GlobalId

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty LocalId

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty MemberId

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty Module

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty a => Pretty (Maybe a)

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty [(GlobalId, Export)]

Defined in Agda.Compiler.JS.Pretty

Methods

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

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

Defined in Agda.Compiler.JS.Pretty

Methods

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

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

class Pretties a where

Methods

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

Instances

Pretty a => Pretties (List1 a)

Defined in Agda.Compiler.JS.Pretty

Methods

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

Pretty a => Pretties [a]

Defined in Agda.Compiler.JS.Pretty

Methods

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

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

Defined in Agda.Compiler.JS.Pretty

Methods

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

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

modname :: GlobalId -> Doc

exports :: (Nat, Bool, JSModuleStyle) -> 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.