Example

```rust /////////////////////////////////////////

// Define interfaces in traits trait A: Send + Sync { fn test(&self) -> String; }

// Implement traits to define components

[component]

struct AImpl { // Auto-inject dependencies (also supports by-value) b: Arc, }

impl A for AImpl { fn test(&self) -> String { format!("aimpl::{}", self.b.test()) } }

/////////////////////////////////////////

trait B: Send + Sync { fn test(&self) -> String; }

[component]

struct BImpl;

impl B for BImpl { fn test(&self) -> String { "bimpl".to_owned() } }

/////////////////////////////////////////

// Register interfaces and bind them to implementations let cat = CatalogBuilder::new() .add::() .bind::() .add::() .bind::() .build();

// Get objects and have their deps satisfied automatically let inst = cat.get::>().unwrap(); assert_eq!(inst.test(), "aimpl::bimpl"); ```

TODO

• Add trybuild tests (see https://youtu.be/geovSK3wMB8?t=956)
• Support generic types
• Replace add_* with generic add<B: Into<Builder>>
• value by reference in new()
• • Send + Sync plague https://www.reddit.com/r/rust/comments/6dz0xh/abstractingoverreferencecountedtypesrcand/
• scopes
  • invocation
  • thread
  • task
  • catalog?
• thread safety
• adding values to catalog dynamically
• lazy values
• externally defined types
• custom builders
• error handling
• doctests
• Advanced queries (based on metadata + custom filters)
• improve catalog fluent interface (or macro?)
• proc macro error handling
• build a type without registering

Done

• multiple implementations per interface
• implementation-controlled sharing and lifetime
• dependency specs
  • OneOf
  • AllOf
• scopes
  • transient
  • singleton
• auto builders
  • support scope in derivation
• support prebuilt / add by value
• support Impl::new()
• argument bindings
• by value injection of Clone types
• Separate catalog use from catalog building
• Make Catalog cloning cheap
• Catalog self-injection

Principles

• Nothing framework-specific

• Create instance (ctor, new(), and external types)

• Provide dynamic dependencies -> recurse
• Provide fixed dependencies (Fn multi)

• Get existing instance if exists (scope)

• Separate builder from the scope, catalog, Arc stuff

• Pass build context instead of catalog (e.g. for stack tracking)