{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module Cardano.Crypto.Raw (
  Raw (..),
) where

import Cardano.Ledger.Binary (DecCBOR, EncCBOR, FromCBOR, ToCBOR)
import Control.DeepSeq (NFData)
import Data.ByteString (ByteString)
import Prelude

-- | A wrapper over 'ByteString' for signalling that a bytestring should be
--   processed as a sequence of bytes, not as a separate entity. It's used in
--   crypto and binary code.
newtype Raw = Raw ByteString
  deriving (Raw -> Raw -> Bool
(Raw -> Raw -> Bool) -> (Raw -> Raw -> Bool) -> Eq Raw
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Raw -> Raw -> Bool
== :: Raw -> Raw -> Bool
$c/= :: Raw -> Raw -> Bool
/= :: Raw -> Raw -> Bool
Eq, Eq Raw
Eq Raw =>
(Raw -> Raw -> Ordering)
-> (Raw -> Raw -> Bool)
-> (Raw -> Raw -> Bool)
-> (Raw -> Raw -> Bool)
-> (Raw -> Raw -> Bool)
-> (Raw -> Raw -> Raw)
-> (Raw -> Raw -> Raw)
-> Ord Raw
Raw -> Raw -> Bool
Raw -> Raw -> Ordering
Raw -> Raw -> Raw
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: Raw -> Raw -> Ordering
compare :: Raw -> Raw -> Ordering
$c< :: Raw -> Raw -> Bool
< :: Raw -> Raw -> Bool
$c<= :: Raw -> Raw -> Bool
<= :: Raw -> Raw -> Bool
$c> :: Raw -> Raw -> Bool
> :: Raw -> Raw -> Bool
$c>= :: Raw -> Raw -> Bool
>= :: Raw -> Raw -> Bool
$cmax :: Raw -> Raw -> Raw
max :: Raw -> Raw -> Raw
$cmin :: Raw -> Raw -> Raw
min :: Raw -> Raw -> Raw
Ord, Int -> Raw -> ShowS
[Raw] -> ShowS
Raw -> String
(Int -> Raw -> ShowS)
-> (Raw -> String) -> ([Raw] -> ShowS) -> Show Raw
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Raw -> ShowS
showsPrec :: Int -> Raw -> ShowS
$cshow :: Raw -> String
show :: Raw -> String
$cshowList :: [Raw] -> ShowS
showList :: [Raw] -> ShowS
Show, Raw -> ()
(Raw -> ()) -> NFData Raw
forall a. (a -> ()) -> NFData a
$crnf :: Raw -> ()
rnf :: Raw -> ()
NFData, Typeable Raw
Typeable Raw =>
(forall s. Decoder s Raw)
-> (forall s. Proxy Raw -> Decoder s ())
-> (Proxy Raw -> Text)
-> DecCBOR Raw
Proxy Raw -> Text
forall s. Decoder s Raw
forall a.
Typeable a =>
(forall s. Decoder s a)
-> (forall s. Proxy a -> Decoder s ())
-> (Proxy a -> Text)
-> DecCBOR a
forall s. Proxy Raw -> Decoder s ()
$cdecCBOR :: forall s. Decoder s Raw
decCBOR :: forall s. Decoder s Raw
$cdropCBOR :: forall s. Proxy Raw -> Decoder s ()
dropCBOR :: forall s. Proxy Raw -> Decoder s ()
$clabel :: Proxy Raw -> Text
label :: Proxy Raw -> Text
DecCBOR, Typeable Raw
Typeable Raw =>
(Raw -> Encoding)
-> ((forall t. EncCBOR t => Proxy t -> Size) -> Proxy Raw -> Size)
-> ((forall t. EncCBOR t => Proxy t -> Size)
    -> Proxy [Raw] -> Size)
-> EncCBOR Raw
Raw -> Encoding
(forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
(forall t. EncCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
forall a.
Typeable a =>
(a -> Encoding)
-> ((forall t. EncCBOR t => Proxy t -> Size) -> Proxy a -> Size)
-> ((forall t. EncCBOR t => Proxy t -> Size) -> Proxy [a] -> Size)
-> EncCBOR a
$cencCBOR :: Raw -> Encoding
encCBOR :: Raw -> Encoding
$cencodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
$cencodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
EncCBOR, Typeable Raw
Typeable Raw =>
(forall s. Decoder s Raw) -> (Proxy Raw -> Text) -> FromCBOR Raw
Proxy Raw -> Text
forall s. Decoder s Raw
forall a.
Typeable a =>
(forall s. Decoder s a) -> (Proxy a -> Text) -> FromCBOR a
$cfromCBOR :: forall s. Decoder s Raw
fromCBOR :: forall s. Decoder s Raw
$clabel :: Proxy Raw -> Text
label :: Proxy Raw -> Text
FromCBOR, Typeable Raw
Typeable Raw =>
(Raw -> Encoding)
-> ((forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size)
-> ((forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size)
-> ToCBOR Raw
Raw -> Encoding
(forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
(forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
forall a.
Typeable a =>
(a -> Encoding)
-> ((forall t. ToCBOR t => Proxy t -> Size) -> Proxy a -> Size)
-> ((forall t. ToCBOR t => Proxy t -> Size) -> Proxy [a] -> Size)
-> ToCBOR a
$ctoCBOR :: Raw -> Encoding
toCBOR :: Raw -> Encoding
$cencodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size
$cencodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size
ToCBOR)