Modulecardano-strict-containers-0.1.6.0

Data.FingerTree.Strict

4 types
1 class
18 values

Packagecardano-strict-containers-0.1.6.0
Exports23
LicenceApache-2.0
SourceFingerTree.hs

value(<|) :: Measured v a => a -> StrictFingerTree v a -> StrictFingerTree v a

value(><)

:: Measured v a
=> StrictFingerTree v a
-> StrictFingerTree v a
-> StrictFingerTree v a

valuedropUntil

:: Measured v a
=> v -> Bool
-> StrictFingerTree v a
-> StrictFingerTree v a

valueempty :: Measured v a => StrictFingerTree v a

valuefmap'

:: (Measured v1 a1, Measured v2 a2)
=> a1 -> a2
-> StrictFingerTree v1 a1
-> StrictFingerTree v2 a2

valueforceToStrict :: FingerTree v a -> StrictFingerTree v a

valuefromList :: Measured v a => [a] -> StrictFingerTree v a

valuenull :: StrictFingerTree v a -> Bool

valuereverse :: Measured v a => StrictFingerTree v a -> StrictFingerTree v a

valuesearch

:: Measured v a
=> v -> v -> Bool
-> StrictFingerTree v a
-> SearchResult v a

valuesingleton :: Measured v a => a -> StrictFingerTree v a

valuesplit

:: Measured v a
=> v -> Bool
-> StrictFingerTree v a
-> (StrictFingerTree v a, StrictFingerTree v a)

valuetakeUntil

:: Measured v a
=> v -> Bool
-> StrictFingerTree v a
-> StrictFingerTree v a

valueunsafeFmap :: (a -> b) -> StrictFingerTree v a -> StrictFingerTree v b

valueviewl

:: Measured v a
=> StrictFingerTree v a
-> ViewL (StrictFingerTree v) a

valueviewr

:: Measured v a
=> StrictFingerTree v a
-> ViewR (StrictFingerTree v) a

value(|>) :: Measured v a => StrictFingerTree v a -> a -> StrictFingerTree v a

datadata SearchResult v a

Constructors

Position !(StrictFingerTree v a) !a !(StrictFingerTree v a)
OnLeft
OnRight
Nowhere

Instances5Eq, Ord, Show, Generic, Rep

Eq a => Eq (SearchResult v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Ord a => Ord (SearchResult v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Show a => Show (SearchResult v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Generic (SearchResult v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
type Rep (SearchResult v a) = D1 ('MetaData "SearchResult" "Data.FingerTree.Strict" "cardano-strict-containers-0.1.6.0-KgLpGvchdnF7RySowXvbKO" 'False) ((C1 ('MetaCons "Position" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictFingerTree v a)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictFingerTree v a)))) :+: C1 ('MetaCons "OnLeft" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "OnRight" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Nowhere" 'PrefixI 'False) U1))Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict

newtypenewtype StrictFingerTree v a

Instances8Measured, Foldable, Eq, Ord, Show, Semigroup, …

Measured v a => Measured v (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Foldable (StrictFingerTree v)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Eq a => Eq (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Ord a => Ord (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Show a => Show (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Measured v a => Semigroup (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Measured v a => Monoid (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
NoThunks a => NoThunks (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict

valuefromStrict :: StrictFingerTree v a -> FingerTree v a

classclass Monoid v => Measured v a | a -> v where

Things that can be measured.

Methods

measure :: a -> v

Instances6Measured

Measured v a => Measured v (Digit a)Defined in fingertree-0.1.6.3 · Data.FingerTree
Measured v a => Measured v (StrictFingerTree v a)Defined in cardano-strict-containers-0.1.6.0 · Data.FingerTree.Strict
Measured v a => Measured v (FingerTree v a)Defined in fingertree-0.1.6.3 · Data.FingerTree
O(1). The cached measure of a tree.
Monoid v => Measured v (Node v a)Defined in fingertree-0.1.6.3 · Data.FingerTree
Ord v => Measured (IntInterval v) (Node v a)Defined in fingertree-0.1.6.3 · Data.IntervalMap.FingerTree
Ord k => Measured (Prio k v) (Entry k v)Defined in fingertree-0.1.6.3 · Data.PriorityQueue.FingerTree

datadata ViewL (s :: Type -> Type) a

View of the left end of a sequence.

Constructors

EmptyL
empty sequence
a :< s ainfixr 5
leftmost element and the rest of the sequence

Instances8Functor, Eq, Ord, Read, Show, Generic, …

Functor s => Functor (ViewL s)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Eq a, Eq (s a)) => Eq (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Ord a, Ord (s a)) => Ord (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Read a, Read (s a)) => Read (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Show a, Show (s a)) => Show (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
Generic (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(NFData a, NFData (s a)) => NFData (ViewL s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
type Rep (ViewL s a) = D1 ('MetaData "ViewL" "Data.FingerTree" "fingertree-0.1.6.3-BMsIOi9FbMH2YhlrE7TcRy" 'False) (C1 ('MetaCons "EmptyL" 'PrefixI 'False) U1 :+: C1 ('MetaCons ":<" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (s a))))Defined in fingertree-0.1.6.3 · Data.FingerTree

datadata ViewR (s :: Type -> Type) a

View of the right end of a sequence.

Constructors

EmptyR
empty sequence
s a :> ainfixl 5
the sequence minus the rightmost element, and the rightmost element

Instances8Functor, Eq, Ord, Read, Show, Generic, …

Functor s => Functor (ViewR s)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Eq a, Eq (s a)) => Eq (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Ord a, Ord (s a)) => Ord (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Read a, Read (s a)) => Read (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(Show a, Show (s a)) => Show (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
Generic (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
(NFData a, NFData (s a)) => NFData (ViewR s a)Defined in fingertree-0.1.6.3 · Data.FingerTree
type Rep (ViewR s a) = D1 ('MetaData "ViewR" "Data.FingerTree" "fingertree-0.1.6.3-BMsIOi9FbMH2YhlrE7TcRy" 'False) (C1 ('MetaCons "EmptyR" 'PrefixI 'False) U1 :+: C1 ('MetaCons ":>" ('InfixI 'LeftAssociative 5) 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (s a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in fingertree-0.1.6.3 · Data.FingerTree