Idris2Doc : UUID.Data.Vect

UUID.Data.Vect

(source)
Reexports
import public Data.Vect
Definitions
range : (n : Nat) -> Vect n Nat
  Visibility: export
enumerate : Vect n a -> Vect n (Nat, a)
  Visibility: export