Documentation

Lake.DSL.Require

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For

        Adds a new package dependency to the workspace. Has two forms:

        require foo from "path"/"to"/"local"/"package" with NameMap.empty
        require bar from git "url.git"@"rev"/"optional"/"path-to"/"dir-with-pkg"
        

        Either form supports the optional with clause. The @"rev" and /"path"/"dir" parts of the git form of require are optional.

        The elements of both the from and with clauses are proper terms so normal computation is supported within them (though parentheses made be required to disambiguate the syntax).

        Equations
        Instances For