pantry-0.1.1.2: Content addressable Haskell package management

Safe HaskellNone
LanguageHaskell2010

Pantry.Internal.StaticBytes

Description

This is an unstable API, exposed only for testing. Relying on this may break your code! Caveat emptor.

This module can (and perhaps should) be separate into its own package, it's generally useful.

Documentation

data Bytes8 Source #

Instances
Eq Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

(==) :: Bytes8 -> Bytes8 -> Bool

(/=) :: Bytes8 -> Bytes8 -> Bool

Data Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes8 -> c Bytes8

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes8

toConstr :: Bytes8 -> Constr

dataTypeOf :: Bytes8 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes8)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes8)

gmapT :: (forall b. Data b => b -> b) -> Bytes8 -> Bytes8

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes8 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes8 -> r

gmapQ :: (forall d. Data d => d -> u) -> Bytes8 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes8 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes8 -> m Bytes8

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes8 -> m Bytes8

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes8 -> m Bytes8

Ord Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

compare :: Bytes8 -> Bytes8 -> Ordering

(<) :: Bytes8 -> Bytes8 -> Bool

(<=) :: Bytes8 -> Bytes8 -> Bool

(>) :: Bytes8 -> Bytes8 -> Bool

(>=) :: Bytes8 -> Bytes8 -> Bool

max :: Bytes8 -> Bytes8 -> Bytes8

min :: Bytes8 -> Bytes8 -> Bytes8

Show Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

showsPrec :: Int -> Bytes8 -> ShowS

show :: Bytes8 -> String

showList :: [Bytes8] -> ShowS

Generic Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Associated Types

type Rep Bytes8 :: Type -> Type

Methods

from :: Bytes8 -> Rep Bytes8 x

to :: Rep Bytes8 x -> Bytes8

NFData Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

rnf :: Bytes8 -> ()

Hashable Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

hashWithSalt :: Int -> Bytes8 -> Int

hash :: Bytes8 -> Int

ByteArrayAccess Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

length :: Bytes8 -> Int

withByteArray :: Bytes8 -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes8 -> Ptr p -> IO ()

StaticBytes Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes8 -> Int

toWordsS :: Bytes8 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes8

type Rep Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

type Rep Bytes8 = D1 (MetaData "Bytes8" "Pantry.Internal.StaticBytes" "pantry-0.1.1.2-BmTpU2crkodEtHhqVmZdB" True) (C1 (MetaCons "Bytes8" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word64)))

data Bytes16 Source #

Instances
Eq Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

(==) :: Bytes16 -> Bytes16 -> Bool

(/=) :: Bytes16 -> Bytes16 -> Bool

Data Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes16 -> c Bytes16

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes16

toConstr :: Bytes16 -> Constr

dataTypeOf :: Bytes16 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes16)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes16)

gmapT :: (forall b. Data b => b -> b) -> Bytes16 -> Bytes16

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes16 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes16 -> r

gmapQ :: (forall d. Data d => d -> u) -> Bytes16 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes16 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes16 -> m Bytes16

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes16 -> m Bytes16

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes16 -> m Bytes16

Ord Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

compare :: Bytes16 -> Bytes16 -> Ordering

(<) :: Bytes16 -> Bytes16 -> Bool

(<=) :: Bytes16 -> Bytes16 -> Bool

(>) :: Bytes16 -> Bytes16 -> Bool

(>=) :: Bytes16 -> Bytes16 -> Bool

max :: Bytes16 -> Bytes16 -> Bytes16

min :: Bytes16 -> Bytes16 -> Bytes16

Show Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

showsPrec :: Int -> Bytes16 -> ShowS

show :: Bytes16 -> String

showList :: [Bytes16] -> ShowS

Generic Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Associated Types

type Rep Bytes16 :: Type -> Type

Methods

from :: Bytes16 -> Rep Bytes16 x

to :: Rep Bytes16 x -> Bytes16

NFData Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

rnf :: Bytes16 -> ()

Hashable Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

hashWithSalt :: Int -> Bytes16 -> Int

hash :: Bytes16 -> Int

ByteArrayAccess Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

length :: Bytes16 -> Int

withByteArray :: Bytes16 -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes16 -> Ptr p -> IO ()

StaticBytes Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes16 -> Int

toWordsS :: Bytes16 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes16

type Rep Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

type Rep Bytes16 = D1 (MetaData "Bytes16" "Pantry.Internal.StaticBytes" "pantry-0.1.1.2-BmTpU2crkodEtHhqVmZdB" False) (C1 (MetaCons "Bytes16" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes8) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes8)))

data Bytes32 Source #

Instances
Eq Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

(==) :: Bytes32 -> Bytes32 -> Bool

(/=) :: Bytes32 -> Bytes32 -> Bool

Data Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes32 -> c Bytes32

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes32

toConstr :: Bytes32 -> Constr

dataTypeOf :: Bytes32 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes32)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes32)

gmapT :: (forall b. Data b => b -> b) -> Bytes32 -> Bytes32

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes32 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes32 -> r

gmapQ :: (forall d. Data d => d -> u) -> Bytes32 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes32 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes32 -> m Bytes32

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes32 -> m Bytes32

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes32 -> m Bytes32

Ord Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

compare :: Bytes32 -> Bytes32 -> Ordering

(<) :: Bytes32 -> Bytes32 -> Bool

(<=) :: Bytes32 -> Bytes32 -> Bool

(>) :: Bytes32 -> Bytes32 -> Bool

(>=) :: Bytes32 -> Bytes32 -> Bool

max :: Bytes32 -> Bytes32 -> Bytes32

min :: Bytes32 -> Bytes32 -> Bytes32

Show Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

showsPrec :: Int -> Bytes32 -> ShowS

show :: Bytes32 -> String

showList :: [Bytes32] -> ShowS

Generic Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Associated Types

type Rep Bytes32 :: Type -> Type

Methods

from :: Bytes32 -> Rep Bytes32 x

to :: Rep Bytes32 x -> Bytes32

NFData Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

rnf :: Bytes32 -> ()

Hashable Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

hashWithSalt :: Int -> Bytes32 -> Int

hash :: Bytes32 -> Int

ByteArrayAccess Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

length :: Bytes32 -> Int

withByteArray :: Bytes32 -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes32 -> Ptr p -> IO ()

StaticBytes Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes32 -> Int

toWordsS :: Bytes32 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes32

type Rep Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

type Rep Bytes32 = D1 (MetaData "Bytes32" "Pantry.Internal.StaticBytes" "pantry-0.1.1.2-BmTpU2crkodEtHhqVmZdB" False) (C1 (MetaCons "Bytes32" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes16) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes16)))

data Bytes64 Source #

Instances
Eq Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

(==) :: Bytes64 -> Bytes64 -> Bool

(/=) :: Bytes64 -> Bytes64 -> Bool

Data Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes64 -> c Bytes64

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes64

toConstr :: Bytes64 -> Constr

dataTypeOf :: Bytes64 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes64)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes64)

gmapT :: (forall b. Data b => b -> b) -> Bytes64 -> Bytes64

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes64 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes64 -> r

gmapQ :: (forall d. Data d => d -> u) -> Bytes64 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes64 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes64 -> m Bytes64

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes64 -> m Bytes64

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes64 -> m Bytes64

Ord Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

compare :: Bytes64 -> Bytes64 -> Ordering

(<) :: Bytes64 -> Bytes64 -> Bool

(<=) :: Bytes64 -> Bytes64 -> Bool

(>) :: Bytes64 -> Bytes64 -> Bool

(>=) :: Bytes64 -> Bytes64 -> Bool

max :: Bytes64 -> Bytes64 -> Bytes64

min :: Bytes64 -> Bytes64 -> Bytes64

Show Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

showsPrec :: Int -> Bytes64 -> ShowS

show :: Bytes64 -> String

showList :: [Bytes64] -> ShowS

Generic Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Associated Types

type Rep Bytes64 :: Type -> Type

Methods

from :: Bytes64 -> Rep Bytes64 x

to :: Rep Bytes64 x -> Bytes64

NFData Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

rnf :: Bytes64 -> ()

Hashable Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

hashWithSalt :: Int -> Bytes64 -> Int

hash :: Bytes64 -> Int

ByteArrayAccess Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

length :: Bytes64 -> Int

withByteArray :: Bytes64 -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes64 -> Ptr p -> IO ()

StaticBytes Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes64 -> Int

toWordsS :: Bytes64 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes64

type Rep Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

type Rep Bytes64 = D1 (MetaData "Bytes64" "Pantry.Internal.StaticBytes" "pantry-0.1.1.2-BmTpU2crkodEtHhqVmZdB" False) (C1 (MetaCons "Bytes64" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes32) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes32)))

data Bytes128 Source #

Instances
Eq Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

(==) :: Bytes128 -> Bytes128 -> Bool

(/=) :: Bytes128 -> Bytes128 -> Bool

Data Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes128 -> c Bytes128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes128

toConstr :: Bytes128 -> Constr

dataTypeOf :: Bytes128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes128)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes128)

gmapT :: (forall b. Data b => b -> b) -> Bytes128 -> Bytes128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes128 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Bytes128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes128 -> m Bytes128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes128 -> m Bytes128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes128 -> m Bytes128

Ord Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

compare :: Bytes128 -> Bytes128 -> Ordering

(<) :: Bytes128 -> Bytes128 -> Bool

(<=) :: Bytes128 -> Bytes128 -> Bool

(>) :: Bytes128 -> Bytes128 -> Bool

(>=) :: Bytes128 -> Bytes128 -> Bool

max :: Bytes128 -> Bytes128 -> Bytes128

min :: Bytes128 -> Bytes128 -> Bytes128

Show Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

showsPrec :: Int -> Bytes128 -> ShowS

show :: Bytes128 -> String

showList :: [Bytes128] -> ShowS

Generic Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Associated Types

type Rep Bytes128 :: Type -> Type

Methods

from :: Bytes128 -> Rep Bytes128 x

to :: Rep Bytes128 x -> Bytes128

NFData Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

rnf :: Bytes128 -> ()

Hashable Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

hashWithSalt :: Int -> Bytes128 -> Int

hash :: Bytes128 -> Int

ByteArrayAccess Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

length :: Bytes128 -> Int

withByteArray :: Bytes128 -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: Bytes128 -> Ptr p -> IO ()

StaticBytes Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes128 -> Int

toWordsS :: Bytes128 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes128

type Rep Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

type Rep Bytes128 = D1 (MetaData "Bytes128" "Pantry.Internal.StaticBytes" "pantry-0.1.1.2-BmTpU2crkodEtHhqVmZdB" False) (C1 (MetaCons "Bytes128" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bytes64)))

class DynamicBytes dbytes Source #

Minimal complete definition

lengthD, withPeekD, fromWordsD

Instances
DynamicBytes ByteString Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthD :: ByteString -> Int

withPeekD :: ByteString -> ((Int -> IO Word64) -> IO a) -> IO a

fromWordsD :: Int -> [Word64] -> ByteString

word8 ~ Word8 => DynamicBytes (Vector word8) Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthD :: Vector word8 -> Int

withPeekD :: Vector word8 -> ((Int -> IO Word64) -> IO a) -> IO a

fromWordsD :: Int -> [Word64] -> Vector word8

word8 ~ Word8 => DynamicBytes (Vector word8) Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthD :: Vector word8 -> Int

withPeekD :: Vector word8 -> ((Int -> IO Word64) -> IO a) -> IO a

fromWordsD :: Int -> [Word64] -> Vector word8

word8 ~ Word8 => DynamicBytes (Vector word8) Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthD :: Vector word8 -> Int

withPeekD :: Vector word8 -> ((Int -> IO Word64) -> IO a) -> IO a

fromWordsD :: Int -> [Word64] -> Vector word8

class StaticBytes sbytes Source #

Minimal complete definition

lengthS, toWordsS, usePeekS

Instances
StaticBytes Bytes128 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes128 -> Int

toWordsS :: Bytes128 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes128

StaticBytes Bytes64 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes64 -> Int

toWordsS :: Bytes64 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes64

StaticBytes Bytes32 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes32 -> Int

toWordsS :: Bytes32 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes32

StaticBytes Bytes16 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes16 -> Int

toWordsS :: Bytes16 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes16

StaticBytes Bytes8 Source # 
Instance details

Defined in Pantry.Internal.StaticBytes

Methods

lengthS :: proxy Bytes8 -> Int

toWordsS :: Bytes8 -> [Word64] -> [Word64]

usePeekS :: Int -> (Int -> IO Word64) -> IO Bytes8

toStaticExact :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes Source #

toStaticPad :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes Source #

toStaticTruncate :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> Either StaticBytesException sbytes Source #

toStaticPadTruncate :: (DynamicBytes dbytes, StaticBytes sbytes) => dbytes -> sbytes Source #

fromStatic :: forall dbytes sbytes. (DynamicBytes dbytes, StaticBytes sbytes) => sbytes -> dbytes Source #