Idris2Doc : Set

Set

(source)
Definitions
interface Set : (Type -> Type) -> Type -> Type
  Parameters: s, a
Methods:
  
empty : s a
  
insert : a -> s a -> s a
  
member : a -> s a -> Bool
empty : Set s a => s a
  Totality: total
  Visibility: public export
insert : Set s a => a -> s a -> s a
  Totality: total
  Visibility: public export
member : Set s a => a -> s a -> Bool
  Totality: total
  Visibility: public export