paket add nuget Suave -i

Install-Package Suave

open Suave
open System.Net

let config =
  { defaultConfig
      with bindings =
            [ HttpBinding.mk HTTP IPAddress.Loopback 8000us ] }
// startWebServer config (Successful.OK "Hello World!")

open Suave.Filters
open Suave.Operators
open Suave.Successful

let app =
  choose // combines 'post' and 'get' WebPart
    [ GET >=> choose // combines both WebParts
        [ path "/hello" >=> OK "Hello GET"
          path "/goodbye" >=> OK "Good bye GET" ]
      POST >=> choose // combines both WebParts
        [ path "/hello" >=> OK "Hello POST"
          path "/goodbye" >=> OK "Good bye POST" ] ]
// passing the final WebPart to the HTTP server
// startWebServer config app

let app =
  GET >=> choose // combines both WebParts
       [ path "/hello" >=> OK "Hello GET"
         pathScan "/add/%d/%d" (
              fun (n1,n2) ->
                OK <| sprintf "%d" (n1 + n2)
            ) ]

let analyse (pf : PrintfFormat<_,_,_,_,'t>) =
  match typeof<'t> with
  | ty when ty.IsPrimitive -> sprintf "Primitive type of %s " ty.Name
  | ty ->
    let names =
      ty.GetGenericArguments()
      |> Seq.map (fun pt -> pt.Name)
      |> Seq.toList
    sprintf "Generic of %A" names

let log1 = analyse "/stringify/%d"
let log2 = analyse "/add/%d/%d/%s"

let pathTemplate (pf : PrintfFormat<_,_,_,_,'t>) (callback:'t -> unit)=
  failwith "not implemented"

pathTemplate "/add/%d/%d" (fun (n1:int,n2:int) -> failwith "not implemented")

let now1 : WebPart =
  fun (x : HttpContext) ->
    async {
      return! OK (DateTime.Now.ToString()) x
    }
//[<EntryPoint>]
let main argv =
  let time1 = GET >=> path "/time1" >=> now1
  //startWebServer defaultConfig time1
  0 // return an integer exit code

open Suave.Swagger
open Rest
open FunnyDsl
open Swagger

let now2 : WebPart =
  fun (x : HttpContext) ->
    async {
      return! MODEL DateTime.Now x
    }
let api1 =
  swagger {
    for route in getting (simpleUrl "/time" |> thenReturns now2) do
      yield description Of route is "What time is it ?"
  }
//startWebServer defaultConfig api1.App

[<CLIMutable>]
type SmsModel = {
  Id:int
  Address:string
  Body:string
  Date:DateTime
}
and [<CLIMutable>] SendSmsModel = {
  Destination:string
  Body:string
}
and [<CLIMutable>] SendSmsResult = {
  Success:bool
  Sms:SendSmsModel
}

let readAllRows (context:Context) uri =
  let cr = context.ContentResolver
  use c = cr.Query(Android.Net.Uri.Parse uri, null, null, null, null)
  let names = c.GetColumnNames()
  c.MoveToFirst() |> ignore
  seq {
    for _ in 0 .. c.Count-1 do
      let row = names
        |> Seq.map (
            fun name ->
                  name, c.GetString(c.GetColumnIndex name))
        |> dict
      yield row
      c.MoveToNext() |> ignore
    c.Close()
  } |> Seq.toArray

let getContacts context =
  let uri = Android.Provider.ContactsContract
              .CommonDataKinds.Phone.ContentUri.ToString()
  readAllRows context uri
let listSentSms context skip limit =
    match skip with
    | Some n -> listSms context "content://sms/sent" n limit
    | None -> listSms context "content://sms/sent" 0 limit
let listInboxSms context skip limit =
  match skip with
  | Some n -> listSms context "content://sms/inbox" n limit
  | None -> listSms context "content://sms/inbox" 0 limit
// etc ...

let api =
  swagger {
    for route in getting (simpleUrl "/contacts"
                          |> thenReturns contacts) do
      yield description Of route is "contacts"

    for route in getting (simpleUrl "/sms/sent"
                           |> thenReturns (sentSmsWp context)) do
      // this is the raw description of the REST method
      yield description Of route is "Get last 20 sent SMS"
      // we can provide a type per response code
      yield route
            |> addResponse 200 "The found messages"
                (Some typeof<SmsModel>)
  }