Agda.Compiler.JS.Pretty · Agda-2.8.0.2

datadata JSModuleStyle

#

JSES6 JSCJS JSAMD

Instances3Generic, NFData, Rep

Generic JSModuleStyleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
NFData JSModuleStyleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Compiler · orphan
type Rep JSModuleStyle = D1 ('MetaData "JSModuleStyle" "Agda.Compiler.JS.Pretty" "Agda-2.8.0.2-IWATId8XtJVEb9GRZaI6YB" 'False) (C1 ('MetaCons "JSES6" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "JSCJS" 'PrefixI 'False) U1 :+: C1 ('MetaCons "JSAMD" 'PrefixI 'False) U1))Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

datadata Doc

#

Constructors

Doc String
Indent Int Doc
Group Doc
Beside Doc Doc
Above Doc Doc
Enclose Doc Doc Doc
Space
Empty

Instances3IsString, Semigroup, Monoid

IsString DocDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Semigroup DocDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Monoid DocDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

valueminifiedCodeLinesLength :: Int

#

valuerender :: Bool -> Doc -> String

#

value($+$) :: Doc -> Doc -> Doc

#

value($++$) :: Doc -> Doc -> Doc

#

Separate by blank line.

value(<+>) :: Doc -> Doc -> Doc

#

Separate by space that will be removed by minify.

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

valuetext :: String -> Doc

#

valuegroup :: Doc -> Doc

#

valueindentBy :: Int -> Doc -> Doc

#

valueenclose :: Doc -> Doc -> Doc -> Doc

#

valuespace :: Doc

#

valueindent :: Doc -> Doc

#

valuehcat :: [Doc] -> Doc

#

valuevcat :: [Doc] -> Doc

#

valuevsep :: [Doc] -> Doc

#

Concatenate vertically, separated by blank lines.

valuepunctuate :: Doc -> [Doc] -> Doc

#

valueparens :: Doc -> Doc

#

valuebrackets :: Doc -> Doc

#

valuebraces :: Doc -> Doc

#

valuemparens :: Bool -> Doc -> Doc

#

Apply parens to Doc if boolean is true.

valueunescape :: Char -> String

#

valueunescapes :: String -> Doc

#

classclass Pretty a where

#

Methods

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

Instances9Pretty, …

Pretty CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty [(GlobalId, Export)]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty a => Pretty (Maybe a)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
(Pretty a, Pretty b) => Pretty (a, b)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

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

#

classclass Pretties a where

#

Methods

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

Instances3Pretties

Pretty a => Pretties (List1 a)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty a => Pretties [a]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
(Pretty a, Pretty b) => Pretties (Map a b)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

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

#

valuemodname :: GlobalId -> Doc

#

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

#

valuevariableName :: String -> String

#

valueisValidJSIdent :: 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.