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

HGeometry.Measured.Size

Description

Synopsis

newtype Count a = Count Word
data Sized a = Sized !(Count a) a

Documentation

newtype Count a Source #

Measured size or count. The result is always non-negative.

Constructors

Count Word

Instances

Instances details

CanDelete (Count :: Type -> Type) a Source #
Instance details Defined in HGeometry.Measured.Size Methods deleteMeasure :: a -> Count a -> Maybe (Count a) Source #
CanInsert (Count :: Type -> Type) a Source #
Instance details Defined in HGeometry.Measured.Size Methods insertMeasure :: a -> Count a -> Count a Source #
Measured (Count :: Type -> Type) a Source #
Instance details Defined in HGeometry.Measured.Size Methods measure :: a -> Count a Source #
Monoid (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods mempty :: Count a # mappend :: Count a -> Count a -> Count a # mconcat :: [Count a] -> Count a #
Semigroup (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods (<>) :: Count a -> Count a -> Count a # sconcat :: NonEmpty (Count a) -> Count a # stimes :: Integral b => b -> Count a -> Count a #
Generic (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Associated Types type Rep (Count a) :: Type -> Type # Methods from :: Count a -> Rep (Count a) x # to :: Rep (Count a) x -> Count a #
Read (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods readsPrec :: Int -> ReadS (Count a) # readList :: ReadS [Count a] # readPrec :: ReadPrec (Count a) # readListPrec :: ReadPrec [Count a] #
Show (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods showsPrec :: Int -> Count a -> ShowS # show :: Count a -> String # showList :: [Count a] -> ShowS #
NFData (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods rnf :: Count a -> () #
Eq (Count a) Source #
Instance details Defined in HGeometry.Measured.Size Methods (==) :: Count a -> Count a -> Bool # (/=) :: Count a -> Count a -> Bool #
Ord (Count a) Source #
Instance details Defined in HGeometry.Measured.Size 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 #
type Rep (Count a) Source #
Instance details Defined in HGeometry.Measured.Size type Rep (Count a) = D1 ('MetaData "Count" "HGeometry.Measured.Size" "hgeometry-combinatorial-1.0.0.0-inplace" 'True) (C1 ('MetaCons "Count" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data Sized a Source #

Things that have a size

Constructors

Sized !(Count a) a

Instances

Instances details

Foldable Sized Source #
Instance details Defined in HGeometry.Measured.Size Methods fold :: Monoid m => Sized m -> m # foldMap :: Monoid m => (a -> m) -> Sized a -> m # foldMap' :: Monoid m => (a -> m) -> Sized a -> m # foldr :: (a -> b -> b) -> b -> Sized a -> b # foldr' :: (a -> b -> b) -> b -> Sized a -> b # foldl :: (b -> a -> b) -> b -> Sized a -> b # foldl' :: (b -> a -> b) -> b -> Sized a -> b # foldr1 :: (a -> a -> a) -> Sized a -> a # foldl1 :: (a -> a -> a) -> Sized a -> a # toList :: Sized a -> [a] # null :: Sized a -> Bool # length :: Sized a -> Int # elem :: Eq a => a -> Sized a -> Bool # maximum :: Ord a => Sized a -> a # minimum :: Ord a => Sized a -> a # sum :: Num a => Sized a -> a # product :: Num a => Sized a -> a #
Traversable Sized Source #
Instance details Defined in HGeometry.Measured.Size Methods traverse :: Applicative f => (a -> f b) -> Sized a -> f (Sized b) # sequenceA :: Applicative f => Sized (f a) -> f (Sized a) # mapM :: Monad m => (a -> m b) -> Sized a -> m (Sized b) # sequence :: Monad m => Sized (m a) -> m (Sized a) #
Functor Sized Source #
Instance details Defined in HGeometry.Measured.Size Methods fmap :: (a -> b) -> Sized a -> Sized b # (<$) :: a -> Sized b -> Sized a #
Monoid a => Monoid (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods mempty :: Sized a # mappend :: Sized a -> Sized a -> Sized a # mconcat :: [Sized a] -> Sized a #
Semigroup a => Semigroup (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods (<>) :: Sized a -> Sized a -> Sized a # sconcat :: NonEmpty (Sized a) -> Sized a # stimes :: Integral b => b -> Sized a -> Sized a #
Generic (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Associated Types type Rep (Sized a) :: Type -> Type # Methods from :: Sized a -> Rep (Sized a) x # to :: Rep (Sized a) x -> Sized a #
Show a => Show (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods showsPrec :: Int -> Sized a -> ShowS # show :: Sized a -> String # showList :: [Sized a] -> ShowS #
NFData a => NFData (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods rnf :: Sized a -> () #
Eq a => Eq (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods (==) :: Sized a -> Sized a -> Bool # (/=) :: Sized a -> Sized a -> Bool #
Ord a => Ord (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size Methods compare :: Sized a -> Sized a -> Ordering # (<) :: Sized a -> Sized a -> Bool # (<=) :: Sized a -> Sized a -> Bool # (>) :: Sized a -> Sized a -> Bool # (>=) :: Sized a -> Sized a -> Bool # max :: Sized a -> Sized a -> Sized a # min :: Sized a -> Sized a -> Sized a #
type Rep (Sized a) Source #
Instance details Defined in HGeometry.Measured.Size type Rep (Sized a) = D1 ('MetaData "Sized" "HGeometry.Measured.Size" "hgeometry-combinatorial-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Sized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (Count a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))