Description

Update the implementation of the NotEmptySet type for not inheriting from a type like the following:

data class NotEmptySet<A>(val head: A, val tail: NotEmptySet<A>? = null) {
    val asSet: Set<A> get() = TODO()
    val size: StrictlyPositiveInt get() = TODO()
}

Checklist

• [x] Implement.
• [x] Test.
• [x] Refactor.
• [x] Update Work in progress section in changelog.

Description

Update the implementation of the NotEmptyList for not inheriting from a type like the following:

data class NotEmptyList<E>(val head: E, val tail: NotEmptyList<E>? = null) {
    val asList: List<E> get() = TODO()
    val size: StrictlyPositiveInt get() = TODO()
}

Checklist

• [x] Implement.
• [x] Test.
• [x] Refactor.
• [x] Update Work in progress section in changelog.

Description

Implement the following operations in the companion object of integers:

• the min property holding the minimum value of the integer type
• the max property holding the maximum value of the integer type
• the random function returning a random integer type.

Checklist

• [x] Implement for NonZeroInt.
• [x] Implement for PositiveInt.
• [x] Implement for NegativeInt.
• [x] Implement for StrictlyPositiveInt.
• [x] Implement for StrictlyNegativeInt.
• [x] Test.
• [x] Refactor.

Description

Convert the builder of integers to a property, and rename their value property to asInt. Here's an example for the NonZeroInt type:

// Before
val NonZeroInt.value: Int get() = TODO()
fun Int.toNonZeroInt(): Result<NonZeroInt> = TODO()

// After
val Int.asNonZeroInt: Result<NonZeroInt> get() = TODO()
val NonZeroInt.asInt: Int get() = TODO()

Checklist

• [x] Implement.
• [x] Test.
• [x] Refactor.

Description

Replace the toNotBlankString function by the asNotBlankString property, and make the value property private.

// Before
val NotBlankString.value: String get() = TODO()
fun String.toNotBlankString(): Result<NotBlankString> = TODO()
fun NotBlankString.toString(): String = TODO()

// After
val String.asNotBlankString: Result<NotBlankString> get() = TODO()
fun NotBlankString.toString(): String = TODO()

Checklist

• [x] Implement.
• [x] Test.
• [x] Refactor.

Description

Update the implementation of the NotEmptyMap type for not inheriting from any type like the following:

data class NotEmptyMap<K, V>(val head: Pair<K, V>, val tail: NotEmptyMap<K, V>? = null) {
    val asMap: Map<K, V> get() = TODO()
    val entries: NotEmptySet<Map.Entry<K, V>> get() = TODO()
    val keys: NotEmptySet<K> get() = TODO()
    val values: NotEmptyList<V> get() = TODO()
    val size: StrictlyPositiveInt get() = TODO()
}

Checklist

• [x] Implement.
• [x] Test.
• [x] Refactor.
• [x] Update Work in progress section in changelog.

Description

Make the NotBlankString type implementing the CharSequence interface.

This issue can introduce breaking changes!

Checklist

• [ ] Implement.
• [ ] Test.
• [ ] Refactor.
• [ ] Update Work in progress section in changelog.

Description

Introduce a new NotEmptyCollection type representing collections that contain at least one element:

/** Representation of collections containing at least one element of type [E]. */
sealed interface NotEmptyCollection<out E> {
    /** The first element of this collection. */
    val head: E
    
    /** The size of this collection. */
    val size: StrictlyPositiveInt
    
    /** Returns the string representation of this collection. */
    override fun toString(): String
}

data class NotEmptyList<out E> : NotEmptyCollection<E> { /* ... */ }
data class NotEmptySet<out E> : NotEmptyCollection<E> { /* ... */ }

Checklist

• [ ] Implement.
• [ ] Test.
• [ ] Refactor.
• [ ] Update Work in progress section in changelog.

Dependencies

Issues of this new version should be done before resolving this issue.

Checklist

• [ ] Upgrade the application's version.
• [ ] Add a new version in changelog.
• [ ] Create a release on the repository.

Description

Use Kotlin 1.5.32 in this project.

Checklist

• [ ] Upgrade Kotlin.
• [ ] Test.
• [ ] Refactor.
• [ ] Update Work in progress section in changelog.

Description

For concatenating a NotBlankString with another one easily, we should implement the following functions:

operator fun NotBlankString.plus(other: NotBlankString): NotBlankString = TODO()
operator fun NotBlankString.plus(other: Result<NotBlankString>): Result<NotBlankString> = TODO()
operator fun Result<NotBlankString>.plus(other: NotBlankString): Result<NotBlankString> = TODO()
operator fun Result<NotBlankString>.plus(other: Result<NotBlankString>): Result<NotBlankString> = TODO()

fun main(): Unit = println("hello".toNotBlankString() + " world".toNotBlankString()) // Success(hello world)

Checklist

• [ ] Implement the NotBlankString.plus(NotBlankString) function.
• [ ] Implement the NotBlankString.plus(Result<NotBlankString>) function.
• [ ] Implement the Result<NotBlankString>.plus(NotBlankString) function.
• [ ] Implement the Result<NotBlankString>.plus(Result<NotBlankString>) function.
• [ ] Refactor.
• [ ] Update Work in progress section in changelog.

Dependencies

Issues of this new version should be done before resolving this issue.

Checklist

• [x] Upgrade the application's version.
• [x] Add a new version in changelog.
• [ ] Release on the Maven Central.
• [ ] Update version in readme.
• [ ] Create a release on the repository.