Documentation

Lake.Config.Opaque

source
instance Lake.instNonemptyOpaqueWorkspace :
Nonempty OpaqueWorkspace
source
def Lake.OpaqueWorkspace :
Type

Opaque reference to a Workspace used for forward declaration.

Equations
    Instances For
      source
      opaque Lake.OpaqueWorkspace.nonemptyType :
      NonemptyType
      source
      opaque Lake.OpaqueTargetConfig.nonemptyType {Name : Sort u_1} (pkgName name : Name) :
      NonemptyType
      source
      instance Lake.instNonemptyOpaqueTargetConfig {Name✝ : Sort u_1} {pkgName name : Name✝} :
      Nonempty (OpaqueTargetConfig pkgName name)
      source
      def Lake.OpaqueTargetConfig {Name : Sort u_1} (pkgName name : Name) :
      Type

      Opaque reference to a TargetConfig used for forward declaration.

      Equations
        Instances For