Data.DList.NonEmpty.Unsafe

This module exports the internal representation of NonEmptyDList.

Use with care. It's very easy to break the safe interface:

>>> let nedl = NEDL ((1 :|) . map (+1))
>>> nedl <> nedl
fromNonEmpty (1 :| [2])

Documentation

newtype NonEmptyDList a

A difference list is a function that, given a list, returns the original contents of the difference list prepended to the given list.

Implemented as a newtype over [a] -> NonEmpty a.

Constructors

NEDL

Fields

• unNEDL :: [a] -> NonEmpty a

Instances

Foldable NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

fold :: Monoid m => NonEmptyDList m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> NonEmptyDList a -> a

foldl1 :: (a -> a -> a) -> NonEmptyDList a -> a

toList :: NonEmptyDList a -> [a]

null :: NonEmptyDList a -> Bool

length :: NonEmptyDList a -> Int

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

maximum :: Ord a => NonEmptyDList a -> a

minimum :: Ord a => NonEmptyDList a -> a

sum :: Num a => NonEmptyDList a -> a

product :: Num a => NonEmptyDList a -> a

Traversable NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

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

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

Applicative NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

pure :: a -> NonEmptyDList a

(<*>) :: NonEmptyDList (a -> b) -> NonEmptyDList a -> NonEmptyDList b

liftA2 :: (a -> b -> c) -> NonEmptyDList a -> NonEmptyDList b -> NonEmptyDList c

(*>) :: NonEmptyDList a -> NonEmptyDList b -> NonEmptyDList b

(<*) :: NonEmptyDList a -> NonEmptyDList b -> NonEmptyDList a

Functor NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

Monad NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

(>>=) :: NonEmptyDList a -> (a -> NonEmptyDList b) -> NonEmptyDList b

(>>) :: NonEmptyDList a -> NonEmptyDList b -> NonEmptyDList b

return :: a -> NonEmptyDList a

Alt NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

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

Apply NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

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

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

Bind NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

(>>-) :: NonEmptyDList a -> (a -> NonEmptyDList b) -> NonEmptyDList b

join :: NonEmptyDList (NonEmptyDList a) -> NonEmptyDList a

Foldable1 NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

fold1 :: Semigroup m => NonEmptyDList m -> m

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

toNonEmpty :: NonEmptyDList a -> NonEmpty a

Traversable1 NonEmptyDList

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

a ~ Char => IsString (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

fromString :: String -> NonEmptyDList a

Semigroup (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

(<>) :: NonEmptyDList a -> NonEmptyDList a -> NonEmptyDList a

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

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

IsList (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Associated Types

type Item (NonEmptyDList a)

Methods

fromList :: [Item (NonEmptyDList a)] -> NonEmptyDList a

fromListN :: Int -> [Item (NonEmptyDList a)] -> NonEmptyDList a

toList :: NonEmptyDList a -> [Item (NonEmptyDList a)]

Read a => Read (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

readsPrec :: Int -> ReadS (NonEmptyDList a)

readList :: ReadS [NonEmptyDList a]

readPrec :: ReadPrec (NonEmptyDList a)

readListPrec :: ReadPrec [NonEmptyDList a]

Show a => Show (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

showsPrec :: Int -> NonEmptyDList a -> ShowS

show :: NonEmptyDList a -> String

showList :: [NonEmptyDList a] -> ShowS

NFData a => NFData (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

rnf :: NonEmptyDList a -> ()

Eq a => Eq (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

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

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

Ord a => Ord (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

Methods

compare :: NonEmptyDList a -> NonEmptyDList a -> Ordering

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

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

(>) :: NonEmptyDList a -> NonEmptyDList a -> Bool

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

max :: NonEmptyDList a -> NonEmptyDList a -> NonEmptyDList a

min :: NonEmptyDList a -> NonEmptyDList a -> NonEmptyDList a

type Item (NonEmptyDList a)

Defined in Data.DList.NonEmpty.Internal

type Item (NonEmptyDList a) = a