Data.FixedSizeArray

Fixed size arrays

Intended for qualified import

import Data.FixedSizeArray (FixedSizeArray)
import qualified Data.FixedSizeArray as FSA

Documentation

data FixedSizeArray (n :: Nat) (a :: Type)

Fixed size arrays

FixedSizeArray n a is the Haskell counter-part to the Rust type [A; N].

NOTE: For convenience, this is an instance of Vector, but the invariant that the length of the vector should never change is not currently checked.

Instances

Foldable (FixedSizeArray n)

Defined in Data.FixedSizeArray

Methods

fold :: Monoid m => FixedSizeArray n m -> m

foldMap :: Monoid m => (a -> m) -> FixedSizeArray n a -> m

foldMap' :: Monoid m => (a -> m) -> FixedSizeArray n a -> m

foldr :: (a -> b -> b) -> b -> FixedSizeArray n a -> b

foldr' :: (a -> b -> b) -> b -> FixedSizeArray n a -> b

foldl :: (b -> a -> b) -> b -> FixedSizeArray n a -> b

foldl' :: (b -> a -> b) -> b -> FixedSizeArray n a -> b

foldr1 :: (a -> a -> a) -> FixedSizeArray n a -> a

foldl1 :: (a -> a -> a) -> FixedSizeArray n a -> a

toList :: FixedSizeArray n a -> [a]

null :: FixedSizeArray n a -> Bool

length :: FixedSizeArray n a -> Int

elem :: Eq a => a -> FixedSizeArray n a -> Bool

maximum :: Ord a => FixedSizeArray n a -> a

minimum :: Ord a => FixedSizeArray n a -> a

sum :: Num a => FixedSizeArray n a -> a

product :: Num a => FixedSizeArray n a -> a

KnownNat n => Traversable (FixedSizeArray n)

Defined in Data.FixedSizeArray

Methods

traverse :: Applicative f => (a -> f b) -> FixedSizeArray n a -> f (FixedSizeArray n b)

sequenceA :: Applicative f => FixedSizeArray n (f a) -> f (FixedSizeArray n a)

mapM :: Monad m => (a -> m b) -> FixedSizeArray n a -> m (FixedSizeArray n b)

sequence :: Monad m => FixedSizeArray n (m a) -> m (FixedSizeArray n a)

Functor (FixedSizeArray n)

Defined in Data.FixedSizeArray

Methods

fmap :: (a -> b) -> FixedSizeArray n a -> FixedSizeArray n b

(<$) :: a -> FixedSizeArray n b -> FixedSizeArray n a

Vector (FixedSizeArray n) a

Defined in Data.FixedSizeArray

Methods

basicUnsafeFreeze :: Mutable (FixedSizeArray n) s a -> ST s (FixedSizeArray n a)

basicUnsafeThaw :: FixedSizeArray n a -> ST s (Mutable (FixedSizeArray n) s a)

basicLength :: FixedSizeArray n a -> Int

basicUnsafeSlice :: Int -> Int -> FixedSizeArray n a -> FixedSizeArray n a

basicUnsafeIndexM :: FixedSizeArray n a -> Int -> Box a

basicUnsafeCopy :: Mutable (FixedSizeArray n) s a -> FixedSizeArray n a -> ST s ()

elemseq :: FixedSizeArray n a -> a -> b -> b

Show a => Show (FixedSizeArray n a)

Defined in Data.FixedSizeArray

Methods

showsPrec :: Int -> FixedSizeArray n a -> ShowS

show :: FixedSizeArray n a -> String

showList :: [FixedSizeArray n a] -> ShowS

(KnownNat n, BorshSize a) => BorshSize (FixedSizeArray n a)

Defined in Codec.Borsh.Class

Associated Types

type StaticBorshSize (FixedSizeArray n a) :: KnownSize

Methods

borshSize :: Proxy (FixedSizeArray n a) -> Size (StaticBorshSize (FixedSizeArray n a))

(FromBorsh a, KnownNat n) => FromBorsh (FixedSizeArray n a)

Defined in Codec.Borsh.Class

Methods

decodeBorsh :: Decoder s (FixedSizeArray n a)

(KnownNat n, ToBorsh a) => ToBorsh (FixedSizeArray n a)

Defined in Codec.Borsh.Class

Methods

encodeBorsh :: Encoder (FixedSizeArray n a)

Eq a => Eq (FixedSizeArray n a)

Defined in Data.FixedSizeArray

Methods

(==) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

(/=) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

Ord a => Ord (FixedSizeArray n a)

Defined in Data.FixedSizeArray

Methods

compare :: FixedSizeArray n a -> FixedSizeArray n a -> Ordering

(<) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

(<=) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

(>) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

(>=) :: FixedSizeArray n a -> FixedSizeArray n a -> Bool

max :: FixedSizeArray n a -> FixedSizeArray n a -> FixedSizeArray n a

min :: FixedSizeArray n a -> FixedSizeArray n a -> FixedSizeArray n a

type Mutable (FixedSizeArray n)

Defined in Data.FixedSizeArray

type Mutable (FixedSizeArray n) = MFixedSizeArray n

type StaticBorshSize (FixedSizeArray n a)

Defined in Codec.Borsh.Class

type StaticBorshSize (FixedSizeArray n a) = StaticBorshSize a

data MFixedSizeArray (n :: Nat) s (a :: Type)

Mutable fixed-size arrays

Instances

MVector (MFixedSizeArray n) a

Defined in Data.FixedSizeArray

Methods

basicLength :: MFixedSizeArray n s a -> Int

basicUnsafeSlice :: Int -> Int -> MFixedSizeArray n s a -> MFixedSizeArray n s a

basicOverlaps :: MFixedSizeArray n s a -> MFixedSizeArray n s a -> Bool

basicUnsafeNew :: Int -> ST s (MFixedSizeArray n s a)

basicInitialize :: MFixedSizeArray n s a -> ST s ()

basicUnsafeReplicate :: Int -> a -> ST s (MFixedSizeArray n s a)

basicUnsafeRead :: MFixedSizeArray n s a -> Int -> ST s a

basicUnsafeWrite :: MFixedSizeArray n s a -> Int -> a -> ST s ()

basicClear :: MFixedSizeArray n s a -> ST s ()

basicSet :: MFixedSizeArray n s a -> a -> ST s ()

basicUnsafeCopy :: MFixedSizeArray n s a -> MFixedSizeArray n s a -> ST s ()

basicUnsafeMove :: MFixedSizeArray n s a -> MFixedSizeArray n s a -> ST s ()

basicUnsafeGrow :: MFixedSizeArray n s a -> Int -> ST s (MFixedSizeArray n s a)

toArray :: FixedSizeArray n a -> Vector a

toMArray :: MFixedSizeArray n s a -> MVector s a

Construction

fromList :: forall n a. KnownNat n => [a] -> FixedSizeArray n a

Construct FixedSizeArray from list of unknown size

Throws an exception if the list does not have the right number of elements.

fromArray :: forall n a. KnownNat n => Vector a -> FixedSizeArray n a

Construct FixedSizeArray from array of unknown size

Throws an exception if the array does not have the right size.

fromMArray :: forall n s a. KnownNat n => MVector s a -> MFixedSizeArray n s a

Construct FixedSizeArray from mutable array of unknown size

Throws an exception if the array does not have the right size.

new :: forall m n a. (PrimMonad m, KnownNat n) => m (MFixedSizeArray n (PrimState m) a)

Construct new mutable array of the appropriate size