DataTypesBasic

This package defines julia implementations for the common types Option (aka Maybe), Either and Try, as well as one extra type ContextManager which mimics Python's with-ContextManager.

Usage

Here an example using Try to handle errors programmatically. Similar to Option, a Try is either a Const, denoting an error, or an Identity value, which denotes success.

using DataTypesBasic  # defines Try

@Try div(1, 0)  # Const(Thrown(DivideError()))
@Try div(8, 3)  # Identity(2)

Using another helper package Monadic. We can combine these into nice syntax.

using Monadic  # defines @monadic

# flatmap is also defined in TypeClasses.jl
flatmap(f, x) = Iterators.flatten(map(f, x))
tryit = @monadic map flatmap begin
  a = @Try div(8, 3)
  b = @Try isodd(a) ? 100 + a : error("fail")
  @pure a, b
end
# Const(Thrown(ErrorException("fail")))

For more details check out the documentation.