| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Copilot.Core.Type.Array
Description
Implementation of an array that uses type literals to store length. No explicit indexing is used for the input data. Supports arbitrary nesting of arrays.
Documentation
data Array (n :: Nat) t Source #
Instances
| Foldable (Array n) Source # | |
Defined in Copilot.Core.Type.Array Methods fold :: Monoid m => Array n m -> m # foldMap :: Monoid m => (a -> m) -> Array n a -> m # foldr :: (a -> b -> b) -> b -> Array n a -> b # foldr' :: (a -> b -> b) -> b -> Array n a -> b # foldl :: (b -> a -> b) -> b -> Array n a -> b # foldl' :: (b -> a -> b) -> b -> Array n a -> b # foldr1 :: (a -> a -> a) -> Array n a -> a # foldl1 :: (a -> a -> a) -> Array n a -> a # elem :: Eq a => a -> Array n a -> Bool # maximum :: Ord a => Array n a -> a # minimum :: Ord a => Array n a -> a # | |
| Show t => Show (Array n t) Source # | |
| (Typeable t, Typed t, KnownNat n, Flatten t (InnerType t), Typed (InnerType t)) => Typed (Array n t) Source # | |
Defined in Copilot.Core.Type | |
| Flatten a b => Flatten (Array n a) b Source # | |
Minimal complete definition
arrayelems :: Array n a -> [a] Source #