Wie rufe ich Redis StringSet() aus F #

Question

Ich verwende StackExchange.Redis, um auf eine Redis-Instanz zuzugreifen.

Ich habe folgende Arbeits C# -Code:

public static void Demo() 
{ 
    ConnectionMultiplexer connection = ConnectionMultiplexer.Connect("xxx.redis.cache.windows.net,ssl=true,password=xxx"); 

    IDatabase cache = connection.GetDatabase(); 

    cache.StringSet("key1", "value"); 
} 

Hier ist das, was ich der entsprechende Code F # wäre würde hoffen:

let Demo() = 
    let cx = ConnectionMultiplexer.Connect @"xxx.redis.cache.windows.net,ssl=true,password=xxx" 
    let cache = cx.GetDatabase() 
    cache.StringSet("key1", "value") |> ignore 

jedoch dies nicht kompilieren - ‚Keine Übereinstimmung Überlastungen für Methode StringSet '. Die StringSet-Methode erwartet Argumente vom Typ RedisKey und RedisValue, und in C# scheint etwas Compiler-Magie zu laufen, um die Strings im aufrufenden Code in RedisKey und RedisValue zu konvertieren. Die Magie scheint in F # nicht zu existieren. Gibt es eine Möglichkeit, das gleiche Ergebnis zu erzielen?

Answer 1

Hier ist der Arbeits Code, vielen Dank an @ Daniel:

open StackExchange.Redis 
open System.Collections.Generic 

let inline (~~) (x:^a) : ^b = ((^a or ^b) : (static member op_Implicit: ^a -> ^b) x) 

let Demo() = 
    let cx = ConnectionMultiplexer.Connect @"xxx.redis.cache.windows.net,ssl=true,password==xxx" 
    let cache = cx.GetDatabase() 

    // Setting a value - need to convert both arguments: 
    cache.StringSet(~~"key1", ~~"value") |> ignore 

    // Getting a value - need to convert argument and result: 
    cache.StringGet(~~"key1") |> (~~) |> printfn "%s"