namespace PureGym

open System
open System.Net.Http
open System.Threading.Tasks
open RestEase

/// The PureGym REST API. You probably want to instantiate one of these with `Api.make`.
[<Header("User-Agent", "PureGym/1523 CFNetwork/1312 Darwin/21.0.0")>]
type IPureGymApi =
    /// Get the complete list of all gyms known to PureGym.
    [<Get "v1/gyms/">]
    abstract GetGyms : unit -> Task<Gym list>

    /// Get information about the PureGym human whose credentials this client is authenticated with.
    [<Get "v1/member">]
    abstract GetMember : unit -> Task<Member>

    /// Get information about how full the given gym currently is. The gym ID can be found from `GetGyms`.
    [<Get "v1/gyms/{gym_id}/attendance">]
    abstract GetGymAttendance : [<Path "gym_id">] gymId : int -> Task<GymAttendance>

    /// Get information about a specific gym.
    [<Get "v1/gyms/{gym_id}">]
    abstract GetGym : [<Path "gym_id">] gymId : int -> Task<Gym>

    /// Get information about the activities logged against the currently authenticated PureGym human.
    [<Get "v1/member/activity">]
    abstract GetMemberActivity : unit -> Task<MemberActivityDto>

    /// Get information about the individual visits to all PureGyms the currently-authenticated PureGym human has made.
    [<Get "v2/gymSessions/member">]
    abstract GetSessions : [<Query>] fromDate : DateTime -> [<Query>] toDate : DateTime -> Task<Sessions>

// [<Get "v1/member/activity/history">]
// abstract GetMemberActivityAll : unit -> Task<string>

/// Methods for interacting with the PureGym REST API.
[<RequireQualifiedAccess>]
module Dto =
    /// Create a REST client, authenticated as the specified user.
    let make (auth : Auth) : IPureGymApi Task =
        task {
            let! token =
                match auth with
                | Auth.Token t -> Task.FromResult<_> t
                | Auth.User cred -> AuthToken.get cred

            let client = new HttpClient ()
            client.BaseAddress <- Uri "https://capi.puregym.com/api"

            client.DefaultRequestHeaders.Authorization <-
                Headers.AuthenticationHeaderValue ("Bearer", token.AccessToken)

            client.DefaultRequestHeaders.Add ("User-Agent", "PureGym/1523 CFNetwork/1312 Darwin/21.0.0")

            return RestClient.For<IPureGymApi> client
        }