Agda.Utils.MinimalArray.Prim
newtype Array a Source #
Constructors
Fields
Defined in Agda.Utils.MinimalArray.Prim
Associated Types
Methods
fromList :: [Item (Array a)] -> Array a #
fromListN :: Int -> [Item (Array a)] -> Array a #
toList :: Array a -> [Item (Array a)] #
showsPrec :: Int -> Array a -> ShowS #
show :: Array a -> String #
showList :: [Array a] -> ShowS #
(==) :: Array a -> Array a -> Bool #
(/=) :: Array a -> Array a -> Bool #
size :: Prim a => Array a -> Int Source #
unsafeIndex :: Prim a => Array a -> Int -> a Source #
index :: Prim a => Array a -> Int -> a Source #
foldr' :: Prim a => (a -> b -> b) -> b -> Array a -> b Source #
foldl' :: Prim a => (b -> a -> b) -> b -> Array a -> b Source #
map :: (Prim a, Prim b) => (Int -> a -> b) -> Array a -> Array b Source #
toList :: Prim a => Array a -> [a] Source #
fromList :: Prim a => [a] -> Array a Source #
fromListN :: Prim a => Int -> [a] -> Array a Source #