HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Documentation

data Elem

Constructors

Elem

Fields

• bps :: !Word64
• size :: !Count

Instances

Generic Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Associated Types

type Rep Elem :: Type -> Type

Methods

from :: Elem -> Rep Elem x

to :: Rep Elem x -> Elem

Show Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

showsPrec :: Int -> Elem -> ShowS

show :: Elem -> String

showList :: [Elem] -> ShowS

NFData Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

rnf :: Elem -> ()

Eq Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

(==) :: Elem -> Elem -> Bool

(/=) :: Elem -> Elem -> Bool

Measured Measure Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

measure :: Elem -> Measure

type Rep Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

type Rep Elem = D1 ('MetaData "Elem" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.4.1.3-GQibWVagkUP9SMxZ8dVz0r" 'False) (C1 ('MetaCons "Elem" 'PrefixI 'True) (S1 ('MetaSel ('Just "bps") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "size") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Count)))

data Measure

Constructors

Measure

Fields

• size :: !Count
• min :: !Int
• excess :: !Int

Instances

Monoid Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

mempty :: Measure

mappend :: Measure -> Measure -> Measure

mconcat :: [Measure] -> Measure

Semigroup Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

(<>) :: Measure -> Measure -> Measure

sconcat :: NonEmpty Measure -> Measure

stimes :: Integral b => b -> Measure -> Measure

Generic Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Associated Types

type Rep Measure :: Type -> Type

Methods

from :: Measure -> Rep Measure x

to :: Rep Measure x -> Measure

Show Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

showsPrec :: Int -> Measure -> ShowS

show :: Measure -> String

showList :: [Measure] -> ShowS

NFData Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

rnf :: Measure -> ()

Eq Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

(==) :: Measure -> Measure -> Bool

(/=) :: Measure -> Measure -> Bool

Ord Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

compare :: Measure -> Measure -> Ordering

(<) :: Measure -> Measure -> Bool

(<=) :: Measure -> Measure -> Bool

(>) :: Measure -> Measure -> Bool

(>=) :: Measure -> Measure -> Bool

max :: Measure -> Measure -> Measure

min :: Measure -> Measure -> Measure

Measured Measure Elem

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

measure :: Elem -> Measure

type Rep Measure

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

type Rep Measure = D1 ('MetaData "Measure" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.4.1.3-GQibWVagkUP9SMxZ8dVz0r" 'False) (C1 ('MetaCons "Measure" 'PrefixI 'True) (S1 ('MetaSel ('Just "size") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Count) :*: (S1 ('MetaSel ('Just "min") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "excess") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int))))

newtype ParensSeq

Constructors

ParensSeq

Fields

• parens :: ParensSeqFt

Instances

Semigroup ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

(<>) :: ParensSeq -> ParensSeq -> ParensSeq

sconcat :: NonEmpty ParensSeq -> ParensSeq

stimes :: Integral b => b -> ParensSeq -> ParensSeq

Generic ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Associated Types

type Rep ParensSeq :: Type -> Type

Methods

from :: ParensSeq -> Rep ParensSeq x

to :: Rep ParensSeq x -> ParensSeq

Show ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

showsPrec :: Int -> ParensSeq -> ShowS

show :: ParensSeq -> String

showList :: [ParensSeq] -> ShowS

NFData ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

rnf :: ParensSeq -> ()

Cons ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

cons :: Elem ParensSeq -> ParensSeq -> ParensSeq

Container ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Associated Types

type Elem ParensSeq

Snoc ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Methods

snoc :: ParensSeq -> Elem ParensSeq -> ParensSeq

type Rep ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

type Rep ParensSeq = D1 ('MetaData "ParensSeq" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.4.1.3-GQibWVagkUP9SMxZ8dVz0r" 'True) (C1 ('MetaCons "ParensSeq" 'PrefixI 'True) (S1 ('MetaSel ('Just "parens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParensSeqFt)))

type Elem ParensSeq

Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq

type Elem ParensSeq = Bool

type ParensSeqFt = FingerTree Measure Elem

(|>#) :: ParensSeqFt -> Elem -> ParensSeqFt

(#<|) :: Elem -> ParensSeqFt -> ParensSeqFt

ftSplit :: (Measure -> Bool) -> ParensSeqFt -> (ParensSeqFt, ParensSeqFt)

atSizeBelowZero :: Count -> Measure -> Bool

atMinZero :: Measure -> Bool