hgeometry-combinatorial
Copyright(C) Frank Staals
Licensesee the LICENSE file
MaintainerFrank Staals
Safe HaskellNone
LanguageGHC2021

HGeometry.Measured.Size

Description

 
Synopsis

Documentation

newtype Count (a :: k) 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 #

NFData (Count a) Source # 
Instance details

Defined in HGeometry.Measured.Size

Methods

rnf :: Count a -> () #

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) 
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)))

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 #

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
Functor Sized Source # 
Instance details

Defined in HGeometry.Measured.Size

Methods

fmap :: (a -> b) -> Sized a -> Sized b #

(<$) :: a -> Sized b -> Sized a #

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) #

NFData a => NFData (Sized a) Source # 
Instance details

Defined in HGeometry.Measured.Size

Methods

rnf :: 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) 
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)))

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 #

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)))