Use RecordHelpers

[<CLIMutable>]
type Blog = {
    [<Key>]
    Id : Guid
    Title : string
    Content : string
}

type MyContext () =
    inherit DbContext()

    [<DefaultValue>]
    val mutable private _blogs : DbSet<Blog>
    member this.Blogs with get() = this._blogs and set v = this._blogs <- v

let interactWithContext (ctx:MyContext) =

    let originalBlogPost = {
        Id = (Guid.NewGuid())
        Title = "My Title"
        Content = "My original content"
    }

    originalBlogPost |> addEntity ctx |> ignore
    saveChanges ctx |> ignore

    let blogPostReadFromDb =
        match tryFindEntity<Blog> ctx originalBlogPost.Id with
        | Some b -> b
        | None -> failwithf "Could not entity of type %A with identifier %A" typeof<Blog> originalBlogPost.Id

    let modifiedBlogPost = { blogPostReadFromDb with Content = "My updated content" }

    // This method is needed as we are "updating" the database with what is technically a new object
    // We specify the key, allowing us to accommodate composite keys 
    updateEntity ctx (fun b -> b.Id :> obj) modifiedBlogPost |> ignore

    saveChanges ctx |> ignore

    let updatedBlogFromDb =
        match tryFindEntity<Blog> ctx originalBlogPost.Id with
        | Some b -> b
        | None -> failwithf "Could not find entity of type %A with identifier %A" typeof<Blog> originalBlogPost.Id

    updatedBlogFromDb.Content = "My updated content" // This will be true

let ctx = new MyContext()

// Partially applied function, all that it needs now is the Blog entity
let updateBlog = updateEntity ctx (fun (b:Blog) -> b.Id :> obj)

let myBlog = ctx.Blogs |> Seq.head

// No need to specify context or key, that's already been done
updateBlog { myBlog with Content = "Updated content" }

let queryingContext (ctx:MyContext) =
    let allPosts = toListAsync ctx.Blogs |> Async.RunSynchronously

    let firstBlog = 
        match tryFirst ctx.Blogs with
        | Some b -> b
        | None -> failwithf "no blogs"

    let filteredBlog = 
        let maybeBlog = tryFilterFirst <@ fun x -> x.Title = "some title" @> ctx.Blogs
        match maybeBlog with
        | Some b -> b
        | None -> failwithf "no blogs founded with the title"

    let firstBlogLinq = 
        match ctx.Blogs.TryFirst() with
        | Some b -> b
        | None -> failwithf "no blogs"

    let filteredBlogLinq = 
        match ctx.Blogs.TryFirst(fun x -> x.Title = "some title") with
        | Some b -> b
        | None -> failwithf "no blogs founded with the title"

    let advancedQuery =
        query {
            for b in ctx.Blogs do
            where (b.Title = "My title" && b.Content = "Some content")
            select b.Id
        }
        |> tryFirstAsync
        |> Async.RunSynchronously

    ()