Slist.Size

Lists size representation.

Documentation

data Size

Data type that represents lists size/lengths.

List	length	Size
[]	0	Size 0
[1..10]	10	Size 10
[1..]	hangs	Infinity

Note, that size is not suppose to have negative value, so use the Size constructor carefully.

Constructors

Size !Int

Finite size

Infinity

Infinite size.

Instances

Bounded Size

The minimum possible size for the list is empty list: Size 0 The maximum possible size is Infinity.

Defined in Slist.Size

Methods

minBound :: Size

maxBound :: Size

Eq Size

Defined in Slist.Size

Methods

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

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

Num Size

Efficient implementations of numeric operations with Sizes.

Any operations with Infinity size results into Infinity. When Infinity is a left argument, all operations are also right-lazy. Operations are checked for integral overflow under the assumption that all values inside Size are positive.

>>> Size 10 + Size 5
Size 15
>>> Size 5 * Infinity
Infinity
>>> Infinity + error "Unevaluated size"
Infinity
>>> Size (10 ^ 10) * Size (10 ^ 10)
Infinity

Defined in Slist.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 Slist.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 Slist.Size

Methods

readsPrec :: Int -> ReadS Size

readList :: ReadS [Size]

readPrec :: ReadPrec Size

readListPrec :: ReadPrec [Size]

Show Size

Defined in Slist.Size

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

sizes :: Size -> [Size]

Returns the list of sizes from zero to the given one (including).

>>> sizes $ Size 3
[Size 0,Size 1,Size 2,Size 3]

>> sizes Infinity
[Size 0, Size 1, ..., Size maxBound, Infinity]