Data.Vector.NonEmpty

Documentation

data NonEmptyVector a

A non-empty value of Vector

Constructors

NonEmptyVector a (Vector a)

Instances

Functor NonEmptyVector

Methods

fmap :: (a -> b) -> NonEmptyVector a -> NonEmptyVector b

(<$) :: a -> NonEmptyVector b -> NonEmptyVector a

Applicative NonEmptyVector

Methods

pure :: a -> NonEmptyVector a

(<*>) :: NonEmptyVector (a -> b) -> NonEmptyVector a -> NonEmptyVector b

liftA2 :: (a -> b -> c) -> NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector c

(*>) :: NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector b

(<*) :: NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector a

Foldable NonEmptyVector

Methods

fold :: Monoid m => NonEmptyVector m -> m

foldMap :: Monoid m => (a -> m) -> NonEmptyVector a -> m

foldr :: (a -> b -> b) -> b -> NonEmptyVector a -> b

foldr' :: (a -> b -> b) -> b -> NonEmptyVector a -> b

foldl :: (b -> a -> b) -> b -> NonEmptyVector a -> b

foldl' :: (b -> a -> b) -> b -> NonEmptyVector a -> b

foldr1 :: (a -> a -> a) -> NonEmptyVector a -> a

foldl1 :: (a -> a -> a) -> NonEmptyVector a -> a

toList :: NonEmptyVector a -> [a]

null :: NonEmptyVector a -> Bool

length :: NonEmptyVector a -> Int

elem :: Eq a => a -> NonEmptyVector a -> Bool

maximum :: Ord a => NonEmptyVector a -> a

minimum :: Ord a => NonEmptyVector a -> a

sum :: Num a => NonEmptyVector a -> a

product :: Num a => NonEmptyVector a -> a

Traversable NonEmptyVector

Methods

traverse :: Applicative f => (a -> f b) -> NonEmptyVector a -> f (NonEmptyVector b)

sequenceA :: Applicative f => NonEmptyVector (f a) -> f (NonEmptyVector a)

mapM :: Monad m => (a -> m b) -> NonEmptyVector a -> m (NonEmptyVector b)

sequence :: Monad m => NonEmptyVector (m a) -> m (NonEmptyVector a)

Apply NonEmptyVector

Methods

(<.>) :: NonEmptyVector (a -> b) -> NonEmptyVector a -> NonEmptyVector b

(.>) :: NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector b

(<.) :: NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector a

liftF2 :: (a -> b -> c) -> NonEmptyVector a -> NonEmptyVector b -> NonEmptyVector c

Traversable1 NonEmptyVector

Methods

traverse1 :: Apply f => (a -> f b) -> NonEmptyVector a -> f (NonEmptyVector b)

sequence1 :: Apply f => NonEmptyVector (f b) -> f (NonEmptyVector b)

Foldable1 NonEmptyVector

Methods

fold1 :: Semigroup m => NonEmptyVector m -> m

foldMap1 :: Semigroup m => (a -> m) -> NonEmptyVector a -> m

toNonEmpty :: NonEmptyVector a -> NonEmpty a

Eq a => Eq (NonEmptyVector a)

Methods

(==) :: NonEmptyVector a -> NonEmptyVector a -> Bool

(/=) :: NonEmptyVector a -> NonEmptyVector a -> Bool

Ord a => Ord (NonEmptyVector a)

Methods

compare :: NonEmptyVector a -> NonEmptyVector a -> Ordering

(<) :: NonEmptyVector a -> NonEmptyVector a -> Bool

(<=) :: NonEmptyVector a -> NonEmptyVector a -> Bool

(>) :: NonEmptyVector a -> NonEmptyVector a -> Bool

(>=) :: NonEmptyVector a -> NonEmptyVector a -> Bool

max :: NonEmptyVector a -> NonEmptyVector a -> NonEmptyVector a

min :: NonEmptyVector a -> NonEmptyVector a -> NonEmptyVector a

Show a => Show (NonEmptyVector a)

Methods

showsPrec :: Int -> NonEmptyVector a -> ShowS

show :: NonEmptyVector a -> String

showList :: [NonEmptyVector a] -> ShowS

Generic (NonEmptyVector a)

Associated Types

type Rep (NonEmptyVector a) :: * -> *

Methods

from :: NonEmptyVector a -> Rep (NonEmptyVector a) x

to :: Rep (NonEmptyVector a) x -> NonEmptyVector a

Semigroup (NonEmptyVector a)

Methods

(<>) :: NonEmptyVector a -> NonEmptyVector a -> NonEmptyVector a

sconcat :: NonEmpty (NonEmptyVector a) -> NonEmptyVector a

stimes :: Integral b => b -> NonEmptyVector a -> NonEmptyVector a

NFData a => NFData (NonEmptyVector a)

Methods

rnf :: NonEmptyVector a -> ()

type Rep (NonEmptyVector a)

type Rep (NonEmptyVector a) = D1 * (MetaData "NonEmptyVector" "Data.Vector.NonEmpty" "sv-0.1-LEjGD2ajzYS6ZNIUObPicZ" False) (C1 * (MetaCons "NonEmptyVector" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector a)))))

fromNel :: NonEmpty a -> NonEmptyVector a

Convert a NonEmpty list to a NonEmptyVector

toNel :: NonEmptyVector a -> NonEmpty a

Convert a NonEmptyVector to a NonEmpty list

headNev :: Lens' (NonEmptyVector a) a

Get or set the head of a NonEmptyVector

tailNev :: Lens' (NonEmptyVector a) (Vector a)

Get or set the head of a NonEmptyVector