How to cast an object to a list of generic type in F#

by

Unfortunately, there’s no easy way to do what you want. Type tests can only be used with specific types, and even if the type test passed, the conversion operator :?> also only works to cast expressions to specific types so the right hand side of your match wouldn’t do what you want anyway. You can partially work around this issue using an active pattern:

open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Quotations.Patterns

let ( |GenericType|_| ) =
  (* methodinfo for typedefof<_> *)
  let tdo = 
    let (Call(None,t,[])) = <@ typedefof<_> @>
    t.GetGenericMethodDefinition()
  (* match type t against generic def g *)
  let rec tymatch t (g:Type) =
    if t = typeof<obj> then None
    elif g.IsInterface then
      let ints = if t.IsInterface then [|t|] else t.GetInterfaces()
      ints |> Seq.tryPick (fun t -> if (t.GetGenericTypeDefinition() = g) then Some(t.GetGenericArguments()) else None)
    elif t.IsGenericType && t.GetGenericTypeDefinition() = g then
      Some(t.GetGenericArguments())
    else
      tymatch (t.BaseType) g
  fun (e:Expr<Type>) (t:Type) ->
    match e with
    | Call(None,mi,[]) ->
        if (mi.GetGenericMethodDefinition() = tdo) then
          let [|ty|] = mi.GetGenericArguments()
          if ty.IsGenericType then
            let tydef = ty.GetGenericTypeDefinition()
            tymatch t tydef
          else None
        else
          None
    | _ -> None

This active pattern can be used as follows:

match o.GetType() with
| GenericType <@ typedefof<list<_>> @> [|t|] -> addChildListUntyped(t,o)
| _                                          -> addChild(o)

where you’ve created a variation of addChildList which takes a type t and an object o (with runtime type list<t>) instead of taking a generic list.

This is a bit clunky, but I can’t think of a cleaner solution.

More Related Contents:

  1. How do you cast a List of supertypes to a List of subtypes?
  2. How to have Java method return generic list of any type?
  3. Java: Casting from List to List when B implements A?
  4. In Dart, what’s the difference between List.from and .of, and between Map.from and .of?
  5. Linked list partition function and reversed results
  6. Splitting a list of items into two lists of odd and even indexed items
  7. Histogram in Haskell [closed]
  8. How do I clone a generic list in C#?
  9. Remove duplicates from a List in C#
  10. Convert a Scala list to a tuple?
  11. Generics and casting – cannot cast inherited class to base class
  12. data.frame rows to a list
  13. How to create an Object that outputs a List (Not A Table)
  14. How to convert a matrix to a list of column-vectors in R?
  15. Java Class.cast() vs. cast operator
  16. Specifying generic collection type param at runtime [duplicate]
  17. How to cast from List to double[] in Java?
  18. How do I check if a given value is a generic list?
  19. Create a List of primitive int?
  20. Prolog: First duplicate value
  21. Is there a function to flatten a nested list of elements?
  22. rbind dataframes in a list of lists
  23. Python: find a list within members of another list(in order)
  24. Converting String List into Int List in SQL
  25. Casting array to IEnumerable
  26. How to convert c# generic list to json using json.net?
  27. How do I write this member constraint in F#?
  28. Implementing “last” in Prolog
  29. Recursive Prolog predicate for reverse / palindrome
  30. Grouping a list into lists of n elements in Haskell

Leave a Comment