composition

Documentation

Index

• func ExtensionProof(*Proof)
• type Proof
  • func NewProof(tools map[string]tool.Tool) *Proof
  • func (proof *Proof) HasTool(name string) bool

Functions

func ExtensionProof

func ExtensionProof(*Proof)

ExtensionProof is compile-time metadata and is never executed.

@Application

Types

type Proof

type Proof struct {
	// contains filtered or unexported fields
}

Proof owns the generated map-injection acceptance boundary.

@Component(constructor=NewProof) @Singleton

func NewProof

func NewProof(tools map[string]tool.Tool) *Proof

NewProof constructs a defensive view of the generated tool map.

func (*Proof) HasTool

func (proof *Proof) HasTool(name string) bool

HasTool reports whether generated composition injected the named tool.