Agda.Utils.Size

Documentation

class Sized a where

Methods

size :: Integral n => a -> n

Instances

Sized Permutation

Sized ModuleName

Sized QName

Sized LevelAtom

Sized PlusLevel

Sized Level

Sized Type

Sized Term

Sized Substitution

Sized [a]

Sized a => Sized (Maybe a)

Sized (Set a)

Sized (Tele a)

Sized a => Sized (Abs a)

Sized a => Sized (Elim' a)

Sized (Map k a)

Sized a => Sized (Named name a)

Sized a => Sized (Dom c a)

Sized a => Sized (Arg c a)