Idris2Doc
: uuid-js
Index
Default
Alternative
Black & White
Package uuid-js - Namespaces
UUID.Driver.JS
Note that the JavaScript library "uuid" on which this Idris library depends, considers a string a valid UUID string only if can be generated by a UUID algorithm described in the UUID RFCs.