Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Contiguous (arr :: Type -> Type) where
- class Always a
- map :: (Contiguous arr, Element arr b, Element arr c) => (b -> c) -> arr b -> arr c
- foldl' :: (Contiguous arr, Element arr a) => (b -> a -> b) -> b -> arr a -> b
- foldr' :: (Contiguous arr, Element arr a) => (a -> b -> b) -> b -> arr a -> b
- foldMap' :: (Contiguous arr, Element arr a, Monoid m) => (a -> m) -> arr a -> m
Documentation
class Contiguous (arr :: Type -> Type) where Source #
A contiguous array of elements.
empty, new, index, index#, indexM, read, write, resize, size, sizeMutable, unsafeFreeze, copy, copyMutable, clone, cloneMutable, foldr, equals, unlift, lift
type Mutable arr = (r :: Type -> Type -> Type) | r -> arr Source #
type Element arr :: Type -> Constraint Source #
new :: Element arr b => Int -> ST s (Mutable arr s b) Source #
index :: Element arr b => arr b -> Int -> b Source #
index# :: Element arr b => arr b -> Int -> (#b#) Source #
indexM :: (Element arr b, Monad m) => arr b -> Int -> m b Source #
read :: Element arr b => Mutable arr s b -> Int -> ST s b Source #
write :: Element arr b => Mutable arr s b -> Int -> b -> ST s () Source #
resize :: Element arr b => Mutable arr s b -> Int -> ST s (Mutable arr s b) Source #
size :: Element arr b => arr b -> Int Source #
sizeMutable :: Element arr b => Mutable arr s b -> ST s Int Source #
unsafeFreeze :: Mutable arr s b -> ST s (arr b) Source #
copy :: Element arr b => Mutable arr s b -> Int -> arr b -> Int -> Int -> ST s () Source #
copyMutable :: Element arr b => Mutable arr s b -> Int -> Mutable arr s b -> Int -> Int -> ST s () Source #
clone :: Element arr b => arr b -> Int -> Int -> arr b Source #
cloneMutable :: Element arr b => Mutable arr s b -> Int -> Int -> ST s (Mutable arr s b) Source #
foldr :: Element arr b => (b -> c -> c) -> c -> arr b -> c Source #
equals :: (Element arr b, Eq b) => arr b -> arr b -> Bool Source #
unlift :: arr b -> ArrayArray# Source #
lift :: ArrayArray# -> arr b Source #
foldl' :: (Contiguous arr, Element arr a) => (b -> a -> b) -> b -> arr a -> b Source #
foldr' :: (Contiguous arr, Element arr a) => (a -> b -> b) -> b -> arr a -> b Source #