Data.SizeCompare

Documentation

(|==|) :: (Sizeable a, Sizeable b) => a -> b -> Bool

Equality on the size of containers

(|<|) :: (Sizeable a, Sizeable b) => a -> b -> Bool

Defines Smaller Than on the size of containers

(|<=|) :: (Sizeable a, Sizeable b) => a -> b -> Bool

Defines Smaller Than or Equal on the size of containers

(|>|) :: (Sizeable a, Sizeable b) => a -> b -> Bool

Defines Greater Than on the size of containers

(|>=|) :: (Sizeable a, Sizeable b) => a -> b -> Bool

Defines Greate Than or Equal on the size of containers

class Sizeable a where

Provides functionality for smartly measuring the size of a container

Methods

cSize :: a -> Maybe Int

Returns (Just size) for containers with O(1) size lookup, otherwise Nothing

reduce :: a -> Maybe a

Reduces a container by 1 element, resulting in Nothing when finished

Instances

Sizeable Int

Sizeable instance for Int, make sure to add typing to integer constants, like: (0::Int).

Sizeable [a]

Sizeable for Lists

Sizeable (Set a)

Sizeable for Sets

Sizeable (Map a b)

Sizeable for Maps