open System

open Microsoft.AspNet.Identity

[<Measure>] type PatientId

​

[<AllowNullLiteral>]

type ApplicationUser(patientId:int<PatientId>,username) =

    let debug (s:string) = System.Diagnostics.Debug.WriteLine(s)

    member x.PatientId = patientId

    member x.Username = username

    interface IUser with

        member x.get_Id () = string patientId

        member x.get_UserName() = x.Username

        member x.set_UserName value = debug <| sprintf "attempted to set username to %s" value  //value |> ignore; failwithf "Setting is not allowed"

type UserFindPredicate = | ById of string | ByUsername of string

// implementation guidance via https://github.com/ryanrodemoyer/AltProvidersForAspNetIdentity2/blob/master/Brade.AspNet.Identity/Identity/UserStore.cs

type CustomUserStore(create:ApplicationUser -> ApplicationUser, delete, find, update,users:System.Linq.IQueryable<ApplicationUser>) = // also could have been <'b when 'a :not struct and 'a :> IUser<'b>> 

    let mutable isDisposed  = false

    member private x.throwIfDisposed () = if isDisposed then failwith "Access to disposed object CustomUserStore"

    member private x.createAsync user = 

        x.throwIfDisposed()

        new System.Threading.Tasks.Task(fun _ -> create user |> ignore) 

    member private x.deleteAsync user = 

        x.throwIfDisposed()

        new System.Threading.Tasks.Task(fun _ -> delete user) 

    member private x.findByAsync pred =

        x.throwIfDisposed()

        match find pred with

        | Some user -> System.Threading.Tasks.Task.FromResult(user )

        | _ -> System.Threading.Tasks.Task.FromResult(null )

    member x.get_Users = users

    interface IUserStore<ApplicationUser> 

    interface IQueryableUserStore<ApplicationUser> 

    interface IQueryableUserStore<ApplicationUser,string> with

        member x.Users = x.get_Users

    interface IUserStore<ApplicationUser,string> with

        member x.CreateAsync user = x.createAsync user 

        member x.DeleteAsync user = x.deleteAsync user

        member x.FindByIdAsync userId = x.findByAsync <| UserFindPredicate.ById userId

        member x.FindByNameAsync userName = x.findByAsync <| UserFindPredicate.ByUsername userName 

        member x.UpdateAsync user =

            x.throwIfDisposed()

            new System.Threading.Tasks.Task(fun _ -> update user)

//    interface IQueryableUserStore<ApplicationUser,string> with

//        member x.Foo() = ()

//    interface Microsoft.AspNet.Identity.IUserStore<ApplicationUser> with

//        member x.CreateAsync user = x.createAsync user

    interface System.IDisposable with

        member x.Dispose() = isDisposed <- true

​

type ApplicationUserManager (store : ApplicationUser IUserStore) =

    //'a when ('a :> IUserStore<ApplicationUser> and 'a :> IQueryableUserStore<ApplicationUser> )) = // TODO: implementation // 'a when 'a :> IUserStore<ApplicationUser> and 'a:> ApplicationUser IQueryableUserStore

    inherit UserManager<ApplicationUser>(store)

    do

        System.Diagnostics.Debug.WriteLine("created an ApplicationUserManager!")

    interface System.IDisposable with

        override x.Dispose() =

            System.Diagnostics.Debug.WriteLine("Disposing the ApplicationUserManager")

            System.Diagnostics.Debugger.Break();

            base.Dispose()