hgeometry-combinatorial
Copyright(C) Frank Staals
Licensesee the LICENSE file
MaintainerFrank Staals
Safe HaskellNone
LanguageGHC2021

HGeometry.Vector.NonEmpty.Util

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