Agda.Utils.Size

Documentation

class Sized a where

Methods

size :: Integral n => a -> n

Instances

Sized Permutation

Sized ModuleName

Sized QName

Sized Type

Sized Term

Sized [a]

Sized (Set a)

Sized a => Sized (Arg a)

Sized a => Sized (Abs a)

Sized (Tele a)

Sized (Map k a)

Sized a => Sized (Named name a)