Modulefoundation-0.0.30Haskell2010

Foundation.Primitive

Contents

endianess
Integral convertion
Evaluation
These
Block of memory
Ascii

Synopsis

class PrimType
class PrimMonad
class ByteSwap
newtype LE
value toLE
value fromLE
newtype BE
value toBE
value fromBE
class IntegralUpsize
class IntegralDownsize
class NormalForm
value force
value deepseq
data These
data Block
data MutableBlock
newtype Char7
newtype AsciiString

Packagefoundation-0.0.30
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourcePrimType.hs

classclass Eq ty => PrimType ty where

Source#

Represent the accessor for types that can be stored in the UArray and MUArray.

Types need to be a instance of storable and have fixed sized.

Associated types

type family PrimSize ty :: Nat
type level size of the given ty

Methods

primSizeInBytes :: Proxy ty -> CountOf Word8
get the size in bytes of a ty element
primShiftToBytes :: Proxy ty -> Int
get the shift size
primBaUIndex :: ByteArray# -> Offset ty -> ty
return the element stored at a specific index
primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> prim ty
Read an element at an index in a mutable array
primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset ty -> ty -> prim ()
Write an element to a specific cell in a mutable array.
primAddrIndex :: Addr# -> Offset ty -> ty
Read from Address, without a state. the value read should be considered a constant for all pratical purpose, otherwise bad thing will happens.
primAddrRead :: PrimMonad prim => Addr# -> Offset ty -> prim ty
Read a value from Addr in a specific primitive monad
primAddrWrite :: PrimMonad prim => Addr# -> Offset ty -> ty -> prim ()
Write a value to Addr in a specific primitive monad

Instances22PrimType, …

PrimType Char7Defined in basement-0.0.16 · Basement.PrimType
PrimType Word128Defined in basement-0.0.16 · Basement.PrimType
PrimType Word256Defined in basement-0.0.16 · Basement.PrimType
PrimType NanoSecondsDefined in foundation-0.0.30 · Foundation.Time.Types
PrimType SecondsDefined in foundation-0.0.30 · Foundation.Time.Types
PrimType CCharDefined in basement-0.0.16 · Basement.PrimType
PrimType CUCharDefined in basement-0.0.16 · Basement.PrimType
PrimType Int16Defined in basement-0.0.16 · Basement.PrimType
PrimType Int32Defined in basement-0.0.16 · Basement.PrimType
PrimType Int64Defined in basement-0.0.16 · Basement.PrimType
PrimType Int8Defined in basement-0.0.16 · Basement.PrimType
PrimType CharDefined in basement-0.0.16 · Basement.PrimType
PrimType DoubleDefined in basement-0.0.16 · Basement.PrimType
PrimType FloatDefined in basement-0.0.16 · Basement.PrimType
PrimType IntDefined in basement-0.0.16 · Basement.PrimType
PrimType WordDefined in basement-0.0.16 · Basement.PrimType
PrimType Word16Defined in basement-0.0.16 · Basement.PrimType
PrimType Word32Defined in basement-0.0.16 · Basement.PrimType
PrimType Word64Defined in basement-0.0.16 · Basement.PrimType
PrimType Word8Defined in basement-0.0.16 · Basement.PrimType
PrimType a => PrimType (BE a)Defined in basement-0.0.16 · Basement.PrimType
PrimType a => PrimType (LE a)Defined in basement-0.0.16 · Basement.PrimType

classclass (Functor m, Applicative m, Monad m) => PrimMonad (m :: Type -> Type) where

Source#

Primitive monad that can handle mutation.

For example: IO and ST.

Associated types

type family PrimState (m :: Type -> Type)
type of state token associated with the PrimMonad m
type family PrimVar (m :: Type -> Type) :: Type -> Type
type of variable associated with the PrimMonad m

Methods

primitive :: (State# (PrimState m) -> (# State# (PrimState m), a #)) -> m a
Unwrap the State# token to pass to a function a primitive function that returns an unboxed state and a value.
primThrow :: Exception e => e -> m a
Throw Exception in the primitive monad
unPrimMonad :: m a -> State# (PrimState m) -> (# State# (PrimState m), a #)
Run a Prim monad from a dedicated state#
primVarNew :: a -> m (PrimVar m a)
Build a new variable in the Prim Monad
primVarRead :: PrimVar m a -> m a
Read the variable in the Prim Monad
primVarWrite :: PrimVar m a -> a -> m ()
Write the variable in the Prim Monad

Instances2PrimMonad

PrimMonad IODefined in basement-0.0.16 · Basement.Monad
PrimMonad (ST s)Defined in basement-0.0.16 · Basement.Monad

endianess

classclass ByteSwap a where

Source#

Class of types that can be byte-swapped.

e.g. Word16, Word32, Word64

Instances3ByteSwap

ByteSwap Word16Defined in basement-0.0.16 · Basement.Endianness
ByteSwap Word32Defined in basement-0.0.16 · Basement.Endianness
ByteSwap Word64Defined in basement-0.0.16 · Basement.Endianness

newtypenewtype LE a

Source#

Little Endian value

Constructors

LE
- unLE :: a

Instances18Eq, Ord, Show, Bits, PrimType, NormalForm, …

Eq a => Eq (LE a)Defined in basement-0.0.16 · Basement.Endianness
(ByteSwap a, Ord a) => Ord (LE a)Defined in basement-0.0.16 · Basement.Endianness
Show a => Show (LE a)Defined in basement-0.0.16 · Basement.Endianness
Bits a => Bits (LE a)Defined in basement-0.0.16 · Basement.Endianness
PrimType a => PrimType (LE a)Defined in basement-0.0.16 · Basement.PrimType
NormalForm a => NormalForm (LE a)Defined in basement-0.0.16 · Basement.NormalForm
PrimMemoryComparable a => PrimMemoryComparable (LE a)Defined in basement-0.0.16 · Basement.PrimType
Storable (LE Word128)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (LE Word256)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (LE Word16)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (LE Word32)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (LE Word64)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (LE Word128)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (LE Word256)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (LE Word16)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (LE Word32)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (LE Word64)Defined in foundation-0.0.30 · Foundation.Class.Storable
type PrimSize (LE a) = PrimSize aDefined in basement-0.0.16 · Basement.PrimType

valuetoLE :: ByteSwap a => a -> LE a

Source#

Convert a value in cpu endianess to little endian

valuefromLE :: ByteSwap a => LE a -> a

Source#

Convert from a little endian value to the cpu endianness

newtypenewtype BE a

Source#

Big Endian value

Constructors

BE
- unBE :: a

Instances18Eq, Ord, Show, Bits, PrimType, NormalForm, …

Eq a => Eq (BE a)Defined in basement-0.0.16 · Basement.Endianness
(ByteSwap a, Ord a) => Ord (BE a)Defined in basement-0.0.16 · Basement.Endianness
Show a => Show (BE a)Defined in basement-0.0.16 · Basement.Endianness
Bits a => Bits (BE a)Defined in basement-0.0.16 · Basement.Endianness
PrimType a => PrimType (BE a)Defined in basement-0.0.16 · Basement.PrimType
NormalForm a => NormalForm (BE a)Defined in basement-0.0.16 · Basement.NormalForm
PrimMemoryComparable a => PrimMemoryComparable (BE a)Defined in basement-0.0.16 · Basement.PrimType
Storable (BE Word128)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (BE Word256)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (BE Word16)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (BE Word32)Defined in foundation-0.0.30 · Foundation.Class.Storable
Storable (BE Word64)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (BE Word128)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (BE Word256)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (BE Word16)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (BE Word32)Defined in foundation-0.0.30 · Foundation.Class.Storable
StorableFixed (BE Word64)Defined in foundation-0.0.30 · Foundation.Class.Storable
type PrimSize (BE a) = PrimSize aDefined in basement-0.0.16 · Basement.PrimType

valuetoBE :: ByteSwap a => a -> BE a

Source#

Convert a value in cpu endianess to big endian

valuefromBE :: ByteSwap a => BE a -> a

Source#

Convert from a big endian value to the cpu endianness

Integral convertion

classclass IntegralUpsize a b where

Source#

Upsize an integral value

The destination type b size need to be greater or equal than the size type of a

Methods

integralUpsize :: a -> b

Instances26IntegralUpsize, …

IntegralUpsize Int16 Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int16 Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int16 IntDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int32 Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int32 IntDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int8 Int16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int8 Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int8 Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int8 IntDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Int Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word16 WordDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word16 Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word16 Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word32 WordDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word32 Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Int16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 IntDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 WordDefined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralUpsize Word8 Word64Defined in basement-0.0.16 · Basement.IntegralConv
IsIntegral a => IntegralUpsize a IntegerDefined in basement-0.0.16 · Basement.IntegralConv
IsNatural a => IntegralUpsize a NaturalDefined in basement-0.0.16 · Basement.IntegralConv

classclass IntegralDownsize a b where

Source#

Downsize an integral value

Methods

integralDownsize :: a -> b
integralDownsizeCheck :: a -> Maybe b

Instances29IntegralDownsize, …

IntegralDownsize Integer NaturalDefined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Int16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Int64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Int8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Integer Word8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word64Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Natural Word8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int64 Int16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int64 Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int64 Int8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int64 IntDefined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int Int16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int Int32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Int Int8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word Word8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word16 Word8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word32 Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word32 Word8Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word64 Word16Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word64 Word32Defined in basement-0.0.16 · Basement.IntegralConv
IntegralDownsize Word64 Word8Defined in basement-0.0.16 · Basement.IntegralConv

Evaluation

classclass NormalForm a where

Source#

Data that can be fully evaluated in Normal Form

Methods

toNormalForm :: a -> ()

Instances70NormalForm, …

NormalForm Char7Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Word128Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Word256Defined in basement-0.0.16 · Basement.NormalForm
NormalForm StringDefined in basement-0.0.16 · Basement.UTF8.Base
NormalForm CSVDefined in foundation-0.0.30 · Foundation.Format.CSV.Types
NormalForm EscapingDefined in foundation-0.0.30 · Foundation.Format.CSV.Types
NormalForm FieldDefined in foundation-0.0.30 · Foundation.Format.CSV.Types
NormalForm RowDefined in foundation-0.0.30 · Foundation.Format.CSV.Types
NormalForm IPv4Defined in foundation-0.0.30 · Foundation.Network.IPv4
NormalForm IPv6Defined in foundation-0.0.30 · Foundation.Network.IPv6
NormalForm UUIDDefined in foundation-0.0.30 · Foundation.UUID
NormalForm IntegerDefined in basement-0.0.16 · Basement.NormalForm
NormalForm NaturalDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CCharDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CDoubleDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CFloatDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CIntDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CLLongDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CLongDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CSCharDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CShortDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CUCharDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CUIntDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CULLongDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CULongDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CUShortDefined in basement-0.0.16 · Basement.NormalForm
NormalForm Int16Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Int32Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Int64Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Int8Defined in basement-0.0.16 · Basement.NormalForm
NormalForm BoolDefined in basement-0.0.16 · Basement.NormalForm
NormalForm CharDefined in basement-0.0.16 · Basement.NormalForm
NormalForm DoubleDefined in basement-0.0.16 · Basement.NormalForm
NormalForm FloatDefined in basement-0.0.16 · Basement.NormalForm
NormalForm IntDefined in basement-0.0.16 · Basement.NormalForm
NormalForm WordDefined in basement-0.0.16 · Basement.NormalForm
NormalForm Word16Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Word32Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Word64Defined in basement-0.0.16 · Basement.NormalForm
NormalForm Word8Defined in basement-0.0.16 · Basement.NormalForm
NormalForm ()Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
NormalForm (Zn n)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (Zn64 n)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (CountOf a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (Offset a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (UArray ty)Defined in basement-0.0.16 · Basement.UArray.Base
NormalForm (ChunkedUArray ty)Defined in foundation-0.0.30 · Foundation.Array.Chunked.Unboxed
NormalForm (Ptr a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm a => NormalForm (Array a)Defined in basement-0.0.16 · Basement.BoxedArray
NormalForm a => NormalForm (BE a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm a => NormalForm (LE a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm a => NormalForm (Maybe a)Defined in basement-0.0.16 · Basement.NormalForm
NormalForm a => NormalForm [a]Defined in basement-0.0.16 · Basement.NormalForm
NormalForm (BlockN n a)Defined in basement-0.0.16 · Basement.Sized.Block
NormalForm (UVect n a)Defined in basement-0.0.16 · Basement.Sized.UVect
NormalForm a => NormalForm (ListN n a)Defined in basement-0.0.16 · Basement.Sized.List
NormalForm a => NormalForm (Vect n a)Defined in basement-0.0.16 · Basement.Sized.Vect
(NormalForm a, NormalForm b) => NormalForm (These a b)Defined in basement-0.0.16 · Basement.These
(NormalForm a, NormalForm b) => NormalForm (Tuple2 a b)Defined in foundation-0.0.30 · Foundation.Tuple
(NormalForm a, NormalForm b) => NormalForm (a, b)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm l, NormalForm r) => NormalForm (Either l r)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c) => NormalForm (Tuple3 a b c)Defined in foundation-0.0.30 · Foundation.Tuple
(NormalForm a, NormalForm b, NormalForm c) => NormalForm (a, b, c)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c, NormalForm d) => NormalForm (Tuple4 a b c d)Defined in foundation-0.0.30 · Foundation.Tuple
(NormalForm a, NormalForm b, NormalForm c, NormalForm d) => NormalForm (a, b, c, d)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e) => NormalForm (a, b, c, d, e)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f) => NormalForm (a, b, c, d, e, f)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g) => NormalForm (a, b, c, d, e, f, g)Defined in basement-0.0.16 · Basement.NormalForm
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g, NormalForm h) => NormalForm (a, b, c, d, e, f, g, h)Defined in basement-0.0.16 · Basement.NormalForm

valueforce :: NormalForm a => a -> a

valuedeepseq :: NormalForm a => a -> b -> b

These

datadata These a b

Source#

Either a or b or both.

Constructors

This a
That b
These a b

Instances5Eq, Ord, Show, NormalForm, From

(Eq a, Eq b) => Eq (These a b)Defined in basement-0.0.16 · Basement.These
(Ord a, Ord b) => Ord (These a b)Defined in basement-0.0.16 · Basement.These
(Show a, Show b) => Show (These a b)Defined in basement-0.0.16 · Basement.These
(NormalForm a, NormalForm b) => NormalForm (These a b)Defined in basement-0.0.16 · Basement.These
From (Either a b) (These a b)Defined in basement-0.0.16 · Basement.From

Block of memory

datadata Block ty

Source#

A block of memory containing unpacked bytes representing values of type ty

Instances24IsList, Eq, Data, Ord, Show, Semigroup, …

PrimType ty => IsList (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
(PrimType ty, Eq ty) => Eq (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
Data ty => Data (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
(PrimType ty, Ord ty) => Ord (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
(PrimType ty, Show ty) => Show (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
PrimType ty => Semigroup (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
PrimType ty => Monoid (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
NormalForm (Block ty)Defined in basement-0.0.16 · Basement.Block.Base
PrimType ty => Collection (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Collection
PrimType ty => Foldable (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
PrimType ty => Sequential (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Sequential
PrimType ty => Copy (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Copy
PrimType ty => Fold1able (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Foldable
PrimType ty => IndexedCollection (Block ty)Defined in foundation-0.0.30 · Foundation.Collection.Indexed
Indexable (Block Word8) Word64Defined in basement-0.0.16 · Basement.Block · orphan
PrimType ty => Indexable (Block ty) tyDefined in basement-0.0.16 · Basement.Block · orphan
Cast (Block a) (Block Word8)Defined in basement-0.0.16 · Basement.Cast
PrimType ty => From (Block ty) (UArray ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (Array ty) (Block ty)Defined in basement-0.0.16 · Basement.From
PrimType ty => From (UArray ty) (Block ty)Defined in basement-0.0.16 · Basement.From
(NatWithinBound (CountOf ty) n, KnownNat n, PrimType ty) => TryFrom (Block ty) (BlockN n ty)Defined in basement-0.0.16 · Basement.From
From (BlockN n ty) (Block ty)Defined in basement-0.0.16 · Basement.From
type Item (Block ty) = tyDefined in basement-0.0.16 · Basement.Block.Base
type Element (Block ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Element

datadata MutableBlock ty st

Source#

A Mutable block of memory containing unpacked bytes representing values of type ty

Instances5MutableCollection, RandomAccess, MutableFreezed, MutableKey, MutableValue

PrimType ty => MutableCollection (MutableBlock ty)Defined in foundation-0.0.30 · Foundation.Collection.Mutable
(PrimMonad prim, st ~ PrimState prim, PrimType ty) => RandomAccess (MutableBlock ty st) prim tyDefined in basement-0.0.16 · Basement.Block · orphan
type MutableFreezed (MutableBlock ty) = Block tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableKey (MutableBlock ty) = Offset tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable
type MutableValue (MutableBlock ty) = tyDefined in foundation-0.0.30 · Foundation.Collection.Mutable

Ascii

newtypenewtype Char7

Source#

ASCII value between 0x0 and 0x7f

Instances8Eq, Ord, Show, PrimType, NormalForm, Arbitrary, …

Eq Char7Defined in basement-0.0.16 · Basement.Types.Char7
Ord Char7Defined in basement-0.0.16 · Basement.Types.Char7
Show Char7Defined in basement-0.0.16 · Basement.Types.Char7
PrimType Char7Defined in basement-0.0.16 · Basement.PrimType
NormalForm Char7Defined in basement-0.0.16 · Basement.NormalForm
Arbitrary Char7Defined in foundation-0.0.30 · Foundation.Check.Arbitrary
type PrimSize Char7 = 1Defined in basement-0.0.16 · Basement.PrimType
type NatNumMaxBound Char7 = 127Defined in basement-0.0.16 · Basement.Nat

newtypenewtype AsciiString

Source#

Opaque packed array of characters in the ASCII encoding

Instances15IsList, Eq, Ord, Show, IsString, Semigroup, …

IsList AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Eq AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Ord AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Show AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
IsString AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Semigroup AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Monoid AsciiStringDefined in basement-0.0.16 · Basement.Types.AsciiString
Collection AsciiStringDefined in foundation-0.0.30 · Foundation.Collection.Collection
Sequential AsciiStringDefined in foundation-0.0.30 · Foundation.Collection.Sequential
Arbitrary AsciiStringDefined in foundation-0.0.30 · Foundation.Check.Arbitrary
Zippable AsciiStringDefined in foundation-0.0.30 · Foundation.Collection.Zippable
From AsciiString StringDefined in basement-0.0.16 · Basement.From
From AsciiString (UArray Word8)Defined in basement-0.0.16 · Basement.From
type Item AsciiString = Char7Defined in basement-0.0.16 · Basement.Types.AsciiString
type Element AsciiString = Char7Defined in foundation-0.0.30 · Foundation.Collection.Element