hgeometry-combinatorial

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

HGeometry.Measured.Size

Description

Synopsis

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

Documentation

newtype Count (a :: k) Source #

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

Constructors

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

Monoid (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

mempty :: Count a Source #

mappend :: Count a -> Count a -> Count a Source #

mconcat :: [Count a] -> Count a Source #

Semigroup (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

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

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

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

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

to :: Rep (Count a) x -> Count a Source #

Read (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

readsPrec :: Int -> ReadS (Count a) Source #

readList :: ReadS [Count a] Source #

readPrec :: ReadPrec (Count a) Source #

readListPrec :: ReadPrec [Count a] Source #

Show (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

showsPrec :: Int -> Count a -> ShowS Source #

show :: Count a -> String Source #

showList :: [Count a] -> ShowS Source #

Eq (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

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

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

Ord (Count a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

compare :: Count a -> Count a -> Ordering Source #

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

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

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

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

max :: Count a -> Count a -> Count a Source #

min :: Count a -> Count a -> Count a Source #

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

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

Foldable Sized Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

fold :: Monoid m => Sized m -> m Source #

foldMap :: Monoid m => (a -> m) -> Sized a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Sized a -> m Source #

foldr :: (a -> b -> b) -> b -> Sized a -> b Source #

foldr' :: (a -> b -> b) -> b -> Sized a -> b Source #

foldl :: (b -> a -> b) -> b -> Sized a -> b Source #

foldl' :: (b -> a -> b) -> b -> Sized a -> b Source #

foldr1 :: (a -> a -> a) -> Sized a -> a Source #

foldl1 :: (a -> a -> a) -> Sized a -> a Source #

toList :: Sized a -> [a] Source #

null :: Sized a -> Bool Source #

length :: Sized a -> Int Source #

elem :: Eq a => a -> Sized a -> Bool Source #

maximum :: Ord a => Sized a -> a Source #

minimum :: Ord a => Sized a -> a Source #

sum :: Num a => Sized a -> a Source #

product :: Num a => Sized a -> a Source #

Traversable Sized Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

traverse :: Applicative f => (a -> f b) -> Sized a -> f (Sized b) Source #

sequenceA :: Applicative f => Sized (f a) -> f (Sized a) Source #

mapM :: Monad m => (a -> m b) -> Sized a -> m (Sized b) Source #

sequence :: Monad m => Sized (m a) -> m (Sized a) Source #

NFData a => NFData (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

rnf :: Sized a -> () Source #

Monoid a => Monoid (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

mempty :: Sized a Source #

mappend :: Sized a -> Sized a -> Sized a Source #

mconcat :: [Sized a] -> Sized a Source #

Semigroup a => Semigroup (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

(<>) :: Sized a -> Sized a -> Sized a Source #

sconcat :: NonEmpty (Sized a) -> Sized a Source #

stimes :: Integral b => b -> Sized a -> Sized a Source #

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

to :: Rep (Sized a) x -> Sized a Source #

Show a => Show (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

showsPrec :: Int -> Sized a -> ShowS Source #

show :: Sized a -> String Source #

showList :: [Sized a] -> ShowS Source #

Eq a => Eq (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

(==) :: Sized a -> Sized a -> Bool Source #

(/=) :: Sized a -> Sized a -> Bool Source #

Ord a => Ord (Sized a) Source #

Instance details

Defined in HGeometry.Measured.Size

Methods

compare :: Sized a -> Sized a -> Ordering Source #

(<) :: Sized a -> Sized a -> Bool Source #

(<=) :: Sized a -> Sized a -> Bool Source #

(>) :: Sized a -> Sized a -> Bool Source #

(>=) :: Sized a -> Sized a -> Bool Source #

max :: Sized a -> Sized a -> Sized a Source #

min :: Sized a -> Sized a -> Sized a Source #

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