mldsa-0.1.0.0: src/SecureBlock.hs

-- |
-- Module      : SecureBlock
-- License     : BSD-3-Clause
-- Copyright   : (c) 2025 Olivier Chéron
--
-- Use a type-level annotation to decide between a scrubbed block or a regular
-- block
--
{-# LANGUAGE CPP #-}
module SecureBlock
    ( SecureBlock, index, new, thaw
    , unsafeCast, unsafeFreeze, toNormalForm
#ifdef ML_DSA_TESTING
    , eq, Marking.showsPrec, toList
#endif
    ) where

import Marking