Sortable

Definitions

interface Sortable : (Type -> Type) -> Type

Parameters: s
Methods:

empty : Ord a => s a

add : Ord a => a -> s a -> s a

sort : Ord a => s a -> List a

empty : Sortable s => Ord a => s a

Totality: total
Visibility: public export

add : Sortable s => Ord a => a -> s a -> s a

Totality: total
Visibility: public export

sort : Sortable s => Ord a => s a -> List a

Totality: total
Visibility: public export