PacketFlow.ADT.Composition (packetflow v0.1.0)

Algebraic composition operators for advanced type-level reasoning

Summary

Functions

algebraic_compose(left, right)

Algebraic composition of two types

defadt_effect(name, list)

Monadic effect composition

defadt_reactor(name, list)

Pattern-matching reactor definition with algebraic folds

Functions

algebraic_compose(left, right)

(macro)

Algebraic composition of two types

defadt_effect(name, list)

(macro)

Monadic effect composition

defadt_reactor(name, list)

(macro)

Pattern-matching reactor definition with algebraic folds