Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.MinimalArray.Lifted

Synopsis

Documentation

newtype Array a Source #

Constructors

Array 

Fields

Instances

Instances details
Functor Array Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

Methods

fmap :: (a -> b) -> Array a -> Array b #

(<$) :: a -> Array b -> Array a #

Foldable Array Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

Methods

fold :: Monoid m => Array m -> m #

foldMap :: Monoid m => (a -> m) -> Array a -> m #

foldMap' :: Monoid m => (a -> m) -> Array a -> m #

foldr :: (a -> b -> b) -> b -> Array a -> b #

foldr' :: (a -> b -> b) -> b -> Array a -> b #

foldl :: (b -> a -> b) -> b -> Array a -> b #

foldl' :: (b -> a -> b) -> b -> Array a -> b #

foldr1 :: (a -> a -> a) -> Array a -> a #

foldl1 :: (a -> a -> a) -> Array a -> a #

toList :: Array a -> [a] #

null :: Array a -> Bool #

length :: Array a -> Int #

elem :: Eq a => a -> Array a -> Bool #

maximum :: Ord a => Array a -> a #

minimum :: Ord a => Array a -> a #

sum :: Num a => Array a -> a #

product :: Num a => Array a -> a #

Traversable Array Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

Methods

traverse :: Applicative f => (a -> f b) -> Array a -> f (Array b) #

sequenceA :: Applicative f => Array (f a) -> f (Array a) #

mapM :: Monad m => (a -> m b) -> Array a -> m (Array b) #

sequence :: Monad m => Array (m a) -> m (Array a) #

Serialize a => Serialize (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

Methods

size :: Array a -> Int Source #

put :: Array a -> Put Source #

get :: Get (Array a) Source #

IsList (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

Associated Types

type Item (Array a) 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

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

Methods

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

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

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

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

Defined in Agda.Utils.MinimalArray.Lifted

Methods

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

show :: Array a -> String #

showList :: [Array a] -> ShowS #

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

Defined in Agda.Utils.MinimalArray.Lifted

Methods

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

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

type Item (Array a) Source # 
Instance details

Defined in Agda.Utils.MinimalArray.Lifted

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

index :: Array a -> Int -> a Source #

toList :: Array a -> [a] Source #

fromList :: [a] -> Array a Source #

fromListN :: Int -> [a] -> Array a Source #

traverseIO' :: (a -> IO b) -> Array a -> IO (Array b) Source #

Strict traversal.