Reductions.hs

module Moonlight.Homology.Pure.Reductions
  ( ChainMap (..),
    ChainHomotopy (..),
    Reduction (..),
    ReductionWitness,
    checkedReduction,
    ReductionLawContext (..),
    ReductionViolation (..),
    Validation (..),
    ReductionValidation,
    ReductionChecks (..),
    mkReductionWitness,
  )
where

import Moonlight.Core (Validation (..))
import Moonlight.Homology.Pure.Reductions.Core as X