:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
ModuleAgda-2.7.0.1Haskell2010
Generic JSModuleStyleDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyNFData JSModuleStyleDefined in Agda-2.7.0.1 · Agda.Compiler.JS.Compiler · orphantype Rep JSModuleStyle = D1 ('MetaData "JSModuleStyle"
"Agda.Compiler.JS.Pretty"
"Agda-2.7.0.1-DbbZpETDDF1KkwuzEZvfn8"
'False) (C1 ('MetaCons "JSCJS"
'PrefixI 'False) U1 :+: C1 ('MetaCons "JSAMD"
'PrefixI 'False) U1)Defined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettySeparate by blank line.
Separate by space that will be removed by minify.
For non-removable space, use d <> " " <> d'.
Concatenate vertically, separated by blank lines.
pretty :: (Nat, Bool, JSModuleStyle) -> a -> DocPretty CommentDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty ExpDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty GlobalIdDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty LocalIdDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty MemberIdDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty ModuleDefined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty [(GlobalId, Export)]Defined in Agda-2.7.0.1 · Agda.Compiler.JS.PrettyPretty a => Pretty (Maybe a)Defined in Agda-2.7.0.1 · Agda.Compiler.JS.Pretty(Pretty a, Pretty b) => Pretty (a, b)Defined in Agda-2.7.0.1 · Agda.Compiler.JS.Prettypretties :: (Nat, Bool, JSModuleStyle) -> a -> [Doc]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.