Documentation

Lake.Config.Opaque

instance Lake.instNonemptyOpaqueWorkspace :

Nonempty OpaqueWorkspace

def Lake.OpaqueWorkspace :

Opaque reference to a Workspace used for forward declaration.

Equations

Lake.OpaqueWorkspace = Lake.OpaqueWorkspace.nonemptyType.type

Instances For

opaque Lake.OpaqueWorkspace.nonemptyType :

opaque Lake.OpaqueTargetConfig.nonemptyType {Name : Sort u_1} (pkgName name : Name) :

instance Lake.instNonemptyOpaqueTargetConfig {Name✝ : Sort u_1} {pkgName name : Name✝} :

Nonempty (OpaqueTargetConfig pkgName name)

def Lake.OpaqueTargetConfig {Name : Sort u_1} (pkgName name : Name) :

Opaque reference to a TargetConfig used for forward declaration.

Equations

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

Instances For