stdlib - 0.11.1

Stdlib.Data.UnbalancedSet

Description

Definitions

type UnbalancedSet (A : Type)Source#

Constructors

mk@{ order : Ord A; tree : BinaryTree A; }

empty {A} {{order : Ord A}} : UnbalancedSet ASource#

isMember {A} (elem : A) (set : UnbalancedSet A) : BoolSource#

insert {A} (elem : A) (set : UnbalancedSet A) : UnbalancedSet ASource#

length {A} (set : UnbalancedSet A) : NatSource#

toList {A} (set : UnbalancedSet A) : List ASource#

instance ordUnbalancedSetI {A} {{Ord A}} : Ord (UnbalancedSet A)Source#