-- |
-- Module      : SecureBytes
-- License     : BSD-3-Clause
-- Copyright   : (c) 2025 Olivier Chéron
--
-- Use a type-level annotation to decide between a scrubbed byte array or
-- a regular byte array
--
module SecureBytes
    ( SecureBytes, unsafeCreate, SecureBytes.length, copyByteArrayToPtr
    ) where

import Marking

length :: Classified marking => SecureBytes marking -> Int
length :: forall (marking :: SecurityMarking).
Classified marking =>
SecureBytes marking -> Int
length = SecureBytes marking -> Int
forall (marking :: SecurityMarking).
Classified marking =>
SecureBytes marking -> Int
lengthBytes