Data.Geometry.RangeTree.Measure

Documentation

class LabeledMeasure v where

Methods

labeledMeasure :: [a] -> v a

Instances

LabeledMeasure Report

Defined in Data.Geometry.RangeTree.Measure

Methods

labeledMeasure :: [a] -> Report a

LabeledMeasure (Count :: Type -> Type)

Defined in Data.Geometry.RangeTree.Measure

Methods

labeledMeasure :: [a] -> Count a

(LabeledMeasure l, LabeledMeasure r) => LabeledMeasure (l :*: r)

Defined in Data.Geometry.RangeTree.Measure

Methods

labeledMeasure :: [a] -> (l :*: r) a

newtype Report p

Constructors

Report

Fields

• reportList :: [p]

Instances

Functor Report

Defined in Data.Geometry.RangeTree.Measure

Methods

fmap :: (a -> b) -> Report a -> Report b

(<$) :: a -> Report b -> Report a

Foldable Report

Defined in Data.Geometry.RangeTree.Measure

Methods

fold :: Monoid m => Report m -> m

foldMap :: Monoid m => (a -> m) -> Report a -> m

foldMap' :: Monoid m => (a -> m) -> Report a -> m

foldr :: (a -> b -> b) -> b -> Report a -> b

foldr' :: (a -> b -> b) -> b -> Report a -> b

foldl :: (b -> a -> b) -> b -> Report a -> b

foldl' :: (b -> a -> b) -> b -> Report a -> b

foldr1 :: (a -> a -> a) -> Report a -> a

foldl1 :: (a -> a -> a) -> Report a -> a

toList :: Report a -> [a]

null :: Report a -> Bool

length :: Report a -> Int

elem :: Eq a => a -> Report a -> Bool

maximum :: Ord a => Report a -> a

minimum :: Ord a => Report a -> a

sum :: Num a => Report a -> a

product :: Num a => Report a -> a

Eq1 Report

Defined in Data.Geometry.RangeTree.Measure

Methods

liftEq :: (a -> b -> Bool) -> Report a -> Report b -> Bool

Show1 Report

Defined in Data.Geometry.RangeTree.Measure

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Report a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Report a] -> ShowS

LabeledMeasure Report

Defined in Data.Geometry.RangeTree.Measure

Methods

labeledMeasure :: [a] -> Report a

Eq p => Eq (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

(==) :: Report p -> Report p -> Bool

(/=) :: Report p -> Report p -> Bool

Ord p => Ord (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

compare :: Report p -> Report p -> Ordering

(<) :: Report p -> Report p -> Bool

(<=) :: Report p -> Report p -> Bool

(>) :: Report p -> Report p -> Bool

(>=) :: Report p -> Report p -> Bool

max :: Report p -> Report p -> Report p

min :: Report p -> Report p -> Report p

Show p => Show (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

showsPrec :: Int -> Report p -> ShowS

show :: Report p -> String

showList :: [Report p] -> ShowS

Semigroup (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

(<>) :: Report p -> Report p -> Report p

sconcat :: NonEmpty (Report p) -> Report p

stimes :: Integral b => b -> Report p -> Report p

Monoid (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

mempty :: Report p

mappend :: Report p -> Report p -> Report p

mconcat :: [Report p] -> Report p

Measured (Report p) (Report p)

Defined in Data.Geometry.RangeTree.Measure

Methods

measure :: Report p -> Report p

newtype Count a

Constructors

Count

Fields

• getCount :: Int

Instances

Eq1 (Count :: Type -> Type)

Defined in Data.Geometry.RangeTree.Measure

Methods

liftEq :: (a -> b -> Bool) -> Count a -> Count b -> Bool

Show1 (Count :: Type -> Type)

Defined in Data.Geometry.RangeTree.Measure

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Count a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Count a] -> ShowS

LabeledMeasure (Count :: Type -> Type)

Defined in Data.Geometry.RangeTree.Measure

Methods

labeledMeasure :: [a] -> Count a

Eq (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

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

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

Ord (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

compare :: Count a -> Count a -> Ordering

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

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

(>) :: Count a -> Count a -> Bool

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

max :: Count a -> Count a -> Count a

min :: Count a -> Count a -> Count a

Read (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

readsPrec :: Int -> ReadS (Count a)

readList :: ReadS [Count a]

readPrec :: ReadPrec (Count a)

readListPrec :: ReadPrec [Count a]

Show (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

showsPrec :: Int -> Count a -> ShowS

show :: Count a -> String

showList :: [Count a] -> ShowS

Semigroup (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

(<>) :: Count a -> Count a -> Count a

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

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

Monoid (Count a)

Defined in Data.Geometry.RangeTree.Measure

Methods

mempty :: Count a

mappend :: Count a -> Count a -> Count a

mconcat :: [Count a] -> Count a

Measured (Count p) (CountOf p)

Defined in Data.Geometry.RangeTree.Generic

Methods

measure :: CountOf p -> Count p

type (:*:) l r = Product l r

Orphan instances

(Semigroup (l a), Semigroup (r a)) => Semigroup ((l :*: r) a)

Methods

(<>) :: (l :*: r) a -> (l :*: r) a -> (l :*: r) a

sconcat :: NonEmpty ((l :*: r) a) -> (l :*: r) a

stimes :: Integral b => b -> (l :*: r) a -> (l :*: r) a

(Monoid (l a), Monoid (r a)) => Monoid ((l :*: r) a)

Methods

mempty :: (l :*: r) a

mappend :: (l :*: r) a -> (l :*: r) a -> (l :*: r) a

mconcat :: [(l :*: r) a] -> (l :*: r) a