codeof.fs

open System
open System.Reflection

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

[<ReflectedDefinition>]
let id x = x

[<ReflectedDefinition>]
let mul x y = x * y

let methodof (e: Expr) =
    let rec extract_method = function
        | Lambda (_, b) -> extract_method (b)
        | Call (_, m, _) -> m
        | _ -> failwith "frak"

    e |> extract_method

let propertyof = function
    | PropertyGet (_, p, _) -> p
    | _ -> failwith "frak"

let fieldof = function
    | FieldGet (_, f) -> f
    | _ -> failwith "frak"

let code_of (m: MethodBase) =
    match Expr.TryGetReflectedDefinition (m) with
    | Some (e) -> e.ToString ()
    | _ -> failwith "frak"

methodof (<@@ id @@>) |> code_of |> Console.WriteLine
methodof (<@@ mul @@>) |> code_of |> Console.WriteLine

type Person (name: string) =
    [<ReflectedDefinition>]
    member self.LowerName () =
        name.ToLower ()

    member self.NameField () =
        fieldof (<@@ name @@>)

let p = Person ("JbEvain")

methodof (<@@ p.LowerName @@>) |> code_of |> Console.WriteLine

Console.WriteLine (id.GetType ())
Console.WriteLine (mul.GetType ())

Console.WriteLine (p.LowerName ())

let mutable xyz = "foo"

Console.WriteLine (xyz)

xyz <- "bar"

Console.WriteLine (xyz)

propertyof (<@@ p @@>) |> Console.WriteLine
propertyof (<@@ xyz @@>) |> Console.WriteLine

Console.WriteLine (p.NameField ())