Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.MinimalArray.Prim

Documentation

newtype Array a Source #

Constructors

Array 

Fields

Instances

Instances details
Prim a => IsList (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Prim

Associated Types

type Item (Array a) 
Instance details

Defined in Agda.Utils.MinimalArray.Prim

type Item (Array a) = Item (PrimArray a)

Methods

fromList :: [Item (Array a)] -> Array a #

fromListN :: Int -> [Item (Array a)] -> Array a #

toList :: Array a -> [Item (Array a)] #

(Show a, Prim a) => Show (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Prim

Methods

showsPrec :: Int -> Array a -> ShowS #

show :: Array a -> String #

showList :: [Array a] -> ShowS #

(Eq a, Prim a) => Eq (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Prim

Methods

(==) :: Array a -> Array a -> Bool #

(/=) :: Array a -> Array a -> Bool #

type Item (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Prim

type Item (Array a) = Item (PrimArray a)

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 #