vext-0.1.8.0: Array library monomorphized with backpack
Safe HaskellNone
LanguageHaskell2010

Vector.Int64.Masked

Documentation

data Vector (a :: Nat) (b :: TYPE R) where #

Constructors

Vector :: forall (a :: Nat) (b :: TYPE R). Vector# a Bool# -> Vector# a b -> Vector a b 

unsafeFreeze :: forall s (n :: Nat) (a :: TYPE R). MutableVector s n a -> ST s (Vector n a) #

foldMap :: forall (n :: Nat) (a :: TYPE R) m. Monoid m => (Maybe# a -> m) -> Nat# n -> Vector n a -> m #

write :: forall s (n :: Nat) (a :: TYPE R). MutableVector s n a -> Fin# n -> a -> ST s () #

data MutableVector a (b :: Nat) (c :: TYPE R) where #

Constructors

MutableVector :: forall a (b :: Nat) (c :: TYPE R). MutableVector# a b Bool# -> MutableVector# a b c -> MutableVector a b c 

initializeAbsent :: forall s (n :: Nat) (a :: TYPE R). Nat# n -> a -> ST s (MutableVector s n a) #