这是indexloc提供的服务,不要输入任何密码
Skip to content

Switch to smart constructor

Compare
Choose a tag to compare
@Philippus Philippus released this 27 Dec 12:44
· 155 commits to main since this release
5d87c73

This version switches the existing constructor to a smart constructor. This gets rid of the require, which can throw exceptions. Using a smart constructor creating an Interval returns an Option. This makes needing to handle an unsuccessful creation very explicit.