:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11
ModuleAgda-2.8.0.2Haskell2010
Generic JSModuleStyleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyNFData JSModuleStyleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Compiler · orphantype 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.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 -> DocprettyPrec :: Int -> (Nat, Bool, JSModuleStyle) -> a -> DocPretty CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty [(GlobalId, Export)]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.PrettyPretty 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.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.