Package type-aligned - Namespaces

• TypeAligned

  Type-aligned sequences. Transitive closures of (binary) relations that also provide fast reflection / destruction.
• TypeAligned.Sum

  Sum type for binary relations.
• TypeAligned.ZeroOne

  Reflexive closure of a (binary) relation. Internally used instead of Maybe, to maintain continuity of indexs.
• TypeAligned.Duo

  Like 'Pair' but type-aligned. Called "Duo" because they are NOT two-of-a-kind ("pair", "double", "couple"), since the indexes may differ.
• TypeAligned.Trio

  Trio because they are NOT three-of-a-kind ("triple", "triad") since the indexes may differ.
• TypeAligned.TwoThree

  Type primarily for internal usage holding either two or three relationships. Used internally to provide fast append, even for when the meeting point is "ragged".
• LinearAnd