| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.MinimalArray.Lifted
Documentation
Instances
| Functor Array Source # | |
| Foldable Array Source # | |
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 # elem :: Eq a => a -> Array a -> Bool # maximum :: Ord a => Array a -> a # minimum :: Ord a => Array a -> a # | |
| Traversable Array Source # | |
| Serialize a => Serialize (Array a) Source # | |
| IsList (Array a) Source # | |
| Show a => Show (Array a) Source # | |
| Eq a => Eq (Array a) Source # | |
| type Item (Array a) Source # | |
Defined in Agda.Utils.MinimalArray.Lifted | |
unsafeIndex :: Array a -> Int -> a Source #
fromGHCArray :: Array i e -> Array e Source #