Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2021

HGeometry.Measured.Report

Description

Synopsis

newtype Report a where
- MkReport (Maybe (Report1 a))
- pattern Report :: [a] -> Report a
newtype Report1 a = Report1 (BinLeafTree (Const () a) a)
newtype ReportList a = ReportList [a]

Documentation

newtype Report a Source #

Report is a type to be used for reporting/collecting all results of a query.

The result is internally represented as a binary tree, so that we can guarantee O(1) time and space (<>).

Constructors

MkReport (Maybe (Report1 a))

Bundled Patterns

pattern Report :: [a] -> Report a

Get the results of a Report as a list.

Instances

Instances details

Functor Report Source #
Instance details Defined in HGeometry.Measured.Report Methods fmap :: (a -> b) -> Report a -> Report b Source # (<$) :: a -> Report b -> Report a Source #
Foldable Report Source #
Instance details Defined in HGeometry.Measured.Report Methods fold :: Monoid m => Report m -> m Source # foldMap :: Monoid m => (a -> m) -> Report a -> m Source # foldMap' :: Monoid m => (a -> m) -> Report a -> m Source # foldr :: (a -> b -> b) -> b -> Report a -> b Source # foldr' :: (a -> b -> b) -> b -> Report a -> b Source # foldl :: (b -> a -> b) -> b -> Report a -> b Source # foldl' :: (b -> a -> b) -> b -> Report a -> b Source # foldr1 :: (a -> a -> a) -> Report a -> a Source # foldl1 :: (a -> a -> a) -> Report a -> a Source # toList :: Report a -> [a] Source # null :: Report a -> Bool Source # length :: Report a -> Int Source # elem :: Eq a => a -> Report a -> Bool Source # maximum :: Ord a => Report a -> a Source # minimum :: Ord a => Report a -> a Source # sum :: Num a => Report a -> a Source # product :: Num a => Report a -> a Source #
Traversable Report Source #
Instance details Defined in HGeometry.Measured.Report Methods traverse :: Applicative f => (a -> f b) -> Report a -> f (Report b) Source # sequenceA :: Applicative f => Report (f a) -> f (Report a) Source # mapM :: Monad m => (a -> m b) -> Report a -> m (Report b) Source # sequence :: Monad m => Report (m a) -> m (Report a) Source #
CanInsert Report a Source #
Instance details Defined in HGeometry.Measured.Report Methods insertMeasure :: a -> Report a -> Report a Source #
Measured Report a Source #
Instance details Defined in HGeometry.Measured.Report Methods measure :: a -> Report a Source #
Monoid (Report a) Source #
Instance details Defined in HGeometry.Measured.Report Methods mempty :: Report a Source # mappend :: Report a -> Report a -> Report a Source # mconcat :: [Report a] -> Report a Source #
Semigroup (Report a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (<>) :: Report a -> Report a -> Report a Source # sconcat :: NonEmpty (Report a) -> Report a Source # stimes :: Integral b => b -> Report a -> Report a Source #
Show a => Show (Report a) Source #
Instance details Defined in HGeometry.Measured.Report Methods showsPrec :: Int -> Report a -> ShowS Source # show :: Report a -> String Source # showList :: [Report a] -> ShowS Source #
Eq a => Eq (Report a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (==) :: Report a -> Report a -> Bool Source # (/=) :: Report a -> Report a -> Bool Source #
Ord a => Ord (Report a) Source #
Instance details Defined in HGeometry.Measured.Report Methods compare :: Report a -> Report a -> Ordering Source # (<) :: Report a -> Report a -> Bool Source # (<=) :: Report a -> Report a -> Bool Source # (>) :: Report a -> Report a -> Bool Source # (>=) :: Report a -> Report a -> Bool Source # max :: Report a -> Report a -> Report a Source # min :: Report a -> Report a -> Report a Source #

newtype Report1 a Source #

Type to represent reporting elements. The result is represented as a binary tree so that we can support O(1) time and space (<>)

Constructors

Report1 (BinLeafTree (Const () a) a)

Instances

Instances details

Foldable1 Report1 Source #
Instance details Defined in HGeometry.Measured.Report Methods fold1 :: Semigroup m => Report1 m -> m Source # foldMap1 :: Semigroup m => (a -> m) -> Report1 a -> m Source # foldMap1' :: Semigroup m => (a -> m) -> Report1 a -> m Source # toNonEmpty :: Report1 a -> NonEmpty a Source # maximum :: Ord a => Report1 a -> a Source # minimum :: Ord a => Report1 a -> a Source # head :: Report1 a -> a Source # last :: Report1 a -> a Source # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Report1 a -> b Source # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Report1 a -> b Source # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Report1 a -> b Source # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Report1 a -> b Source #
Functor Report1 Source #
Instance details Defined in HGeometry.Measured.Report Methods fmap :: (a -> b) -> Report1 a -> Report1 b Source # (<$) :: a -> Report1 b -> Report1 a Source #
Foldable Report1 Source #
Instance details Defined in HGeometry.Measured.Report Methods fold :: Monoid m => Report1 m -> m Source # foldMap :: Monoid m => (a -> m) -> Report1 a -> m Source # foldMap' :: Monoid m => (a -> m) -> Report1 a -> m Source # foldr :: (a -> b -> b) -> b -> Report1 a -> b Source # foldr' :: (a -> b -> b) -> b -> Report1 a -> b Source # foldl :: (b -> a -> b) -> b -> Report1 a -> b Source # foldl' :: (b -> a -> b) -> b -> Report1 a -> b Source # foldr1 :: (a -> a -> a) -> Report1 a -> a Source # foldl1 :: (a -> a -> a) -> Report1 a -> a Source # toList :: Report1 a -> [a] Source # null :: Report1 a -> Bool Source # length :: Report1 a -> Int Source # elem :: Eq a => a -> Report1 a -> Bool Source # maximum :: Ord a => Report1 a -> a Source # minimum :: Ord a => Report1 a -> a Source # sum :: Num a => Report1 a -> a Source # product :: Num a => Report1 a -> a Source #
Traversable Report1 Source #
Instance details Defined in HGeometry.Measured.Report Methods traverse :: Applicative f => (a -> f b) -> Report1 a -> f (Report1 b) Source # sequenceA :: Applicative f => Report1 (f a) -> f (Report1 a) Source # mapM :: Monad m => (a -> m b) -> Report1 a -> m (Report1 b) Source # sequence :: Monad m => Report1 (m a) -> m (Report1 a) Source #
Traversable1 Report1 Source #
Instance details Defined in HGeometry.Measured.Report Methods traverse1 :: Apply f => (a -> f b) -> Report1 a -> f (Report1 b) Source # sequence1 :: Apply f => Report1 (f b) -> f (Report1 b) Source #
CanInsert Report1 a Source #
Instance details Defined in HGeometry.Measured.Report Methods insertMeasure :: a -> Report1 a -> Report1 a Source #
Measured Report1 a Source #
Instance details Defined in HGeometry.Measured.Report Methods measure :: a -> Report1 a Source #
Semigroup (Report1 a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (<>) :: Report1 a -> Report1 a -> Report1 a Source # sconcat :: NonEmpty (Report1 a) -> Report1 a Source # stimes :: Integral b => b -> Report1 a -> Report1 a Source #
Show a => Show (Report1 a) Source #
Instance details Defined in HGeometry.Measured.Report Methods showsPrec :: Int -> Report1 a -> ShowS Source # show :: Report1 a -> String Source # showList :: [Report1 a] -> ShowS Source #
Eq a => Eq (Report1 a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (==) :: Report1 a -> Report1 a -> Bool Source # (/=) :: Report1 a -> Report1 a -> Bool Source #
Ord a => Ord (Report1 a) Source #
Instance details Defined in HGeometry.Measured.Report Methods compare :: Report1 a -> Report1 a -> Ordering Source # (<) :: Report1 a -> Report1 a -> Bool Source # (<=) :: Report1 a -> Report1 a -> Bool Source # (>) :: Report1 a -> Report1 a -> Bool Source # (>=) :: Report1 a -> Report1 a -> Bool Source # max :: Report1 a -> Report1 a -> Report1 a Source # min :: Report1 a -> Report1 a -> Report1 a Source #

newtype ReportList a Source #

Report is a type to be used for reporting/collecting all results of a query. The result is directly represented as a list.

Constructors

ReportList [a]

Instances

Instances details

Functor ReportList Source #
Instance details Defined in HGeometry.Measured.Report Methods fmap :: (a -> b) -> ReportList a -> ReportList b Source # (<$) :: a -> ReportList b -> ReportList a Source #
Foldable ReportList Source #
Instance details Defined in HGeometry.Measured.Report Methods fold :: Monoid m => ReportList m -> m Source # foldMap :: Monoid m => (a -> m) -> ReportList a -> m Source # foldMap' :: Monoid m => (a -> m) -> ReportList a -> m Source # foldr :: (a -> b -> b) -> b -> ReportList a -> b Source # foldr' :: (a -> b -> b) -> b -> ReportList a -> b Source # foldl :: (b -> a -> b) -> b -> ReportList a -> b Source # foldl' :: (b -> a -> b) -> b -> ReportList a -> b Source # foldr1 :: (a -> a -> a) -> ReportList a -> a Source # foldl1 :: (a -> a -> a) -> ReportList a -> a Source # toList :: ReportList a -> [a] Source # null :: ReportList a -> Bool Source # length :: ReportList a -> Int Source # elem :: Eq a => a -> ReportList a -> Bool Source # maximum :: Ord a => ReportList a -> a Source # minimum :: Ord a => ReportList a -> a Source # sum :: Num a => ReportList a -> a Source # product :: Num a => ReportList a -> a Source #
Traversable ReportList Source #
Instance details Defined in HGeometry.Measured.Report Methods traverse :: Applicative f => (a -> f b) -> ReportList a -> f (ReportList b) Source # sequenceA :: Applicative f => ReportList (f a) -> f (ReportList a) Source # mapM :: Monad m => (a -> m b) -> ReportList a -> m (ReportList b) Source # sequence :: Monad m => ReportList (m a) -> m (ReportList a) Source #
Eq a => CanDelete ReportList a Source #
Instance details Defined in HGeometry.Measured.Report Methods deleteMeasure :: a -> ReportList a -> Maybe (ReportList a) Source #
CanInsert ReportList a Source #
Instance details Defined in HGeometry.Measured.Report Methods insertMeasure :: a -> ReportList a -> ReportList a Source #
Measured ReportList a Source #
Instance details Defined in HGeometry.Measured.Report Methods measure :: a -> ReportList a Source #
Monoid (ReportList a) Source #
Instance details Defined in HGeometry.Measured.Report Methods mempty :: ReportList a Source # mappend :: ReportList a -> ReportList a -> ReportList a Source # mconcat :: [ReportList a] -> ReportList a Source #
Semigroup (ReportList a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (<>) :: ReportList a -> ReportList a -> ReportList a Source # sconcat :: NonEmpty (ReportList a) -> ReportList a Source # stimes :: Integral b => b -> ReportList a -> ReportList a Source #
Show a => Show (ReportList a) Source #
Instance details Defined in HGeometry.Measured.Report Methods showsPrec :: Int -> ReportList a -> ShowS Source # show :: ReportList a -> String Source # showList :: [ReportList a] -> ShowS Source #
Eq a => Eq (ReportList a) Source #
Instance details Defined in HGeometry.Measured.Report Methods (==) :: ReportList a -> ReportList a -> Bool Source # (/=) :: ReportList a -> ReportList a -> Bool Source #
Ord a => Ord (ReportList a) Source #
Instance details Defined in HGeometry.Measured.Report Methods compare :: ReportList a -> ReportList a -> Ordering Source # (<) :: ReportList a -> ReportList a -> Bool Source # (<=) :: ReportList a -> ReportList a -> Bool Source # (>) :: ReportList a -> ReportList a -> Bool Source # (>=) :: ReportList a -> ReportList a -> Bool Source # max :: ReportList a -> ReportList a -> ReportList a Source # min :: ReportList a -> ReportList a -> ReportList a Source #