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 : Positive]: LList1[A] -⚬ Unlimited[A |*| -[A]] |*| LList1[A]

Concrete fields

val coreLib: CoreLib

Implicits

Implicits