keiro-dsl-0.21.0.0: src/Keiro/Dsl/FoldFingerprint.hs

{-# OPTIONS_GHC -Werror=incomplete-patterns #-}

-- | Public frozen fold identity API. Comparison evidence remains private.
module Keiro.Dsl.FoldFingerprint
  ( FoldSurfaceError (..),
    renderFoldSurfaceError,
    aggregateFoldFingerprintForService,
    aggregateFoldSurfaceForService,
  )
where

import Keiro.Dsl.FoldEvidence