Copyright	(C) CSIRO 2017-2018
License	BSD3
Maintainer	George Wilson <george.wilson@data61.csiro.au>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Vector.NonEmpty

Description

Synopsis

Documentation

data NonEmptyVector a Source #

A non-empty value of Vector

Constructors

NonEmptyVector a (Vector a)

Instances

Functor NonEmptyVector Source #
Methods fmap :: (a -> b) -> NonEmptyVector a -> NonEmptyVector b # (<$) :: a -> NonEmptyVector b -> NonEmptyVector a #
Applicative NonEmptyVector Source #
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 Source #
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 Source #
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 Source #
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 Source #
Methods traverse1 :: Apply f => (a -> f b) -> NonEmptyVector a -> f (NonEmptyVector b) # sequence1 :: Apply f => NonEmptyVector (f b) -> f (NonEmptyVector b) #
Foldable1 NonEmptyVector Source #
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) Source #
Methods (==) :: NonEmptyVector a -> NonEmptyVector a -> Bool # (/=) :: NonEmptyVector a -> NonEmptyVector a -> Bool #
Ord a => Ord (NonEmptyVector a) Source #
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) Source #
Methods showsPrec :: Int -> NonEmptyVector a -> ShowS # show :: NonEmptyVector a -> String # showList :: [NonEmptyVector a] -> ShowS #
Generic (NonEmptyVector a) Source #
Associated Types type Rep (NonEmptyVector a) :: * -> * # Methods from :: NonEmptyVector a -> Rep (NonEmptyVector a) x # to :: Rep (NonEmptyVector a) x -> NonEmptyVector a #
Semigroup (NonEmptyVector a) Source #
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) Source #
Methods rnf :: NonEmptyVector a -> () #
type Rep (NonEmptyVector a) Source #
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 Source #

Convert a NonEmpty list to a NonEmptyVector

toNel :: NonEmptyVector a -> NonEmpty a Source #

Convert a NonEmptyVector to a NonEmpty list

headNev :: Lens' (NonEmptyVector a) a Source #

Get or set the head of a NonEmptyVector

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

Get or set the head of a NonEmptyVector