Infrastructure · Primitives
Combine
Binary merge operation
Definition
Mechanism
Merge two same-typed values into one. Associative, with an identity element (Empty) — together with Closure this makes the operation a monoid.
Invariants
- Associativity: (A + B) + C = A + (B + C)
- Closure: Result type must match Input type
Risks
Failure modes
None stated.
Relationships
Root pattern: builds on nothing in this library.
Used by
References
Mind
Building complex behavior from simple primitives
Reference