Safe Haskell | None |
---|---|
Language | Haskell2010 |
Indexing
Orphan instances
FunctorWithIndex (PosP b) (NERAVec b) Source # | |
FoldableWithIndex (PosP b) (NERAVec b) Source # | |
ifoldMap :: Monoid m => (PosP b -> a -> m) -> NERAVec b a -> m # ifolded :: IndexedFold (PosP b) (NERAVec b a) a # ifoldr :: (PosP b -> a -> b0 -> b0) -> b0 -> NERAVec b a -> b0 # ifoldl :: (PosP b -> b0 -> a -> b0) -> b0 -> NERAVec b a -> b0 # ifoldr' :: (PosP b -> a -> b0 -> b0) -> b0 -> NERAVec b a -> b0 # ifoldl' :: (PosP b -> b0 -> a -> b0) -> b0 -> NERAVec b a -> b0 # | |
TraversableWithIndex (PosP b) (NERAVec b) Source # | |
itraverse :: Applicative f => (PosP b -> a -> f b0) -> NERAVec b a -> f (NERAVec b b0) # itraversed :: IndexedTraversal (PosP b) (NERAVec b a) (NERAVec b b0) a b0 # | |
Ixed (NERAVec b a) Source # | |
FunctorWithIndex (PosP' n b) (NERAVec' n b) Source # | |
FoldableWithIndex (PosP' n b) (NERAVec' n b) Source # | |
ifoldMap :: Monoid m => (PosP' n b -> a -> m) -> NERAVec' n b a -> m # ifolded :: IndexedFold (PosP' n b) (NERAVec' n b a) a # ifoldr :: (PosP' n b -> a -> b0 -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldl :: (PosP' n b -> b0 -> a -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldr' :: (PosP' n b -> a -> b0 -> b0) -> b0 -> NERAVec' n b a -> b0 # ifoldl' :: (PosP' n b -> b0 -> a -> b0) -> b0 -> NERAVec' n b a -> b0 # | |
TraversableWithIndex (PosP' n b) (NERAVec' n b) Source # | |
itraverse :: Applicative f => (PosP' n b -> a -> f b0) -> NERAVec' n b a -> f (NERAVec' n b b0) # itraversed :: IndexedTraversal (PosP' n b) (NERAVec' n b a) (NERAVec' n b b0) a b0 # | |
Each (NERAVec n a) (NERAVec n b) a b Source # | |
Ixed (NERAVec' n b a) Source # | |
Each (NERAVec' n m a) (NERAVec' n m b) a b Source # | |