Partitioned

libretto.lambda.Bin.Partitioned
enum Partitioned[G[_], H[_], ~⚬[_, _]]

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Both[G, H, X, Y, ~⚬]

Members list

Type members

Enum entries

final case class Both[G[_], H[_], X, Y, ~⚬[_, _]](l: Bin[<*>, T, G, X], r: Bin[<*>, T, H, Y], f: (X <*> Y) ~⚬ A) extends Partitioned[G, H, ~⚬]
final case class Left[G[_], H[_], ~⚬[_, _]](value: Bin[<*>, T, G, A])
final case class Right[G[_], H[_], ~⚬[_, _]](value: Bin[<*>, T, H, A])