Grammars Docs

This is generated documentation for grammars contained in silver/grammars.

• [silver]
  • [silver:core] (stdlib)
    • Alternative.md
    • Applicative.md
    • Apply.md
    • AST.md
    • Bind.md
    • BooleanAlgebra.md
    • CommutativeRing.md
    • ConvertablePrim.md
    • DivisionRing.md
    • Either.md
    • Eq.md
    • EuclideanRing.md
    • Field.md
    • Function.md
    • Functor.md
    • Group.md
    • HackyUnParse.md
    • HeytingAlgebra.md
    • IO.md
    • IOMisc.md
    • IOToken.md
    • List.md
    • Location.md
    • Maybe.md
    • Monad.md
    • Monoid.md
    • Ord.md
    • Origins.md
    • Pair.md
    • ParseResult.md
    • Random.md
    • Ring.md
    • Semigroup.md
    • Semiring.md
    • State.md
    • String.md
    • TerminalDescriptor.md
    • TerminalId.md
    • Undecorate.md
    • Unit.md
  • [silver:langutil]
    • [silver:langutil:lsp]
    • [silver:langutil:pp]
    • [silver:langutil:reflect]
    • Message.md
  • [silver:reflect]
    • [silver:reflect:concretesyntax]
    • [silver:reflect:nativeserialize]
    • [silver:reflect:util]
  • [silver:regex]
    • [silver:regex:concrete_syntax]
  • [silver:rewrite]
  • [silver:testing]
  • [silver:xml]
    • [silver:xml:ast]
  • [silver:compiler]
    • [silver:compiler:driver]
      • [silver:compiler:driver:util]
    • [silver:compiler:langserver]
    • [silver:compiler:metatranslation]
    • [silver:compiler:host] (skel)
      • [silver:compiler:host:core] (skel)
    • [silver:compiler:analysis]
      • [silver:compiler:analysis:uniqueness]
      • [silver:compiler:analysis:warnings]
        • [silver:compiler:analysis:warnings:exporting]
        • [silver:compiler:analysis:warnings:flow]
      • [silver:compiler:analysis:typechecking]
        • [silver:compiler:analysis:typechecking:core]
    • [silver:compiler:composed]
      • [silver:compiler:composed:Default]
    • [silver:compiler:definition]
      • [silver:compiler:definition:concrete_syntax]
        • [silver:compiler:definition:concrete_syntax:ast]
        • [silver:compiler:definition:concrete_syntax:copper]
      • [silver:compiler:definition:core]
      • [silver:compiler:definition:env]
      • [silver:compiler:definition:origins]
      • [silver:compiler:definition:type]
        • [silver:compiler:definition:type:syntax]
      • [silver:compiler:definition:flow]
        • [silver:compiler:definition:flow:ast]
        • [silver:compiler:definition:flow:driver]
        • [silver:compiler:definition:flow:env]
        • [silver:compiler:definition:flow:syntax]
    • [silver:compiler:extension]
      • [silver:compiler:extension:astconstruction]
      • [silver:compiler:extension:attrsection]
      • [silver:compiler:extension:auto_ast]
      • [silver:compiler:extension:autoattr]
        • [silver:compiler:extension:autoattr:convenience]
      • [silver:compiler:extension:constructparser]
      • [silver:compiler:extension:convenience]
      • [silver:compiler:extension:convenienceaspects]
      • [silver:compiler:extension:data]
      • [silver:compiler:extension:deprecation]
      • [silver:compiler:extension:deriving]
      • [silver:compiler:extension:do_notation]
      • [silver:compiler:extension:easyterminal]
      • [silver:compiler:extension:implicit_monads]
      • [silver:compiler:extension:patternmatching]
      • [silver:compiler:extension:regex]
      • [silver:compiler:extension:rewriting]
      • [silver:compiler:extension:silverconstruction]
      • [silver:compiler:extension:strategyattr]
        • [silver:compiler:extension:strategyattr:construction]
        • [silver:compiler:extension:strategyattr:convenience]
      • [silver:compiler:extension:templating]
        • [silver:compiler:extension:templating:syntax]
      • [silver:compiler:extension:testing]
      • [silver:compiler:extension:treegen]
      • [silver:compiler:extension:tuple]
      • [silver:compiler:extension:doc] (skel)
        • [silver:compiler:extension:doc:core]
          • [silver:compiler:extension:doc:core:doclang]
        • [silver:compiler:extension:doc:driver]
        • [silver:compiler:extension:doc:extra]
    • [silver:compiler:modification]
      • [silver:compiler:modification:collection]
        • [silver:compiler:modification:collection:java]
      • [silver:compiler:modification:copper]
      • [silver:compiler:modification:copper_mda]
      • [silver:compiler:modification:defaultattr]
      • [silver:compiler:modification:ffi]
        • [silver:compiler:modification:ffi:java]
        • [silver:compiler:modification:ffi:util]
      • [silver:compiler:modification:lambda_fn]
        • [silver:compiler:modification:lambda_fn:java] (skel)
      • [silver:compiler:modification:let_fix]
        • [silver:compiler:modification:let_fix:java]
      • [silver:compiler:modification:list]
        • [silver:compiler:modification:list:java] (skel)
          • [silver:compiler:modification:list:java:type] (skel)
      • [silver:compiler:modification:primitivepattern]
    • [silver:compiler:translation]
      • [silver:compiler:translation:java] (skel)
        • [silver:compiler:translation:java:core]
        • [silver:compiler:translation:java:driver]
        • [silver:compiler:translation:java:type]
  • [silver:util]
    • [silver:util:cmdargs]
    • [silver:util:deque]
    • [silver:util:graph]
    • [silver:util:random]
    • [silver:util:subprocess]
    • [silver:util:treemap]
    • [silver:util:treeset]