Mastering Kotlin

Data types

Data types in Arrow aim to encapsulate and enforce common programming patterns. An example of this might be requesting a resource that may either succeed with a single data type, or fail. Several common data types are provided by Arrow to enforce patterns:

• Option: Represents the possible absence of data
• Either: Represents an if/else branch in a data flow
• Try: Represents an operation that may result in a success with a single result, or an exception

These data types are implemented as Kotlin data classes, or as sealed classes comprising object classes and data classes. The goal is to enforce these common patterns as well as immutability.

In this snippet, we create an instance of Some, which extends Option, and then map that to ...