Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.BalancedParens.Internal.ParensSeq

Documentation

data Elem Source #

Constructors

Elem
Fields bps :: !Word64 size :: !Count

Instances

Eq Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods (==) :: Elem -> Elem -> Bool # (/=) :: Elem -> Elem -> Bool #
Show Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods showsPrec :: Int -> Elem -> ShowS # show :: Elem -> String # showList :: [Elem] -> ShowS #
Generic Elem Source #
Instance details 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 #
NFData Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods rnf :: Elem -> () #
Measured Measure Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods measure :: Elem -> Measure #
type Rep Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq type Rep Elem = D1 (MetaData "Elem" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.3.0.0-3pTKDqiN9ic1S3jeUlfW88" 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 Source #

Constructors

Measure
Fields size :: !Count min :: !Int excess :: !Int

Instances

Eq Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods (==) :: Measure -> Measure -> Bool # (/=) :: Measure -> Measure -> Bool #
Ord Measure Source #
Instance details 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 #
Show Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods showsPrec :: Int -> Measure -> ShowS # show :: Measure -> String # showList :: [Measure] -> ShowS #
Generic Measure Source #
Instance details 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 #
Semigroup Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods (<>) :: Measure -> Measure -> Measure # sconcat :: NonEmpty Measure -> Measure # stimes :: Integral b => b -> Measure -> Measure #
Monoid Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods mempty :: Measure # mappend :: Measure -> Measure -> Measure # mconcat :: [Measure] -> Measure #
NFData Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods rnf :: Measure -> () #
Measured Measure Elem Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods measure :: Elem -> Measure #
type Rep Measure Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq type Rep Measure = D1 (MetaData "Measure" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.3.0.0-3pTKDqiN9ic1S3jeUlfW88" 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 Source #

Constructors

ParensSeq
Fields parens :: ParensSeqFt

Instances

Show ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods showsPrec :: Int -> ParensSeq -> ShowS # show :: ParensSeq -> String # showList :: [ParensSeq] -> ShowS #
Generic ParensSeq Source #
Instance details 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 #
Semigroup ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods (<>) :: ParensSeq -> ParensSeq -> ParensSeq # sconcat :: NonEmpty ParensSeq -> ParensSeq # stimes :: Integral b => b -> ParensSeq -> ParensSeq #
NFData ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods rnf :: ParensSeq -> () #
Snoc ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods snoc :: ParensSeq -> Elem ParensSeq -> ParensSeq #
Cons ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Methods cons :: Elem ParensSeq -> ParensSeq -> ParensSeq #
Container ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq Associated Types type Elem ParensSeq :: Type #
type Rep ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq type Rep ParensSeq = D1 (MetaData "ParensSeq" "HaskellWorks.Data.BalancedParens.Internal.ParensSeq" "hw-balancedparens-0.3.0.0-3pTKDqiN9ic1S3jeUlfW88" True) (C1 (MetaCons "ParensSeq" PrefixI True) (S1 (MetaSel (Just "parens") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ParensSeqFt)))
type Elem ParensSeq Source #
Instance details Defined in HaskellWorks.Data.BalancedParens.Internal.ParensSeq type Elem ParensSeq = Bool

type ParensSeqFt = FingerTree Measure Elem Source #

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

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

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

atSizeBelowZero :: Count -> Measure -> Bool Source #

atMinZero :: Measure -> Bool Source #