Data.Measured.Size

Documentation

newtype Size

Measured size. Always non-negative.

Constructors

Size Word

Instances

Enum Size

Defined in Data.Measured.Size

Methods

succ :: Size -> Size

pred :: Size -> Size

toEnum :: Int -> Size

fromEnum :: Size -> Int

enumFrom :: Size -> [Size]

enumFromThen :: Size -> Size -> [Size]

enumFromTo :: Size -> Size -> [Size]

enumFromThenTo :: Size -> Size -> Size -> [Size]

Eq Size

Defined in Data.Measured.Size

Methods

(==) :: Size -> Size -> Bool

(/=) :: Size -> Size -> Bool

Integral Size

Defined in Data.Measured.Size

Methods

quot :: Size -> Size -> Size

rem :: Size -> Size -> Size

div :: Size -> Size -> Size

mod :: Size -> Size -> Size

quotRem :: Size -> Size -> (Size, Size)

divMod :: Size -> Size -> (Size, Size)

toInteger :: Size -> Integer

Num Size

Defined in Data.Measured.Size

Methods

(+) :: Size -> Size -> Size

(-) :: Size -> Size -> Size

(*) :: Size -> Size -> Size

negate :: Size -> Size

abs :: Size -> Size

signum :: Size -> Size

fromInteger :: Integer -> Size

Ord Size

Defined in Data.Measured.Size

Methods

compare :: Size -> Size -> Ordering

(<) :: Size -> Size -> Bool

(<=) :: Size -> Size -> Bool

(>) :: Size -> Size -> Bool

(>=) :: Size -> Size -> Bool

max :: Size -> Size -> Size

min :: Size -> Size -> Size

Read Size

Defined in Data.Measured.Size

Methods

readsPrec :: Int -> ReadS Size

readList :: ReadS [Size]

readPrec :: ReadPrec Size

readListPrec :: ReadPrec [Size]

Real Size

Defined in Data.Measured.Size

Methods

toRational :: Size -> Rational

Show Size

Defined in Data.Measured.Size

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

Generic Size

Defined in Data.Measured.Size

Associated Types

type Rep Size :: Type -> Type

Methods

from :: Size -> Rep Size x

to :: Rep Size x -> Size

Semigroup Size

Defined in Data.Measured.Size

Methods

(<>) :: Size -> Size -> Size

sconcat :: NonEmpty Size -> Size

stimes :: Integral b => b -> Size -> Size

Monoid Size

Defined in Data.Measured.Size

Methods

mempty :: Size

mappend :: Size -> Size -> Size

mconcat :: [Size] -> Size

NFData Size

Defined in Data.Measured.Size

Methods

rnf :: Size -> ()

Measured Size (Elem a)

Defined in Data.Measured.Size

Methods

measure :: Elem a -> Size

type Rep Size

Defined in Data.Measured.Size

type Rep Size = D1 ('MetaData "Size" "Data.Measured.Size" "hgeometry-combinatorial-0.12.0.0-VIzkyOvE5y1mf3MPLhQ6V" 'True) (C1 ('MetaCons "Size" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

newtype Elem a

Newtype wrapper for things for which we can measure the size

Constructors

Elem

Fields

• _unElem :: a

Instances

Functor Elem

Defined in Data.Measured.Size

Methods

fmap :: (a -> b) -> Elem a -> Elem b

(<$) :: a -> Elem b -> Elem a

Foldable Elem

Defined in Data.Measured.Size

Methods

fold :: Monoid m => Elem m -> m

foldMap :: Monoid m => (a -> m) -> Elem a -> m

foldMap' :: Monoid m => (a -> m) -> Elem a -> m

foldr :: (a -> b -> b) -> b -> Elem a -> b

foldr' :: (a -> b -> b) -> b -> Elem a -> b

foldl :: (b -> a -> b) -> b -> Elem a -> b

foldl' :: (b -> a -> b) -> b -> Elem a -> b

foldr1 :: (a -> a -> a) -> Elem a -> a

foldl1 :: (a -> a -> a) -> Elem a -> a

toList :: Elem a -> [a]

null :: Elem a -> Bool

length :: Elem a -> Int

elem :: Eq a => a -> Elem a -> Bool

maximum :: Ord a => Elem a -> a

minimum :: Ord a => Elem a -> a

sum :: Num a => Elem a -> a

product :: Num a => Elem a -> a

Traversable Elem

Defined in Data.Measured.Size

Methods

traverse :: Applicative f => (a -> f b) -> Elem a -> f (Elem b)

sequenceA :: Applicative f => Elem (f a) -> f (Elem a)

mapM :: Monad m => (a -> m b) -> Elem a -> m (Elem b)

sequence :: Monad m => Elem (m a) -> m (Elem a)

Measured Size (Elem a)

Defined in Data.Measured.Size

Methods

measure :: Elem a -> Size

Eq a => Eq (Elem a)

Defined in Data.Measured.Size

Methods

(==) :: Elem a -> Elem a -> Bool

(/=) :: Elem a -> Elem a -> Bool

Ord a => Ord (Elem a)

Defined in Data.Measured.Size

Methods

compare :: Elem a -> Elem a -> Ordering

(<) :: Elem a -> Elem a -> Bool

(<=) :: Elem a -> Elem a -> Bool

(>) :: Elem a -> Elem a -> Bool

(>=) :: Elem a -> Elem a -> Bool

max :: Elem a -> Elem a -> Elem a

min :: Elem a -> Elem a -> Elem a

Read a => Read (Elem a)

Defined in Data.Measured.Size

Methods

readsPrec :: Int -> ReadS (Elem a)

readList :: ReadS [Elem a]

readPrec :: ReadPrec (Elem a)

readListPrec :: ReadPrec [Elem a]

Show a => Show (Elem a)

Defined in Data.Measured.Size

Methods

showsPrec :: Int -> Elem a -> ShowS

show :: Elem a -> String

showList :: [Elem a] -> ShowS

data Sized a

Things that have a size

Constructors

Sized !Size a

Instances

Functor Sized

Defined in Data.Measured.Size

Methods

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

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

Foldable Sized

Defined in Data.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

Defined in Data.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)

Eq a => Eq (Sized a)

Defined in Data.Measured.Size

Methods

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

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

Ord a => Ord (Sized a)

Defined in Data.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

Show a => Show (Sized a)

Defined in Data.Measured.Size

Methods

showsPrec :: Int -> Sized a -> ShowS

show :: Sized a -> String

showList :: [Sized a] -> ShowS

Generic (Sized a)

Defined in Data.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

Semigroup a => Semigroup (Sized a)

Defined in Data.Measured.Size

Methods

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

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

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

Monoid a => Monoid (Sized a)

Defined in Data.Measured.Size

Methods

mempty :: Sized a

mappend :: Sized a -> Sized a -> Sized a

mconcat :: [Sized a] -> Sized a

NFData a => NFData (Sized a)

Defined in Data.Measured.Size

Methods

rnf :: Sized a -> ()

type Rep (Sized a)

Defined in Data.Measured.Size

type Rep (Sized a) = D1 ('MetaData "Sized" "Data.Measured.Size" "hgeometry-combinatorial-0.12.0.0-VIzkyOvE5y1mf3MPLhQ6V" 'False) (C1 ('MetaCons "Sized" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Size) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))