Safe Haskell	Safe-Inferred
Language	Haskell98

Data.NonEmpty.Class

Synopsis

class Empty f where
- empty :: f a
class Cons f where
- cons :: a -> f a -> f a
class Snoc f where
- snoc :: f a -> a -> f a
snocDefault :: (Cons f, Traversable f) => f a -> a -> f a
class ViewL f where
- viewL :: f a -> Maybe (a, f a)
class ViewR f where
- viewR :: f a -> Maybe (f a, a)
class (ViewL f, ViewR f) => View f
viewRDefault :: (ViewL f, Traversable f) => f a -> Maybe (f a, a)
class Singleton f where
- singleton :: a -> f a
class Append f where
- append :: f a -> f a -> f a
class Functor f => Zip f where
- zipWith :: (a -> b -> c) -> f a -> f b -> f c
zipWith3 :: Zip f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
zipWith4 :: Zip f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e
zip :: Zip f => f a -> f b -> f (a, b)
zip3 :: Zip f => f a -> f b -> f c -> f (a, b, c)
zip4 :: Zip f => f a -> f b -> f c -> f d -> f (a, b, c, d)
class Repeat f where
- repeat :: a -> f a
class Repeat f => Iterate f where
- iterate :: (a -> a) -> a -> f a
class Sort f where
- sort :: Ord a => f a -> f a
sortDefault :: (Ord a, SortBy f) => f a -> f a
class Sort f => SortBy f where
- sortBy :: (a -> a -> Ordering) -> f a -> f a
class Sort f => SortKey f where
- sortKey :: Ord b => (a -> b) -> f a -> f a
sortKeyGen :: (SortBy f, Functor f, Ord b) => (a -> b) -> f a -> f a
class Reverse f where
- reverse :: f a -> f a
class Show f where
- showsPrec :: Show a => Int -> f a -> ShowS
class Arbitrary f where
- arbitrary :: Arbitrary a => Gen (f a)
- shrink :: Arbitrary a => f a -> [f a]
class Arbitrary f => Gen f where
- genOf :: Gen a -> Gen (f a)
class NFData f where
- rnf :: NFData a => f a -> ()

Documentation

class Empty f where Source #

Methods

empty :: f a Source #

Instances

Instances details

Empty [] Source #
Instance details Defined in Data.NonEmpty.Class Methods empty :: [a] Source #
Empty Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods empty :: Maybe a Source #
Empty Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods empty :: Seq a Source #
Empty Set Source #
Instance details Defined in Data.NonEmpty.Class Methods empty :: Set a Source #
Empty T Source #
Instance details Defined in Data.Empty Methods empty :: T a Source #
Empty (Map k) Source #
Instance details Defined in Data.NonEmpty.Class Methods empty :: Map k a Source #
Empty (T f) Source #
Instance details Defined in Data.Optional Methods empty :: T f a Source #

class Cons f where Source #

Methods

cons :: a -> f a -> f a infixr 5 Source #

Instances

Instances details

Cons [] Source #
Instance details Defined in Data.NonEmpty.Class Methods cons :: a -> [a] -> [a] Source #
Cons Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods cons :: a -> Seq a -> Seq a Source #
Cons f => Cons (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods cons :: a -> T f a -> T f a Source #
(Cons f, Empty f) => Cons (T f) Source #
Instance details Defined in Data.Optional Methods cons :: a -> T f a -> T f a Source #

class Snoc f where Source #

Methods

snoc :: f a -> a -> f a Source #

Instances

Instances details

Snoc [] Source #
Instance details Defined in Data.NonEmpty.Class Methods snoc :: [a] -> a -> [a] Source #
Snoc Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods snoc :: Seq a -> a -> Seq a Source #
Snoc f => Snoc (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods snoc :: T f a -> a -> T f a Source #

snocDefault :: (Cons f, Traversable f) => f a -> a -> f a Source #

class ViewL f where Source #

Methods

viewL :: f a -> Maybe (a, f a) Source #

Instances

Instances details

ViewL [] Source #
Instance details Defined in Data.NonEmpty.Class Methods viewL :: [a] -> Maybe (a, [a]) Source #
ViewL Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods viewL :: Maybe a -> Maybe (a, Maybe a) Source #
ViewL Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods viewL :: Seq a -> Maybe (a, Seq a) Source #
ViewL Set Source #
Instance details Defined in Data.NonEmpty.Class Methods viewL :: Set a -> Maybe (a, Set a) Source #
ViewL T Source #
Instance details Defined in Data.Empty Methods viewL :: T a -> Maybe (a, T a) Source #
ViewL f => ViewL (T f) Source #	Caution: `viewL (NonEmpty.Cons x []) = Nothing` because the tail is empty, and thus cannot be NonEmpty! This instance mainly exist to allow cascaded applications of `fetch`.
Instance details Defined in Data.NonEmptyPrivate Methods viewL :: T f a -> Maybe (a, T f a) Source #

class ViewR f where Source #

Methods

viewR :: f a -> Maybe (f a, a) Source #

Instances

Instances details

ViewR [] Source #
Instance details Defined in Data.NonEmpty.Class Methods viewR :: [a] -> Maybe ([a], a) Source #
ViewR Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods viewR :: Maybe a -> Maybe (Maybe a, a) Source #
ViewR Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods viewR :: Seq a -> Maybe (Seq a, a) Source #
ViewR Set Source #
Instance details Defined in Data.NonEmpty.Class Methods viewR :: Set a -> Maybe (Set a, a) Source #
ViewR T Source #
Instance details Defined in Data.Empty Methods viewR :: T a -> Maybe (T a, a) Source #

class (ViewL f, ViewR f) => View f Source #

Instances

Instances details

View [] Source #
Instance details Defined in Data.NonEmpty.Class
View Maybe Source #
Instance details Defined in Data.NonEmpty.Class
View Seq Source #
Instance details Defined in Data.NonEmpty.Class
View Set Source #
Instance details Defined in Data.NonEmpty.Class
View T Source #
Instance details Defined in Data.Empty

viewRDefault :: (ViewL f, Traversable f) => f a -> Maybe (f a, a) Source #

class Singleton f where Source #

Methods

singleton :: a -> f a Source #

Instances

Instances details

Singleton [] Source #
Instance details Defined in Data.NonEmpty.Class Methods singleton :: a -> [a] Source #
Singleton Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods singleton :: a -> Maybe a Source #
Singleton Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods singleton :: a -> Seq a Source #
Singleton Set Source #
Instance details Defined in Data.NonEmpty.Class Methods singleton :: a -> Set a Source #
Empty f => Singleton (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods singleton :: a -> T f a Source #

class Append f where Source #

Methods

append :: f a -> f a -> f a infixr 5 Source #

Instances

Instances details

Append [] Source #
Instance details Defined in Data.NonEmpty.Class Methods append :: [a] -> [a] -> [a] Source #
Append Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods append :: Seq a -> Seq a -> Seq a Source #
(Cons f, Append f) => Append (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods append :: T f a -> T f a -> T f a Source #

class Functor f => Zip f where Source #

It must hold:

fmap f xs
   = zipWith (\x _ -> f x) xs xs
   = zipWith (\_ x -> f x) xs xs

Methods

zipWith :: (a -> b -> c) -> f a -> f b -> f c Source #

Instances

Instances details

Zip [] Source #
Instance details Defined in Data.NonEmpty.Class Methods zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source #
Zip Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods zipWith :: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c Source #
Zip Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods zipWith :: (a -> b -> c) -> Seq a -> Seq b -> Seq c Source #
Zip T Source #
Instance details Defined in Data.Empty Methods zipWith :: (a -> b -> c) -> T a -> T b -> T c Source #
Zip f => Zip (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods zipWith :: (a -> b -> c) -> T f a -> T f b -> T f c Source #
Zip f => Zip (T f) Source #
Instance details Defined in Data.Optional Methods zipWith :: (a -> b -> c) -> T f a -> T f b -> T f c Source #

zipWith3 :: Zip f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d Source #

zipWith4 :: Zip f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e Source #

zip :: Zip f => f a -> f b -> f (a, b) Source #

zip3 :: Zip f => f a -> f b -> f c -> f (a, b, c) Source #

zip4 :: Zip f => f a -> f b -> f c -> f d -> f (a, b, c, d) Source #

class Repeat f where Source #

Methods

repeat :: a -> f a Source #

Create a container with as many copies as possible of a given value. That is, for a container with fixed size n, the call repeat x will generate a container with n copies of x.

Instances

Instances details

Repeat [] Source #
Instance details Defined in Data.NonEmpty.Class Methods repeat :: a -> [a] Source #
Repeat Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods repeat :: a -> Maybe a Source #
Repeat T Source #
Instance details Defined in Data.Empty Methods repeat :: a -> T a Source #
Repeat f => Repeat (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods repeat :: a -> T f a Source #
Repeat f => Repeat (T f) Source #
Instance details Defined in Data.Optional Methods repeat :: a -> T f a Source #

class Repeat f => Iterate f where Source #

Methods

iterate :: (a -> a) -> a -> f a Source #

Instances

Instances details

Iterate [] Source #
Instance details Defined in Data.NonEmpty.Class Methods iterate :: (a -> a) -> a -> [a] Source #
Iterate Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods iterate :: (a -> a) -> a -> Maybe a Source #
Iterate T Source #
Instance details Defined in Data.Empty Methods iterate :: (a -> a) -> a -> T a Source #
Iterate f => Iterate (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods iterate :: (a -> a) -> a -> T f a Source #
Iterate f => Iterate (T f) Source #
Instance details Defined in Data.Optional Methods iterate :: (a -> a) -> a -> T f a Source #

class Sort f where Source #

We need to distinguish between Sort and SortBy, since there is an instance Sort Set but there cannot be an instance SortBy Set.

Methods

sort :: Ord a => f a -> f a Source #

Instances

Instances details

Sort [] Source #
Instance details Defined in Data.NonEmpty.Class Methods sort :: Ord a => [a] -> [a] Source #
Sort Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods sort :: Ord a => Maybe a -> Maybe a Source #
Sort Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods sort :: Ord a => Seq a -> Seq a Source #
Sort Set Source #
Instance details Defined in Data.NonEmpty.Class Methods sort :: Ord a => Set a -> Set a Source #
Sort T Source #
Instance details Defined in Data.Empty Methods sort :: Ord a => T a -> T a Source #
(Sort f, InsertBy f) => Sort (T f) Source #	If you nest too many non-empty lists then the efficient merge-sort (linear-logarithmic runtime) will degenerate to an inefficient insert-sort (quadratic runtime).
Instance details Defined in Data.NonEmptyPrivate Methods sort :: Ord a => T f a -> T f a Source #
(Insert f, Sort f) => Sort (T f) Source #
Instance details Defined in Data.Optional Methods sort :: Ord a => T f a -> T f a Source #

sortDefault :: (Ord a, SortBy f) => f a -> f a Source #

Default implementation for sort based on sortBy.

class Sort f => SortBy f where Source #

Methods

sortBy :: (a -> a -> Ordering) -> f a -> f a Source #

Instances

Instances details

SortBy [] Source #
Instance details Defined in Data.NonEmpty.Class Methods sortBy :: (a -> a -> Ordering) -> [a] -> [a] Source #
SortBy Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods sortBy :: (a -> a -> Ordering) -> Maybe a -> Maybe a Source #
SortBy Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods sortBy :: (a -> a -> Ordering) -> Seq a -> Seq a Source #
SortBy T Source #
Instance details Defined in Data.Empty Methods sortBy :: (a -> a -> Ordering) -> T a -> T a Source #
(SortBy f, InsertBy f) => SortBy (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods sortBy :: (a -> a -> Ordering) -> T f a -> T f a Source #
(InsertBy f, SortBy f) => SortBy (T f) Source #
Instance details Defined in Data.Optional Methods sortBy :: (a -> a -> Ordering) -> T f a -> T f a Source #

class Sort f => SortKey f where Source #

Methods

sortKey :: Ord b => (a -> b) -> f a -> f a Source #

Instances

Instances details

SortKey [] Source #
Instance details Defined in Data.NonEmpty.Class Methods sortKey :: Ord b => (a -> b) -> [a] -> [a] Source #
SortKey Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods sortKey :: Ord b => (a -> b) -> Maybe a -> Maybe a Source #
SortKey Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods sortKey :: Ord b => (a -> b) -> Seq a -> Seq a Source #

sortKeyGen :: (SortBy f, Functor f, Ord b) => (a -> b) -> f a -> f a Source #

class Reverse f where Source #

Methods

reverse :: f a -> f a Source #

Instances

Instances details

Reverse [] Source #
Instance details Defined in Data.NonEmpty.Class Methods reverse :: [a] -> [a] Source #
Reverse Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods reverse :: Maybe a -> Maybe a Source #
Reverse Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods reverse :: Seq a -> Seq a Source #
Reverse T Source #
Instance details Defined in Data.Empty Methods reverse :: T a -> T a Source #
(Traversable f, Reverse f) => Reverse (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods reverse :: T f a -> T f a Source #
(Traversable f, Reverse f) => Reverse (T f) Source #
Instance details Defined in Data.Optional Methods reverse :: T f a -> T f a Source #

class Show f where Source #

Methods

showsPrec :: Show a => Int -> f a -> ShowS Source #

Instances

Instances details

Show [] Source #
Instance details Defined in Data.NonEmpty.Class Methods showsPrec :: Show a => Int -> [a] -> ShowS Source #
Show Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods showsPrec :: Show a => Int -> Maybe a -> ShowS Source #
Show Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods showsPrec :: Show a => Int -> Seq a -> ShowS Source #
Show Set Source #
Instance details Defined in Data.NonEmpty.Class Methods showsPrec :: Show a => Int -> Set a -> ShowS Source #
Show T Source #
Instance details Defined in Data.Empty Methods showsPrec :: Show a => Int -> T a -> ShowS Source #
Show f => Show (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods showsPrec :: Show a => Int -> T f a -> ShowS Source #
Show f => Show (T f) Source #
Instance details Defined in Data.Optional Methods showsPrec :: Show a => Int -> T f a -> ShowS Source #

class Arbitrary f where Source #

Methods

arbitrary :: Arbitrary a => Gen (f a) Source #

shrink :: Arbitrary a => f a -> [f a] Source #

Instances

Instances details

Arbitrary [] Source #
Instance details Defined in Data.NonEmpty.Class Methods arbitrary :: Arbitrary a => Gen [a] Source # shrink :: Arbitrary a => [a] -> [[a]] Source #
Arbitrary Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods arbitrary :: Arbitrary a => Gen (Maybe a) Source # shrink :: Arbitrary a => Maybe a -> [Maybe a] Source #
Arbitrary Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods arbitrary :: Arbitrary a => Gen (Seq a) Source # shrink :: Arbitrary a => Seq a -> [Seq a] Source #
Arbitrary T Source #
Instance details Defined in Data.Empty Methods arbitrary :: Arbitrary a => Gen (T a) Source # shrink :: Arbitrary a => T a -> [T a] Source #
(Arbitrary k, Ord k) => Arbitrary (Map k) Source #
Instance details Defined in Data.NonEmpty.Class Methods arbitrary :: Arbitrary a => Gen (Map k a) Source # shrink :: Arbitrary a => Map k a -> [Map k a] Source #
Arbitrary f => Arbitrary (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods arbitrary :: Arbitrary a => Gen (T f a) Source # shrink :: Arbitrary a => T f a -> [T f a] Source #
(Arbitrary k, Ord k) => Arbitrary (T k) Source #
Instance details Defined in Data.NonEmpty.Map Methods arbitrary :: Arbitrary a => Gen (T k a) Source # shrink :: Arbitrary a => T k a -> [T k a] Source #
Arbitrary f => Arbitrary (T f) Source #
Instance details Defined in Data.Optional Methods arbitrary :: Arbitrary a => Gen (T f a) Source # shrink :: Arbitrary a => T f a -> [T f a] Source #

class Arbitrary f => Gen f where Source #

Methods

genOf :: Gen a -> Gen (f a) Source #

Instances

Instances details

Gen [] Source #
Instance details Defined in Data.NonEmpty.Class Methods genOf :: Gen a -> Gen [a] Source #
Gen Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods genOf :: Gen a -> Gen (Maybe a) Source #
Gen Seq Source #
Instance details Defined in Data.NonEmpty.Class Methods genOf :: Gen a -> Gen (Seq a) Source #
Gen T Source #
Instance details Defined in Data.Empty Methods genOf :: Gen a -> Gen (T a) Source #
(Arbitrary k, Ord k) => Gen (Map k) Source #
Instance details Defined in Data.NonEmpty.Class Methods genOf :: Gen a -> Gen (Map k a) Source #
Gen f => Gen (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods genOf :: Gen a -> Gen (T f a) Source #
(Arbitrary k, Ord k) => Gen (T k) Source #
Instance details Defined in Data.NonEmpty.Map Methods genOf :: Gen a -> Gen (T k a) Source #
Gen f => Gen (T f) Source #
Instance details Defined in Data.Optional Methods genOf :: Gen a -> Gen (T f a) Source #

class NFData f where Source #

Methods

rnf :: NFData a => f a -> () Source #

Instances

Instances details

NFData [] Source #
Instance details Defined in Data.NonEmpty.Class Methods rnf :: NFData a => [a] -> () Source #
NFData Maybe Source #
Instance details Defined in Data.NonEmpty.Class Methods rnf :: NFData a => Maybe a -> () Source #
NFData Set Source #
Instance details Defined in Data.NonEmpty.Class Methods rnf :: NFData a => Set a -> () Source #
NFData T Source #
Instance details Defined in Data.Empty Methods rnf :: NFData a => T a -> () Source #
NFData T Source #
Instance details Defined in Data.NonEmpty.Set Methods rnf :: NFData a => T a -> () Source #
NFData k => NFData (Map k) Source #
Instance details Defined in Data.NonEmpty.Class Methods rnf :: NFData a => Map k a -> () Source #
NFData f => NFData (T f) Source #
Instance details Defined in Data.NonEmptyPrivate Methods rnf :: NFData a => T f a -> () Source #
NFData k => NFData (T k) Source #
Instance details Defined in Data.NonEmpty.Map Methods rnf :: NFData a => T k a -> () Source #
NFData f => NFData (T f) Source #
Instance details Defined in Data.Optional Methods rnf :: NFData a => T f a -> () Source #
NFData f => NFData (T f) Source #
Instance details Defined in Data.Zip Methods rnf :: NFData a => T f a -> () Source #
(NFData f, NFData g) => NFData (T f g) Source #
Instance details Defined in Data.Append Methods rnf :: NFData a => T f g a -> () Source #