ToRat | Remote Administation tool written in Go using Tor

The in operator is declared inverse. You need an extension function on the right side that takes the left side.

https://kotlinlang.org/docs/reference/operator-overloading.html#in

You miss an infix function divBy to allow turing Int into Rational, e.g.

A simple method is to first find all of the matches for one of the criteria (using array_keys() with the values to select) and then check each one with the other array to match the second value...

I got it working alright. I just want to make it clear if anyone is in search of the solution to this problem that the above mention code for getting the angle from one point to an other point is working fine. Code to get angle.

When deciding between

(scheduler: 'a option when 'a :> IScheduler) -or-

(scheduler: 'a when 'a :> IScheduler option),

the compiler will tell you that the first variant resolves as

(scheduler: #IScheduler option)

while the second should generate a warning that it has been constrained to

(scheduler: IScheduler option).

Therefore your first variant does actually what you want it to do. The # notation is called flexible type.

There were some missing details about the application and data, so I made a couple of assumptions. It appears that you have a query object that you want to filter and pull rates from for an origCode and a toCode. Without knowing more about your data structure and what you plan to do with it, I can only make some general suggestions. I still maintain that it would be much better to filter in the query, but I understand the limitation. Since you have to filter inside your application, both the bulk of the base data you initially return and the processing to filter those records will negatively impact the performance.

First thing I did was to set up a fake query object. This is where my first assumption comes into play. I assumed that your code won't be any duplicated in your table, and that the code will have a rate associated with it.

Yes, the name Real is a rather misleading name for the class of types that can be converted to a rational.

Indeed, we have instances like Real Integer, Real IntPtr, Real CBool which can be very surprising.

The standard numeric classes are generally regarded as being a bit weird, both in their names and in their overall design.

Suppose we call next a few times within the same second and getTime 1 returns 42 each time.

The first time, t is 42, v is 0, t /= v so t' is 42.

The second time, t is 42, v is 42, t == v so t' is 43, we store 43.

The third time, t is 42, v is 43, t /= v so t' is 42, we store 42.

The fourth time, t is 42, v is 42, t == v so t' is 43, we store 43.

See the problem?

Yes, you can give it that type signature, but you need to give it a few hints about how the types in the signature correspond with the expressions in the code. Turn on ScopedTypeVariables; then the following compiles:

I think you might be looking for interval. The hasql library has an encoder and a decoder for DiffTime with the name interval as well.