This member is added by an implicit conversion from PartialOps[A] to
NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope.
This member is added by an implicit conversion from PartialOps[A] to
NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope.
This member is added by an implicit conversion from PartialOps[A] to
NatOps[PartialOps[A]] performed by method NatOps in matryoshka.instances.fixedpoint.
This conversion will take place only if an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope and at the same time an implicit value of type Aux[PartialOps[A], slamdata.Predef.Option] is in scope.