AOption

sealed abstract class AOption[F[_, _], A, B]

Similar to Option[F[A, B]], but the empty case witnesses type equality between A and B.

Companion:
object
class Object
trait Matchable
class Any
class ANone[F, A, B]
class ASome[F, A, B]

Value members

Concrete methods

def fold[R](caseSome: F[A, B] => R, caseNone: A === B => R): R