Control.Lens.Internal.Deque

This module is designed to be imported qualified.

Documentation

data Deque a

A Banker's deque based on Chris Okasaki's "Purely Functional Data Structures"

Constructors

BD !Int [a] !Int [a]

Instances

Monad Deque

Defined in Control.Lens.Internal.Deque

Methods

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

(>>) :: Deque a -> Deque b -> Deque b

return :: a -> Deque a

fail :: String -> Deque a

Functor Deque

Defined in Control.Lens.Internal.Deque

Methods

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

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

Applicative Deque

Defined in Control.Lens.Internal.Deque

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

Defined in Control.Lens.Internal.Deque

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

Defined in Control.Lens.Internal.Deque

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

Defined in Control.Lens.Internal.Deque

Methods

empty :: Deque a

(<|>) :: Deque a -> Deque a -> Deque a

some :: Deque a -> Deque [a]

many :: Deque a -> Deque [a]

MonadPlus Deque

Defined in Control.Lens.Internal.Deque

Methods

mzero :: Deque a

mplus :: Deque a -> Deque a -> Deque a

Plus Deque

Defined in Control.Lens.Internal.Deque

Methods

zero :: Deque a

Alt Deque

Defined in Control.Lens.Internal.Deque

Methods

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

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

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

Apply Deque

Defined in Control.Lens.Internal.Deque

Methods

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

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

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

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

Bind Deque

Defined in Control.Lens.Internal.Deque

Methods

(>>-) :: Deque a -> (a -> Deque b) -> Deque b

join :: Deque (Deque a) -> Deque a

TraversableWithIndex Int Deque

Defined in Control.Lens.Internal.Deque

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Deque a -> f (Deque b)

itraversed :: IndexedTraversal Int (Deque a) (Deque b) a b

FoldableWithIndex Int Deque

Defined in Control.Lens.Internal.Deque

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Deque a -> m

ifolded :: IndexedFold Int (Deque a) a

ifoldr :: (Int -> a -> b -> b) -> b -> Deque a -> b

ifoldl :: (Int -> b -> a -> b) -> b -> Deque a -> b

ifoldr' :: (Int -> a -> b -> b) -> b -> Deque a -> b

ifoldl' :: (Int -> b -> a -> b) -> b -> Deque a -> b

FunctorWithIndex Int Deque

Defined in Control.Lens.Internal.Deque

Methods

imap :: (Int -> a -> b) -> Deque a -> Deque b

imapped :: IndexedSetter Int (Deque a) (Deque b) a b

Eq a => Eq (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

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

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

Ord a => Ord (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

compare :: Deque a -> Deque a -> Ordering

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

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

(>) :: Deque a -> Deque a -> Bool

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

max :: Deque a -> Deque a -> Deque a

min :: Deque a -> Deque a -> Deque a

Show a => Show (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

showsPrec :: Int -> Deque a -> ShowS

show :: Deque a -> String

showList :: [Deque a] -> ShowS

Semigroup (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

(<>) :: Deque a -> Deque a -> Deque a

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

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

Monoid (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

mempty :: Deque a

mappend :: Deque a -> Deque a -> Deque a

mconcat :: [Deque a] -> Deque a

Reversing (Deque a)

Defined in Control.Lens.Internal.Deque

Methods

reversing :: Deque a -> Deque a

Snoc (Deque a) (Deque b) a b

Defined in Control.Lens.Internal.Deque

Methods

_Snoc :: Prism (Deque a) (Deque b) (Deque a, a) (Deque b, b)

Cons (Deque a) (Deque b) a b

Defined in Control.Lens.Internal.Deque

Methods

_Cons :: Prism (Deque a) (Deque b) (a, Deque a) (b, Deque b)

size :: Deque a -> Int

O(1). Calculate the size of a Deque

>>> size (fromList [1,4,6])
3

fromList :: [a] -> Deque a

O(n) amortized. Construct a Deque from a list of values.

>>> fromList [1,2]
BD 1 [1] 1 [2]

null :: Deque a -> Bool

O(1). Determine if a Deque is empty.

>>> null empty
True

>>> null (singleton 1)
False

singleton :: a -> Deque a

O(1). Generate a singleton Deque

>>> singleton 1
BD 1 [1] 0 []