Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Parser.Ptera.Data.Alignable.Array

Documentation

type T = Array Source #

newtype Array n a Source #

Constructors

Array (Array Int a)

Instances

Instances details

Foldable (Array n) Source #
Instance details Defined in Language.Parser.Ptera.Data.Alignable.Array Methods fold :: Monoid m => Array n m -> m Source # foldMap :: Monoid m => (a -> m) -> Array n a -> m Source # foldMap' :: Monoid m => (a -> m) -> Array n a -> m Source # foldr :: (a -> b -> b) -> b -> Array n a -> b Source # foldr' :: (a -> b -> b) -> b -> Array n a -> b Source # foldl :: (b -> a -> b) -> b -> Array n a -> b Source # foldl' :: (b -> a -> b) -> b -> Array n a -> b Source # foldr1 :: (a -> a -> a) -> Array n a -> a Source # foldl1 :: (a -> a -> a) -> Array n a -> a Source # toList :: Array n a -> [a] Source # null :: Array n a -> Bool Source # length :: Array n a -> Int Source # elem :: Eq a => a -> Array n a -> Bool Source # maximum :: Ord a => Array n a -> a Source # minimum :: Ord a => Array n a -> a Source # sum :: Num a => Array n a -> a Source # product :: Num a => Array n a -> a Source #
Functor (Array n) Source #
Instance details Defined in Language.Parser.Ptera.Data.Alignable.Array Methods fmap :: (a -> b) -> Array n a -> Array n b Source # (<$) :: a -> Array n b -> Array n a Source #
Show a => Show (Array n a) Source #
Instance details Defined in Language.Parser.Ptera.Data.Alignable.Array Methods showsPrec :: Int -> Array n a -> ShowS Source # show :: Array n a -> String Source # showList :: [Array n a] -> ShowS Source #
Eq a => Eq (Array n a) Source #
Instance details Defined in Language.Parser.Ptera.Data.Alignable.Array Methods (==) :: Array n a -> Array n a -> Bool Source # (/=) :: Array n a -> Array n a -> Bool Source #

fromTotalMap :: T n => n -> T n a -> Array n a Source #

fromList :: forall n a. T n => [a] -> Array n a Source #

mapWithIx :: T n => (n -> a -> a) -> Array n a -> Array n a Source #

index :: forall n a. T n => Array n a -> n -> Maybe a Source #

forceIndex :: forall n a. T n => Array n a -> n -> a Source #

assocs :: forall n a. T n => Array n a -> [(n, a)] Source #