Add spec method to Exact

[ustitc]

• Changed Exact to abstract class instead of interface Add spec function in ExactEither with context of Raise so that clients can both use implementation and implementation by delegation
  • I suggest that developers won't need to implement/extend their companion objects in most scenarios, so that restriction won't be a big problem
  • Extending from abstract class Implementing feels more "natural" than delegating using by and I think it will be more convenient for clients. But let's keep delegation is a viable alternative
• Removed ExactScope in favour of extending Raise
  • I suggest that it will be better to limit amount of new abstractions and reuse existing one as much as possible
  • Also removed ExactDsl, I will agree with @CLOVIS-AI in Replace ExactDsl by RaiseDsl #15, adding a separate dsl marker for methods with same semantics will look confusing for clients of library

[CLOVIS-AI]

Changed Exact to abstract class instead of interface

I don't really see the benefit for this. It makes the DSL more verbose, and adds limitations (e.g. the companion object cannot extend any other class) for no reason I see.

Personally, I'd prefer keeping it as it is now, or letting the user decide (e.g. have a Raise interface and an AbstractRaise abstract class).

[ILIYANGERMANOV]

I like it! Thank you @ustits 👍
@CLOVIS-AI I thought the same at first but the benefit is that your IDE will generate the majority of the code and also it's more obvious than companion object by ....

[ustitc]

@CLOVIS-AI @ILIYANGERMANOV Actually I figured out how we can keep both approaches. I turned Exact back to interface and since it is a functional interface we can instantiate it like this:

@JvmInline
value class NotBlankString private constructor(val value: String) {
   companion object : Exact<String, NotBlankString> by Exact({
     ensure(it.isNotBlank()) { ExactError("Cannot be blank.") }
     NotBlankString(it)
   })
}

@nomisRev I will need help, I added one more example to Exact but the last one is not showing in documentation in IDE, can't understand why

[CLOVIS-AI]

I turned Exact back to interface and since it is a functional interface

Oh, that's great. This way, we can explain to users how it works using the regular interface implementation using override, and later in the documentation introduce them to the by sugar.

[nomisRev]

@nomisRev I will need help, I added one more example to Exact but the last one is not showing in documentation in IDE, can't understand why

@ustits I think this has been resolved in 0348de6?

Amazing work all! I cannot believe how incredible this DSL looks, and the underlying code is really simple 🙌

Thanks all for collaborating so amazingly 😍

[ustitc]

@nomisRev thanks for the feedback! Actually the problem was in using @JvmInline annotation inside <!--- INCLUDE --> directive, fixed it