union

object union

Provides functions to model coproducts (sealed-hints).

class Object
trait Matchable
class Any
union.type

Type members

Classlikes

trait ClosedSyntax[S <: ([x[_]] =>> Schematic[x])]
class Schema[S <: ([x[_]] =>> Schematic[x]), U](first: OneOf[S, U, _], rest: Vector[OneOf[S, U, _]], total: U => WithValue[S, U, _]) extends Schema[S, U]
trait Schematic[F[_]]