Data.List.TwoOrMore

Documentation

data TwoOrMore a

List of two or more elements

Constructors

TwoOrMore a a [a]

Instances

Foldable TwoOrMore

Defined in Data.List.TwoOrMore

Methods

fold :: Monoid m => TwoOrMore m -> m

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

foldMap' :: Monoid m => (a -> m) -> TwoOrMore a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> TwoOrMore a -> a

foldl1 :: (a -> a -> a) -> TwoOrMore a -> a

toList :: TwoOrMore a -> [a]

null :: TwoOrMore a -> Bool

length :: TwoOrMore a -> Int

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

maximum :: Ord a => TwoOrMore a -> a

minimum :: Ord a => TwoOrMore a -> a

sum :: Num a => TwoOrMore a -> a

product :: Num a => TwoOrMore a -> a

Foldable1 TwoOrMore

Defined in Data.List.TwoOrMore

Methods

fold1 :: Semigroup m => TwoOrMore m -> m

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

foldMap1' :: Semigroup m => (a -> m) -> TwoOrMore a -> m

toNonEmpty :: TwoOrMore a -> NonEmpty a

maximum :: Ord a => TwoOrMore a -> a

minimum :: Ord a => TwoOrMore a -> a

head :: TwoOrMore a -> a

last :: TwoOrMore a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> TwoOrMore a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> TwoOrMore a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> TwoOrMore a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> TwoOrMore a -> b

Traversable TwoOrMore

Defined in Data.List.TwoOrMore

Methods

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

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

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

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

Functor TwoOrMore

Defined in Data.List.TwoOrMore

Methods

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

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

MonadIdeal TwoOrMore

Ideal TwoOrMore ~ NonEmpty

Defined in Data.List.TwoOrMore

Methods

idealBind :: TwoOrMore a -> (a -> Ideal TwoOrMore b) -> TwoOrMore b

Isolated TwoOrMore

Defined in Data.List.TwoOrMore

Methods

impureBind :: TwoOrMore a -> (a -> Unite TwoOrMore b) -> Unite TwoOrMore b

Alt TwoOrMore

Defined in Data.List.TwoOrMore

Methods

(<!>) :: TwoOrMore a -> TwoOrMore a -> TwoOrMore a

some :: Applicative TwoOrMore => TwoOrMore a -> TwoOrMore [a]

many :: Applicative TwoOrMore => TwoOrMore a -> TwoOrMore [a]

Apply TwoOrMore

Defined in Data.List.TwoOrMore

Methods

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

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

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

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

Bind TwoOrMore

(>>-) = flip foldMap1

Defined in Data.List.TwoOrMore

Methods

(>>-) :: TwoOrMore a -> (a -> TwoOrMore b) -> TwoOrMore b

join :: TwoOrMore (TwoOrMore a) -> TwoOrMore a

Semigroup (TwoOrMore a)

Defined in Data.List.TwoOrMore

Methods

(<>) :: TwoOrMore a -> TwoOrMore a -> TwoOrMore a

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

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

Read a => Read (TwoOrMore a)

Defined in Data.List.TwoOrMore

Methods

readsPrec :: Int -> ReadS (TwoOrMore a)

readList :: ReadS [TwoOrMore a]

readPrec :: ReadPrec (TwoOrMore a)

readListPrec :: ReadPrec [TwoOrMore a]

Show a => Show (TwoOrMore a)

Defined in Data.List.TwoOrMore

Methods

showsPrec :: Int -> TwoOrMore a -> ShowS

show :: TwoOrMore a -> String

showList :: [TwoOrMore a] -> ShowS

Eq a => Eq (TwoOrMore a)

Defined in Data.List.TwoOrMore

Methods

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

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

Ord a => Ord (TwoOrMore a)

Defined in Data.List.TwoOrMore

Methods

compare :: TwoOrMore a -> TwoOrMore a -> Ordering

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

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

(>) :: TwoOrMore a -> TwoOrMore a -> Bool

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

max :: TwoOrMore a -> TwoOrMore a -> TwoOrMore a

min :: TwoOrMore a -> TwoOrMore a -> TwoOrMore a

twoOrMore :: NonEmpty a -> Either a (TwoOrMore a)

toNonEmpty :: Foldable1 t => t a -> NonEmpty a

List of elements of a structure, from left to right.

>>> toNonEmpty (Identity 2)
2 :| []

Since: base-4.18.0.0