facile | Python constraint programming library

i have a dataframe like :

I am using List from 'react-native-paper' to display an order list. when I click on the order, 'displays the order total and the products. I added:

left = {product.quantity}

so that on the left of the products I have the quantity of the products displayed. However, this line gives me an error:

TypeError: 1 is not a function (near '... left ...')

My data array looks like this:

In the JSON library jsfacile I was able to automatically derive type-classes for types with recursive type references thanx to a buffer where outer executions of a macro store instances of universe.Tree which are used later by inner executions of the same or other macro. This works fine as long as the universe.Tree instance was not type-checked (with the Typers.typecheck method).

The problem is that this forces to type-check the same Tree instance more than one time: one time in the macro execution that created it (after having stored it in the buffer); and more times in each inner macro execution that needs it.

The intention of this question is to find out a way to share the Tree instance between macro executions after it was type-checked; in order to improve compilation speed.

I tried to wrap the type-checked Tree into a universe.Expr[Unit] and migrate it to the mirror of the macro execution that uses it by means of the Expr.in[U <: Universe](otherMirror: Mirror[U]): U # Expr[T] method. But it fails with an internal error:

How to implement the function normalize(type: Type): Type such that:

A =:= B if and only if normalize(A) == normalize(B) and normalize(A).hashCode == normalize(B).hashCode.

In other words, normalize must return equal results for all equivalent Type instances; and not equal nor equivalent results for all pair of non equivalent inputs.

There is a deprecated method called normalize in the TypeApi, but it does not the same.

In my particular case I only need to normalize types that represent a class or a trait (tpe.typeSymbol.isClass == true).

Edit 1: The fist comment suggests that such a function might not be possible to implement in general. But perhaps it is possible if we add another constraint: B is obtained by navigating from A. In the next example fooType would be A, and nextAppliedType would be B:

I am trying to create a new column by extracting date information from text. I found that date is at the end of each row, within the last two round brackets.

I am trying to extract the content in the last parenthesis at the end of each of the following rows:

When i write this code with a global tag , no problem the link id defined and appears at bottom everywhere my mouse is.

so i have a problem , i want to put a figure inside some text , which means wrapping text around this pic .

but its not working instead , its just showing the pic at the buttom left side of the enxt page

The problem is in the figure name : Jule_bel

image to eshow the problem ----->

Here is my code :

I'm using a JSON File to get the data I need in my app.