Safe Haskell	Safe
Language	Haskell2010

Agda.Utils.Size

Description

Collection size.

Synopsis

Documentation

class Sized a where Source #

The size of a collection (i.e., its length).

Minimal complete definition

Methods

Instances

Sized IntSet Source #
Methods size :: IntSet -> Int Source #
Sized Permutation Source #
Methods size :: Permutation -> Int Source #
Sized TopLevelModuleName Source #
Methods size :: TopLevelModuleName -> Int Source #
Sized ModuleName Source #
Methods size :: ModuleName -> Int Source #
Sized QName Source #
Methods size :: QName -> Int Source #
Sized [a] Source #
Methods size :: [a] -> Int Source #
Sized (IntMap a) Source #
Methods size :: IntMap a -> Int Source #
Sized (Seq a) Source #
Methods size :: Seq a -> Int Source #
Sized (Set a) Source #
Methods size :: Set a -> Int Source #
Sized (HashSet a) Source #
Methods size :: HashSet a -> Int Source #
Sized (SizedThing a) Source #	Return the cached size.
Methods size :: SizedThing a -> Int Source #
Sized (Tele a) Source #	The size of a telescope is its length (as a list).
Methods size :: Tele a -> Int Source #
Sized a => Sized (Abs a) Source #
Methods size :: Abs a -> Int Source #
Sized (Map k a) Source #
Methods size :: Map k a -> Int Source #
Sized (HashMap k a) Source #
Methods size :: HashMap k a -> Int Source #

Thing decorated with its size. The thing should fit into main memory, thus, the size is an Int.

Constructors

SizedThing
Fields theSize :: !Int sizedThing :: a

Instances

Null a => Null (SizedThing a) Source #
Methods empty :: SizedThing a Source # null :: SizedThing a -> Bool Source #
Sized (SizedThing a) Source #	Return the cached size.
Methods size :: SizedThing a -> Int Source #

Cache the size of an object.