def Lake.OpaquePackage : Type

Opaque reference to a Package used for forward declaration.

Equations

• Lake.OpaquePackage = NonemptyType.type Lake.OpaquePackage.nonemptyType

Instances For

• Lake.OpaquePackage.instCoeOpaquePackagePackage
• Lake.OpaquePackage.instCoePackageOpaquePackage
• Lake.OpaquePackage.instInhabitedOpaquePackage
• Lake.instNonemptyOpaquePackage

opaque Lake.OpaquePackage.nonemptyType : NonemptyType

instance Lake.instNonemptyOpaquePackage : Nonempty Lake.OpaquePackage

Equations

• Lake.instNonemptyOpaquePackage = ⋯

def Lake.OpaqueWorkspace : Type

Opaque reference to a Workspace used for forward declaration.

Equations

• Lake.OpaqueWorkspace = NonemptyType.type Lake.OpaqueWorkspace.nonemptyType

Instances For

• Lake.OpaqueWorkspace.instCoeOpaqueWorkspaceWorkspace
• Lake.OpaqueWorkspace.instCoeWorkspaceOpaqueWorkspace
• Lake.OpaqueWorkspace.instInhabitedOpaqueWorkspace
• Lake.instNonemptyOpaqueWorkspace

opaque Lake.OpaqueWorkspace.nonemptyType : NonemptyType

instance Lake.instNonemptyOpaqueWorkspace : Nonempty Lake.OpaqueWorkspace

Equations

• Lake.instNonemptyOpaqueWorkspace = ⋯

def Lake.OpaqueTargetConfig (pkgName : Lake.Name) (name : Lake.Name) : Type

Opaque reference to a TargetConfig used for forward declaration.

Equations

• Lake.OpaqueTargetConfig pkgName name = NonemptyType.type (Lake.OpaqueTargetConfig.nonemptyType pkgName name)

Instances For

• Lake.OpaqueTargetConfig.instCoeOpaqueTargetConfigTargetConfig
• Lake.OpaqueTargetConfig.instCoeTargetConfigOpaqueTargetConfig
• Lake.OpaqueTargetConfig.instInhabitedOpaqueTargetConfig
• Lake.instNonemptyOpaqueTargetConfig

instance Lake.instNonemptyOpaqueTargetConfig {pkgName : Lake.Name} {name : Lake.Name} : Nonempty (Lake.OpaqueTargetConfig pkgName name)

Equations

• ⋯ = ⋯

opaque Lake.OpaqueTargetConfig.nonemptyType (pkgName : Lake.Name) (name : Lake.Name) : NonemptyType