Documentation

Lake.Config.WorkspaceConfig

source
structure Lake.WorkspaceConfig :
Type

A Workspace's declarative configuration.

  • packagesDir : System.FilePath

    The directory to which Lake should download remote dependencies. Defaults to defaultPackagesDir (i.e., .lake/packages).

Instances For
    source
    instance Lake.WorkspaceConfig.instConfigMeta :
    ConfigInfo `Lake.WorkspaceConfig
    Equations
      source
      instance Lake.WorkspaceConfig.instConfigFields :
      ConfigFields WorkspaceConfig
      Equations
        source
        instance Lake.WorkspaceConfig.packagesDir.instConfigField :
        ConfigField WorkspaceConfig `packagesDir System.FilePath
        Equations
          source
          instance Lake.instInhabitedWorkspaceConfig :
          Inhabited WorkspaceConfig
          Equations
            source
            instance Lake.instReprWorkspaceConfig :
            Repr WorkspaceConfig
            Equations
              source
              instance Lake.instEmptyCollectionWorkspaceConfig :
              EmptyCollection WorkspaceConfig
              Equations