SInt8 -package:sbv

SInt8 :: SimpleType

copilot-core Copilot.Core.Type

sInt8 :: Size Int8

flat Flat.Encoder Flat.Encoder.Strict

sInt8 :: NumBits

flat Flat.Encoder.Size

casInt8Array# :: MutableByteArray# d -> Int# -> Int8# -> Int8# -> State# d -> (# State# d, Int8# #)

Given an array, an offset in bytes, the expected old value, and the new value, perform an atomic compare and swap i.e. write the new value if the current value matches the provided old value. Returns the value of the element before the operation. Implies a full memory barrier. Warning: this can fail with an unchecked exception.

indexInt8ArrayAsInt8X16# :: ByteArray# -> Int# -> Int8X16#

Read a vector from specified index of immutable array of scalars; offset is in scalar elements.

indexInt8ArrayAsInt8X32# :: ByteArray# -> Int# -> Int8X32#

Read a vector from specified index of immutable array of scalars; offset is in scalar elements.

indexInt8ArrayAsInt8X64# :: ByteArray# -> Int# -> Int8X64#

Read a vector from specified index of immutable array of scalars; offset is in scalar elements.

indexInt8OffAddrAsInt8X16# :: Addr# -> Int# -> Int8X16#

Reads vector; offset in scalar elements.

indexInt8OffAddrAsInt8X32# :: Addr# -> Int# -> Int8X32#

Reads vector; offset in scalar elements.

indexInt8OffAddrAsInt8X64# :: Addr# -> Int# -> Int8X64#

Reads vector; offset in scalar elements.

minusInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#

Subtract two vectors element-wise.

minusInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#

Subtract two vectors element-wise.

minusInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#

Subtract two vectors element-wise.

plusInt8# :: Int8# -> Int8# -> Int8#

plusInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#

Add two vectors element-wise.

plusInt8X32# :: Int8X32# -> Int8X32# -> Int8X32#

Add two vectors element-wise.

plusInt8X64# :: Int8X64# -> Int8X64# -> Int8X64#

Add two vectors element-wise.

readInt8ArrayAsInt8X16# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X16# #)

Read a vector from specified index of mutable array of scalars; offset is in scalar elements. Warning: this can fail with an unchecked exception.

readInt8ArrayAsInt8X32# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X32# #)

Read a vector from specified index of mutable array of scalars; offset is in scalar elements. Warning: this can fail with an unchecked exception.

readInt8ArrayAsInt8X64# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Int8X64# #)

Read a vector from specified index of mutable array of scalars; offset is in scalar elements. Warning: this can fail with an unchecked exception.

readInt8OffAddrAsInt8X16# :: Addr# -> Int# -> State# d -> (# State# d, Int8X16# #)

Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.

readInt8OffAddrAsInt8X32# :: Addr# -> Int# -> State# d -> (# State# d, Int8X32# #)

Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.

readInt8OffAddrAsInt8X64# :: Addr# -> Int# -> State# d -> (# State# d, Int8X64# #)

Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.

timesInt8# :: Int8# -> Int8# -> Int8#

timesInt8X16# :: Int8X16# -> Int8X16# -> Int8X16#

Multiply two vectors element-wise.