svfactor-0.1: Syntax-preserving CSV manipulation

Copyright(C) CSIRO 2017-2018
LicenseBSD3
MaintainerGeorge Wilson <george.wilson@data61.csiro.au>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Svfactor.Vector.NonEmpty

Description

 
Synopsis

Documentation

data NonEmptyVector a Source #

A non-empty value of Vector

Constructors

NonEmptyVector a (Vector a) 
Instances
Functor NonEmptyVector Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Methods

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

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

Applicative NonEmptyVector Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Foldable NonEmptyVector Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Traversable1 NonEmptyVector Source # 
Instance details

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 Source # 
Instance details

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) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Ord a => Ord (NonEmptyVector a) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Show a => Show (NonEmptyVector a) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Generic (NonEmptyVector a) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Associated Types

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

Semigroup (NonEmptyVector a) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

NFData a => NFData (NonEmptyVector a) Source # 
Instance details

Defined in Data.Svfactor.Vector.NonEmpty

Methods

rnf :: NonEmptyVector a -> () #

type Rep (NonEmptyVector a) Source # 
Instance details

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))))

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