Expand description
Advanced Composition Patterns
This module provides advanced composition patterns including type-safe composition, functional composition, algebraic composition patterns, category theory applications, and higher-order composition abstractions for building complex modular systems.
Structs§
- Algebraic
Composer - Algebraic composition using algebraic data types and pattern matching
- Algebraic
Composition - Algebraic composition
- Algebraic
Operation - Algebraic operation
- Category
Morphism - Category theory morphism
- Combinator
Metadata - Combinator metadata
- Composition
Metadata - Composition metadata
- Function
Signature - Function signature
- Functional
Composer - Functional composition patterns using higher-order functions
- Functional
Composition - Functional composition
- Higher
Order Composer - Higher-order composition abstractions for meta-composition
- Higher
Order Composition - Higher-order composition
- Meta
Composition - Meta-composition for composing compositions
- Meta
Composition Rules - Meta-composition rules
- Morphism
Properties - Morphism properties
- Parallel
Branch - Parallel branch for type-safe composition
- Pattern
Match Result - Pattern match result
- Product
Composition Rules - Product composition rules
- Product
Type Composition - Product type composition (Tuple/Record)
- Recursive
Composition Pattern - Recursive composition pattern
- SumComposition
Rules - Sum composition rules
- SumType
Composition - Sum type composition (Either/Union)
- Transform
Metadata - Transform metadata
- Transformer
Metadata - Transformer metadata
- Type
Constraint - Type constraint specification
- Type
Constraints - Type constraints for composition validation
- Type
Safe Composer - Type-safe composition builder using phantom types
- Typed
Composition - Complete typed composition
- Typed
Composition Stage - Typed composition stage
Enums§
- Advanced
Composition Error - Advanced composition errors
- Algebraic
Operation Type - Associativity
- Branch
Selection Strategy - Composition
Order - Constraint
Type - Constraint types
- Field
Access Rules - Meta
Error Handling - Morphism
Type - Product
Composition Strategy - Recursive
Pattern Type - SumBranch
- Enumeration types for composition patterns
Traits§
- Applicative
- Trait for applicative functor
- Applicative
Functor - Trait for applicative functors
- Composition
- Trait for compositions
- Composition
Combinator - Trait for composition combinators
- Composition
Function - Trait for composition functions
- Composition
Type - Trait for types that can be composed
- Functor
- Trait for functor pattern
- Higher
Order Transform - Trait for higher-order transformations
- Monad
- Trait for monad pattern
- Monad
Transformer - Trait for monad transformers
- Pattern
Matcher - Trait for pattern matching
- Type
Predicate - Trait for type predicates
- Typed
Transformer - Trait for typed transformers