Data.Svfactor.Vector.NonEmpty

Documentation

data NonEmptyVector a

A non-empty value of Vector

Constructors

NonEmptyVector a (Vector a)

Instances

Functor NonEmptyVector

Defined in Data.Svfactor.Vector.NonEmpty

Methods

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

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

Applicative NonEmptyVector

Defined in Data.Svfactor.Vector.NonEmpty

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

Defined in Data.Svfactor.Vector.NonEmpty

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

Defined in Data.Svfactor.Vector.NonEmpty

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

Defined in Data.Svfactor.Vector.NonEmpty

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

Defined in Data.Svfactor.Vector.NonEmpty

Methods

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

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

Foldable1 NonEmptyVector

Defined in Data.Svfactor.Vector.NonEmpty

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)

Defined in Data.Svfactor.Vector.NonEmpty

Methods

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

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

Ord a => Ord (NonEmptyVector a)

Defined in Data.Svfactor.Vector.NonEmpty

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)

Defined in Data.Svfactor.Vector.NonEmpty

Methods

showsPrec :: Int -> NonEmptyVector a -> ShowS

show :: NonEmptyVector a -> String

showList :: [NonEmptyVector a] -> ShowS

Generic (NonEmptyVector a)

Defined in Data.Svfactor.Vector.NonEmpty

Associated Types

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

Methods

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

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

Semigroup (NonEmptyVector a)

Defined in Data.Svfactor.Vector.NonEmpty

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)

Defined in Data.Svfactor.Vector.NonEmpty

Methods

rnf :: NonEmptyVector a -> ()

type Rep (NonEmptyVector a)

Defined in Data.Svfactor.Vector.NonEmpty

type Rep (NonEmptyVector a) = D1 (MetaData "NonEmptyVector" "Data.Svfactor.Vector.NonEmpty" "svfactor-0.1-GDLTyJD8FfREVKdyivwTvx" False) (C1 (MetaCons "NonEmptyVector" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe 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

toVector :: NonEmptyVector a -> Vector a

Convert a NonEmptyVector back to a Vector

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