Algebra.SizeChange

Definitions

data SizeChange : Type

Totality: total
Visibility: public export
Constructors:

Smaller : SizeChange

Same : SizeChange

Unknown : SizeChange

Hints:

Eq SizeChange

Monoid SizeChange

Ord SizeChange

Pretty Void SizeChange

Semigroup SizeChange

Semiring SizeChange

Show SizeChange