libretto/libretto/InvertLib

InvertLib

class InvertLib[CoreLib <: CoreLib[_ <: InvertDSL]](val coreLib: CoreLib)
Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def pool[A](`evidence$1`: Positive[A]): LList1[A] -⚬ Unlimited[A |*| -[A]] |*| LList1[A]

Concrete fields

val coreLib: CoreLib