hgeometry-0.11.0.0: Geometric Algorithms, Data structures, and Data types.

Data.Geometry.RangeTree.Measure

Contents

# Documentation

class LabeledMeasure v where Source #

Methods

labeledMeasure :: [a] -> v a Source #

Instances
 Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodslabeledMeasure :: [a] -> Report a Source # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodslabeledMeasure :: [a] -> Count a Source # (LabeledMeasure l, LabeledMeasure r) => LabeledMeasure (l :*: r) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodslabeledMeasure :: [a] -> (l :*: r) a Source #

newtype Report p Source #

Constructors

 Report FieldsreportList :: [p]
Instances
 Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodsfmap :: (a -> b) -> Report a -> Report b #(<\$) :: a -> Report b -> Report a # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodsfold :: Monoid m => Report m -> 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 # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsliftEq :: (a -> b -> Bool) -> Report a -> Report b -> Bool # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Report a -> ShowS #liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Report a] -> ShowS # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodslabeledMeasure :: [a] -> Report a Source # Eq p => Eq (Report p) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methods(==) :: Report p -> Report p -> Bool #(/=) :: Report p -> Report p -> Bool # Ord p => Ord (Report p) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodscompare :: 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) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsshowsPrec :: Int -> Report p -> ShowS #show :: Report p -> String #showList :: [Report p] -> ShowS # Source # Instance detailsDefined 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) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodsmappend :: Report p -> Report p -> Report p #mconcat :: [Report p] -> Report p # Measured (Report p) (Report p) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodsmeasure :: Report p -> Report p #

newtype Count a Source #

Constructors

 Count FieldsgetCount :: Int
Instances
 Eq1 (Count :: Type -> Type) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsliftEq :: (a -> b -> Bool) -> Count a -> Count b -> Bool # Show1 (Count :: Type -> Type) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsliftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Count a -> ShowS #liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Count a] -> ShowS # Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodslabeledMeasure :: [a] -> Count a Source # Eq (Count a) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methods(==) :: Count a -> Count a -> Bool #(/=) :: Count a -> Count a -> Bool # Ord (Count a) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodscompare :: 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) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsreadsPrec :: Int -> ReadS (Count a) #readList :: ReadS [Count a] # Show (Count a) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure MethodsshowsPrec :: Int -> Count a -> ShowS #show :: Count a -> String #showList :: [Count a] -> ShowS # Source # Instance detailsDefined 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) Source # Instance detailsDefined in Data.Geometry.RangeTree.Measure Methodsmempty :: Count a #mappend :: Count a -> Count a -> Count a #mconcat :: [Count a] -> Count a # Measured (Count p) (CountOf p) Source # Instance detailsDefined in Data.Geometry.RangeTree.Generic Methodsmeasure :: CountOf p -> Count p #

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

# Orphan instances

 (Semigroup (l a), Semigroup (r a)) => Semigroup ((l :*: r) a) Source # Instance details 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) Source # Instance details Methodsmempty :: (l :*: r) a #mappend :: (l :*: r) a -> (l :*: r) a -> (l :*: r) a #mconcat :: [(l :*: r) a] -> (l :*: r) a #