schematic/schematic/union/Schematic

Schematic

trait Schematic[F[_]]
class Object
trait Matchable
class Any
trait Mixin[F]
trait Mixin[F]
trait StubSchematic[F]

Value members

Abstract methods

def union[S](first: Alt[F, S, _], rest: Vector[Alt[F, S, _]])(total: S => WithValue[F, S, _]): F[S]

Models a coproduct as a list of alternatives. Typesafety is guaranteed by the total function, which ensures that any value of the supertype can be downcasted to an alternative.

Models a coproduct as a list of alternatives. Typesafety is guaranteed by the total function, which ensures that any value of the supertype can be downcasted to an alternative.