Skip to content

Instantly share code, notes, and snippets.

View PhBastiani's full-sized avatar

Philippe Bastiani PhBastiani

View GitHub Profile
@PhBastiani
PhBastiani / PolymorphicProgram.kt
Last active January 8, 2020 14:25 — forked from JorgeCastilloPrz/PolymorphicProgram.kt
[arrow-kt] PolymorphicProgram
/**
* Arrow 0.10
* How to write polymorphic programs.
* See https://arrow-kt.io/docs/patterns/polymorphic_programs for more details...
*/
package me.jorgecastillo.polymorphicapps.polymorphic
import arrow.Kind
import arrow.core.Option
import arrow.core.left