Module for statically checking constructors of types that can be
instantiated with Strings.
Module for date and time related refined types.
Module for date and time related refined types.
(Since version 0.6.2) util.time has been renamed types.time
Module for statically checking constructors of types that can be instantiated with
Strings.https://github.com/fthomas/refined/blob/master/docs/util_string.md