Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2021

HGeometry.Vector.NonEmpty.Util

Contents

Orphan instances

Description

Instances for non-empty vectors

Orphan instances

Traversable1 NonEmptyVector Source #
Instance details Methods traverse1 :: Apply f => (a -> f b) -> NonEmptyVector a -> f (NonEmptyVector b) Source # sequence1 :: Apply f => NonEmptyVector (f b) -> f (NonEmptyVector b) Source #
Foldable1WithIndex Int NonEmptyVector Source #
Instance details Methods ifoldMap1 :: Semigroup m => (Int -> a -> m) -> NonEmptyVector a -> m Source # ifoldMap1' :: Semigroup m => (Int -> a -> m) -> NonEmptyVector a -> m Source # ifoldrMap1 :: (Int -> a -> b) -> (Int -> a -> b -> b) -> NonEmptyVector a -> b Source # ifoldlMap1' :: (Int -> a -> b) -> (Int -> b -> a -> b) -> NonEmptyVector a -> b Source # ifoldlMap1 :: (Int -> a -> b) -> (Int -> b -> a -> b) -> NonEmptyVector a -> b Source # ifoldrMap1' :: (Int -> a -> b) -> (Int -> a -> b -> b) -> NonEmptyVector a -> b Source #
FoldableWithIndex Int NonEmptyVector Source #
Instance details Methods ifoldMap :: Monoid m => (Int -> a -> m) -> NonEmptyVector a -> m Source # ifoldMap' :: Monoid m => (Int -> a -> m) -> NonEmptyVector a -> m Source # ifoldr :: (Int -> a -> b -> b) -> b -> NonEmptyVector a -> b Source # ifoldl :: (Int -> b -> a -> b) -> b -> NonEmptyVector a -> b Source # ifoldr' :: (Int -> a -> b -> b) -> b -> NonEmptyVector a -> b Source # ifoldl' :: (Int -> b -> a -> b) -> b -> NonEmptyVector a -> b Source #
FunctorWithIndex Int NonEmptyVector Source #
Instance details Methods imap :: (Int -> a -> b) -> NonEmptyVector a -> NonEmptyVector b Source #
TraversableWithIndex Int NonEmptyVector Source #
Instance details Methods itraverse :: Applicative f => (Int -> a -> f b) -> NonEmptyVector a -> f (NonEmptyVector b) Source #
Ixed (NonEmptyVector a) Source #
Instance details Methods ix :: Index (NonEmptyVector a) -> Traversal' (NonEmptyVector a) (IxValue (NonEmptyVector a)) Source #
Reversing (NonEmptyVector a) Source #
Instance details Methods reversing :: NonEmptyVector a -> NonEmptyVector a Source #