Copyright	(c) 2019-2020 Veronika Romashkina
License	MPL-2.0
Maintainer	Veronika Romashkina <vrom911@gmail.com>
Safe Haskell	None
Language	Haskell2010

Slist.Size

Description

Lists size representation.

Synopsis

Documentation

Data type that represents lists size/lengths.

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 Source #	The minimum possible size for the list is empty list: `Size 0` The maximum possible size is `Infinity`.
Instance details Defined in Slist.Size Methods minBound :: Size # maxBound :: Size #
Eq Size Source #
Instance details Defined in Slist.Size Methods (==) :: Size -> Size -> Bool # (/=) :: Size -> Size -> Bool #
Num Size Source #	Efficient implementations of numeric operations with `Size`s. Any operations with `Infinity` size results into `Infinity`. TODO: checking on overflow when `+` or `*` sizes.
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Slist.Size Methods readsPrec :: Int -> ReadS Size # readList :: ReadS [Size] # readPrec :: ReadPrec Size # readListPrec :: ReadPrec [Size] #
Show Size Source #
Instance details Defined in Slist.Size Methods showsPrec :: Int -> Size -> ShowS # show :: Size -> String # showList :: [Size] -> ShowS #

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]