Modulevortex-combinators-0.1.1.0GHC2024

Vortex.Combinators.Tee

datadata Divergence (e :: Effect) (m :: Type -> Type) a where

Where a tee reports what its two sides disagreed on.

valuediverged :: Member (Divergence e) r => Mismatch e -> Sem r ()

valuetee

Both sides run every operation, the secondary even when the primary fails; the answer is always the primary's.

valuerunDivergenceAsOutput

valueignoreDivergence :: Sem (Divergence e ': r) a -> Sem r a