Treap.Measured

Typeclass that tells how to measure different values as Monoid.

Documentation

class Monoid m => Measured m a where

This typeclass allows to specify how to convert value of type a into monoidal value of type m.

Methods

measure :: a -> m

Instances

Measured All Bool

Measure boolean value with &&.

Defined in Treap.Measured

Methods

measure :: Bool -> All

Measured Any Bool

Measure boolean value with ||.

Defined in Treap.Measured

Methods

measure :: Bool -> Any

Monoid m => Measured m (Treap m a)

\( O(1) \). Takes cached value from the root.

Defined in Treap.Pure

Methods

measure :: Treap m a -> m

Monoid m => Measured m (RTreap m a)

\( O(1) \). Takes cached value from the root.

Defined in Treap.Rand

Methods

measure :: RTreap m a -> m

(Ord a, Bounded a) => Measured (Min a) a

Measure every comparable value with minimum.

Defined in Treap.Measured

Methods

measure :: a -> Min a

(Ord a, Bounded a) => Measured (Max a) a

Measure every comparable value with maximum.

Defined in Treap.Measured

Methods

measure :: a -> Max a

Monoid a => Measured (Identity a) a

Measure every Monoid as itself.

Defined in Treap.Measured

Methods

measure :: a -> Identity a

Measured (First a) a

Measure every value as the First monoid.

Defined in Treap.Measured

Methods

measure :: a -> First a

Measured (Last a) a

Measure every value as the Last monoid.

Defined in Treap.Measured

Methods

measure :: a -> Last a

Monoid a => Measured (Dual a) a

Measure every Monoid as its dual.

Defined in Treap.Measured

Methods

measure :: a -> Dual a

Num a => Measured (Sum a) a

Measure every numeric value with addition.

Defined in Treap.Measured

Methods

measure :: a -> Sum a

Num a => Measured (Product a) a

Measure every numeric value with multiplication.

Defined in Treap.Measured

Methods

measure :: a -> Product a

Measured (Endo a) (a -> a)

Measure every endomorphic function with compostion.

Defined in Treap.Measured

Methods

measure :: (a -> a) -> Endo a