Documentation

Lake.Config.Opaque

source
def Lake.OpaquePackage :
Type

Opaque reference to a Package used for forward declaration.

Equations
Instances For
    source
    opaque Lake.OpaquePackage.nonemptyType :
    NonemptyType
    source
    instance Lake.instNonemptyOpaquePackage :
    Nonempty Lake.OpaquePackage
    Equations
    source
    def Lake.OpaqueWorkspace :
    Type

    Opaque reference to a Workspace used for forward declaration.

    Equations
    Instances For
      source
      opaque Lake.OpaqueWorkspace.nonemptyType :
      NonemptyType
      source
      instance Lake.instNonemptyOpaqueWorkspace :
      Nonempty Lake.OpaqueWorkspace
      Equations
      source
      def Lake.OpaqueTargetConfig (pkgName : Lake.Name) (name : Lake.Name) :
      Type

      Opaque reference to a TargetConfig used for forward declaration.

      Equations
      Instances For
        source
        instance Lake.instNonemptyOpaqueTargetConfig {pkgName : Lake.Name} {name : Lake.Name} :
        Nonempty (Lake.OpaqueTargetConfig pkgName name)
        Equations
        • ⋯ = ⋯
        source
        opaque Lake.OpaqueTargetConfig.nonemptyType (pkgName : Lake.Name) (name : Lake.Name) :
        NonemptyType