Equivalences involving Array

def Equiv.arrayEquivList (α : Type u_1) : Array α ≃ List α

The natural equivalence between arrays and lists.

@[implicit_reducible]

instance Array.encodable {α : Type u_1} [Encodable α] : Encodable (Array α)

If α is encodable, then so is Array α.

instance Array.countable {α : Type u_1} [Countable α] : Countable (Array α)

If α is countable, then so is Array α.