Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x2b276322026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 2b27632 · 2026-10-31

Modulevortex-combinators-0.1.1.0GHC2024

Vortex.Combinators.Tee

Synopsis

data Divergence
value diverged
value tee
value runDivergenceAsOutput
value ignoreDivergence

Packagevortex-combinators-0.1.1.0
Exports5
LanguageGHC2024
LicenceMIT
SourceTee.hs

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

Where a tee reports what its two sides disagreed on.

Constructors

Diverged :: Mismatch e -> Divergence e m ()

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

valuetee

:: (ResultEq e, Members '[Divergence e, Error Failure] r)
=> Handler e r
-> Handler e r
-> Handler e r

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

valuerunDivergenceAsOutput

:: Sem (Divergence e ': r) a
-> Sem (Output (Mismatch e) ': r) a

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