Safe Haskell	None
Language	Haskell2010

Deque.Lazy

Description

Definitions of lazy Deque.

The typical toList and fromList conversions are provided by means of the Foldable and IsList instances.

Synopsis

data Deque a
fromStrict :: Deque a -> Deque a
toStrict :: Deque a -> Deque a
fromConsAndSnocLists :: [a] -> [a] -> Deque a
cons :: a -> Deque a -> Deque a
snoc :: a -> Deque a -> Deque a
reverse :: Deque a -> Deque a
shiftLeft :: Deque a -> Deque a
shiftRight :: Deque a -> Deque a
filter :: (a -> Bool) -> Deque a -> Deque a
take :: Int -> Deque a -> Deque a
drop :: Int -> Deque a -> Deque a
takeWhile :: (a -> Bool) -> Deque a -> Deque a
dropWhile :: (a -> Bool) -> Deque a -> Deque a
uncons :: Deque a -> Maybe (a, Deque a)
unsnoc :: Deque a -> Maybe (a, Deque a)
null :: Deque a -> Bool
head :: Deque a -> Maybe a
last :: Deque a -> Maybe a
tail :: Deque a -> Deque a
init :: Deque a -> Deque a

Documentation

data Deque a Source #

Lazy double-ended queue (aka Dequeue or Deque) based on head-tail linked list.

Instances

Monad Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods (>>=) :: Deque a -> (a -> Deque b) -> Deque b # (>>) :: Deque a -> Deque b -> Deque b # return :: a -> Deque a # fail :: String -> Deque a #
Functor Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods fmap :: (a -> b) -> Deque a -> Deque b # (<$) :: a -> Deque b -> Deque a #
MonadFail Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods fail :: String -> Deque a #
Applicative Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods pure :: a -> Deque a # (<>) :: Deque (a -> b) -> Deque a -> Deque b # liftA2 :: (a -> b -> c) -> Deque a -> Deque b -> Deque c # (>) :: Deque a -> Deque b -> Deque b # (<*) :: Deque a -> Deque b -> Deque a #
Foldable Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods fold :: Monoid m => Deque m -> m # foldMap :: Monoid m => (a -> m) -> Deque a -> m # foldr :: (a -> b -> b) -> b -> Deque a -> b # foldr' :: (a -> b -> b) -> b -> Deque a -> b # foldl :: (b -> a -> b) -> b -> Deque a -> b # foldl' :: (b -> a -> b) -> b -> Deque a -> b # foldr1 :: (a -> a -> a) -> Deque a -> a # foldl1 :: (a -> a -> a) -> Deque a -> a # toList :: Deque a -> [a] # null :: Deque a -> Bool # length :: Deque a -> Int # elem :: Eq a => a -> Deque a -> Bool # maximum :: Ord a => Deque a -> a # minimum :: Ord a => Deque a -> a # sum :: Num a => Deque a -> a # product :: Num a => Deque a -> a #
Traversable Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods traverse :: Applicative f => (a -> f b) -> Deque a -> f (Deque b) # sequenceA :: Applicative f => Deque (f a) -> f (Deque a) # mapM :: Monad m => (a -> m b) -> Deque a -> m (Deque b) # sequence :: Monad m => Deque (m a) -> m (Deque a) #
Alternative Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods empty :: Deque a # (<\|>) :: Deque a -> Deque a -> Deque a # some :: Deque a -> Deque [a] # many :: Deque a -> Deque [a] #
MonadPlus Deque Source #
Instance details Defined in Deque.Lazy.Defs Methods mzero :: Deque a # mplus :: Deque a -> Deque a -> Deque a #
IsList (Deque a) Source #	O(1).
Instance details Defined in Deque.Lazy.Defs Associated Types type Item (Deque a) :: Type # Methods fromList :: [Item (Deque a)] -> Deque a # fromListN :: Int -> [Item (Deque a)] -> Deque a # toList :: Deque a -> [Item (Deque a)] #
Eq a => Eq (Deque a) Source #
Instance details Defined in Deque.Lazy.Defs Methods (==) :: Deque a -> Deque a -> Bool # (/=) :: Deque a -> Deque a -> Bool #
Show a => Show (Deque a) Source #
Instance details Defined in Deque.Lazy.Defs Methods showsPrec :: Int -> Deque a -> ShowS # show :: Deque a -> String # showList :: [Deque a] -> ShowS #
Semigroup (Deque a) Source #
Instance details Defined in Deque.Lazy.Defs Methods (<>) :: Deque a -> Deque a -> Deque a # sconcat :: NonEmpty (Deque a) -> Deque a # stimes :: Integral b => b -> Deque a -> Deque a #
Monoid (Deque a) Source #
Instance details Defined in Deque.Lazy.Defs Methods mempty :: Deque a # mappend :: Deque a -> Deque a -> Deque a # mconcat :: [Deque a] -> Deque a #
type Item (Deque a) Source #
Instance details Defined in Deque.Lazy.Defs type Item (Deque a) = a

fromStrict :: Deque a -> Deque a Source #

Convert strict deque to lazy deque.

toStrict :: Deque a -> Deque a Source #

Convert lazy deque to strict deque.

fromConsAndSnocLists :: [a] -> [a] -> Deque a Source #

O(1). Construct from cons and snoc lists.

cons :: a -> Deque a -> Deque a Source #

O(1). Add element in the beginning.

snoc :: a -> Deque a -> Deque a Source #

O(1). Add element in the ending.

reverse :: Deque a -> Deque a Source #

O(1). Reverse the deque.

shiftLeft :: Deque a -> Deque a Source #

O(1), occasionally O(n). Move the first element to the end.

λ toList . shiftLeft $ fromList [1,2,3]
[2,3,1]

shiftRight :: Deque a -> Deque a Source #

O(1), occasionally O(n). Move the last element to the beginning.

λ toList . shiftRight $ fromList [1,2,3]
[3,1,2]

filter :: (a -> Bool) -> Deque a -> Deque a Source #

O(n). Leave only the elements satisfying the predicate.

take :: Int -> Deque a -> Deque a Source #

O(n). Leave only the specified amount of first elements.

drop :: Int -> Deque a -> Deque a Source #

O(n). Drop the specified amount of first elements.

takeWhile :: (a -> Bool) -> Deque a -> Deque a Source #

O(n). Leave only the first elements satisfying the predicate.

dropWhile :: (a -> Bool) -> Deque a -> Deque a Source #

O(n). Drop the first elements satisfying the predicate.

uncons :: Deque a -> Maybe (a, Deque a) Source #

O(1), occasionally O(n). Get the first element and deque without it if it's not empty.

unsnoc :: Deque a -> Maybe (a, Deque a) Source #

O(1), occasionally O(n). Get the last element and deque without it if it's not empty.

null :: Deque a -> Bool Source #

O(1). Check whether deque is empty.

head :: Deque a -> Maybe a Source #

O(1), occasionally O(n). Get the first element if deque is not empty.

last :: Deque a -> Maybe a Source #

O(1), occasionally O(n). Get the last element if deque is not empty.

tail :: Deque a -> Deque a Source #

O(1), occasionally O(n). Keep all elements but the first one.

In case of empty deque returns an empty deque.

init :: Deque a -> Deque a Source #

O(1), occasionally O(n). Keep all elements but the last one.

In case of empty deque returns an empty deque.