Data.Monoid.Instances.Measured

This module defines the monoid transformer data type Measured.

Documentation

data Measured a

Measured a is a wrapper around the FactorialMonoid a that memoizes the monoid's length so it becomes a constant-time operation. The parameter is restricted to the StableFactorial class, which guarantees that length (a <> b) == length a + length b.

Instances

Eq a => Eq (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

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

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

Ord a => Ord (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

compare :: Measured a -> Measured a -> Ordering

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

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

(>) :: Measured a -> Measured a -> Bool

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

max :: Measured a -> Measured a -> Measured a

min :: Measured a -> Measured a -> Measured a

Show a => Show (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

showsPrec :: Int -> Measured a -> ShowS

show :: Measured a -> String

showList :: [Measured a] -> ShowS

(FactorialMonoid a, IsString a) => IsString (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

fromString :: String -> Measured a

StableFactorial a => Semigroup (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

(<>) :: Measured a -> Measured a -> Measured a

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

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

(StableFactorial a, Monoid a) => Monoid (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

mempty :: Measured a

mappend :: Measured a -> Measured a -> Measured a

mconcat :: [Measured a] -> Measured a

(StableFactorial a, Monoid a) => PositiveMonoid (Measured a)

Defined in Data.Monoid.Instances.Measured

(StableFactorial a, Monoid a) => MonoidNull (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

null :: Measured a -> Bool

(RightReductive a, StableFactorial a) => RightReductive (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

isSuffixOf :: Measured a -> Measured a -> Bool

stripSuffix :: Measured a -> Measured a -> Maybe (Measured a)

(LeftReductive a, StableFactorial a) => LeftReductive (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

isPrefixOf :: Measured a -> Measured a -> Bool

stripPrefix :: Measured a -> Measured a -> Maybe (Measured a)

(RightGCDMonoid a, StableFactorial a) => RightGCDMonoid (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

commonSuffix :: Measured a -> Measured a -> Measured a

stripCommonSuffix :: Measured a -> Measured a -> (Measured a, Measured a, Measured a)

(LeftGCDMonoid a, StableFactorial a) => LeftGCDMonoid (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

commonPrefix :: Measured a -> Measured a -> Measured a

stripCommonPrefix :: Measured a -> Measured a -> (Measured a, Measured a, Measured a)

(StableFactorial a, MonoidNull a) => StableFactorial (Measured a)

Defined in Data.Monoid.Instances.Measured

(StableFactorial a, MonoidNull a) => Factorial (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

factors :: Measured a -> [Measured a]

primePrefix :: Measured a -> Measured a

primeSuffix :: Measured a -> Measured a

foldl :: (a0 -> Measured a -> a0) -> a0 -> Measured a -> a0

foldl' :: (a0 -> Measured a -> a0) -> a0 -> Measured a -> a0

foldr :: (Measured a -> a0 -> a0) -> a0 -> Measured a -> a0

length :: Measured a -> Int

foldMap :: Monoid n => (Measured a -> n) -> Measured a -> n

reverse :: Measured a -> Measured a

(StableFactorial a, FactorialMonoid a) => FactorialMonoid (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

splitPrimePrefix :: Measured a -> Maybe (Measured a, Measured a)

splitPrimeSuffix :: Measured a -> Maybe (Measured a, Measured a)

inits :: Measured a -> [Measured a]

tails :: Measured a -> [Measured a]

span :: (Measured a -> Bool) -> Measured a -> (Measured a, Measured a)

break :: (Measured a -> Bool) -> Measured a -> (Measured a, Measured a)

split :: (Measured a -> Bool) -> Measured a -> [Measured a]

takeWhile :: (Measured a -> Bool) -> Measured a -> Measured a

dropWhile :: (Measured a -> Bool) -> Measured a -> Measured a

spanMaybe :: s -> (s -> Measured a -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

spanMaybe' :: s -> (s -> Measured a -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

splitAt :: Int -> Measured a -> (Measured a, Measured a)

drop :: Int -> Measured a -> Measured a

take :: Int -> Measured a -> Measured a

(Eq a, StableFactorial a, TextualMonoid a) => TextualMonoid (Measured a)

Defined in Data.Monoid.Instances.Measured

Methods

fromText :: Text -> Measured a

singleton :: Char -> Measured a

splitCharacterPrefix :: Measured a -> Maybe (Char, Measured a)

characterPrefix :: Measured a -> Maybe Char

map :: (Char -> Char) -> Measured a -> Measured a

concatMap :: (Char -> Measured a) -> Measured a -> Measured a

toString :: (Measured a -> String) -> Measured a -> String

toText :: (Measured a -> Text) -> Measured a -> Text

any :: (Char -> Bool) -> Measured a -> Bool

all :: (Char -> Bool) -> Measured a -> Bool

foldl :: (a0 -> Measured a -> a0) -> (a0 -> Char -> a0) -> a0 -> Measured a -> a0

foldl' :: (a0 -> Measured a -> a0) -> (a0 -> Char -> a0) -> a0 -> Measured a -> a0

foldr :: (Measured a -> a0 -> a0) -> (Char -> a0 -> a0) -> a0 -> Measured a -> a0

scanl :: (Char -> Char -> Char) -> Char -> Measured a -> Measured a

scanl1 :: (Char -> Char -> Char) -> Measured a -> Measured a

scanr :: (Char -> Char -> Char) -> Char -> Measured a -> Measured a

scanr1 :: (Char -> Char -> Char) -> Measured a -> Measured a

mapAccumL :: (a0 -> Char -> (a0, Char)) -> a0 -> Measured a -> (a0, Measured a)

mapAccumR :: (a0 -> Char -> (a0, Char)) -> a0 -> Measured a -> (a0, Measured a)

takeWhile :: (Measured a -> Bool) -> (Char -> Bool) -> Measured a -> Measured a

dropWhile :: (Measured a -> Bool) -> (Char -> Bool) -> Measured a -> Measured a

break :: (Measured a -> Bool) -> (Char -> Bool) -> Measured a -> (Measured a, Measured a)

span :: (Measured a -> Bool) -> (Char -> Bool) -> Measured a -> (Measured a, Measured a)

spanMaybe :: s -> (s -> Measured a -> Maybe s) -> (s -> Char -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

spanMaybe' :: s -> (s -> Measured a -> Maybe s) -> (s -> Char -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

split :: (Char -> Bool) -> Measured a -> [Measured a]

find :: (Char -> Bool) -> Measured a -> Maybe Char

elem :: Char -> Measured a -> Bool

foldl_ :: (a0 -> Char -> a0) -> a0 -> Measured a -> a0

foldl_' :: (a0 -> Char -> a0) -> a0 -> Measured a -> a0

foldr_ :: (Char -> a0 -> a0) -> a0 -> Measured a -> a0

takeWhile_ :: Bool -> (Char -> Bool) -> Measured a -> Measured a

dropWhile_ :: Bool -> (Char -> Bool) -> Measured a -> Measured a

break_ :: Bool -> (Char -> Bool) -> Measured a -> (Measured a, Measured a)

span_ :: Bool -> (Char -> Bool) -> Measured a -> (Measured a, Measured a)

spanMaybe_ :: s -> (s -> Char -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

spanMaybe_' :: s -> (s -> Char -> Maybe s) -> Measured a -> (Measured a, Measured a, s)

measure :: Factorial a => a -> Measured a

Create a new Measured value.

extract :: Measured a -> a