Krzysztof-Cieslak

<ApplicationManifest>
  ...
  <ServiceManifestImport>
      <ServiceManifestRef ServiceManifestName="SERVICENAME" ServiceManifestVersion="1.0.0" />
      <Policies>
        <EndpointBindingPolicy CertificateRef="MyCertificateName" EndpointRef="ServiceEndpoint" />
      </Policies>
  </ServiceManifestImport>
  ...
  <Certificates>

Krzysztof-Cieslak

'FsAutoComplete.Suave.exe' (CLR v4.0.30319: DefaultDomain): Loaded 'C:\WINDOWS\Microsoft.Net\assembly\GAC_64\mscorlib\v4.0_4.0.0.0__b77a5c561934e089\mscorlib.dll'. Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'FsAutoComplete.Suave.exe' (CLR v4.0.30319: DefaultDomain): Loaded 'D:\Programowanie\Projekty\Ionide\FsAutoComplete\src\FsAutoComplete.Suave\bin\Debug\FsAutoComplete.Suave.exe'. Symbols loaded.
'FsAutoComplete.Suave.exe' (CLR v4.0.30319: FsAutoComplete.Suave.exe): Loaded 'D:\Programowanie\Projekty\Ionide\FsAutoComplete\src\FsAutoComplete.Suave\bin\Debug\FSharp.Core.dll'. Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'FsAutoComplete.Suave.exe' (CLR v4.0.30319: FsAutoComplete.Suave.exe): Loaded 'D:\Programowanie\Projekty\Ionide\FsAutoComplete\src\FsAutoComplete.Suave\bin\Debug\Suave.dll'. Skipped loading symbols. Module is optimized and the debugger option 'Just My Code' is enabled.
'FsAutoComplete.Suave.ex

Krzysztof-Cieslak

module Server

open Saturn
open Config

let endpointPipe = pipeline {
    plug head
    plug requestId
}

Krzysztof-Cieslak

module Users

open Saturn
open Giraffe
open System.Security.Claims

let matchUpUsers : HttpHandler = fun next ctx ->
    // A real implementation would match up user identities with something stored in a database
    let isAdmin =
        ctx.User.Claims |> Seq.exists (fun claim ->

Krzysztof-Cieslak

module Router

open Saturn
open Giraffe.Core
open Giraffe.ResponseWriters
open Users


let browser = pipeline {
    plug acceptHtml

Krzysztof-Cieslak

module UserViews

open Giraffe.GiraffeViewEngine


module AdminPage =
    let view = [
        h1 [] [rawText "I'm admin"]
    ]
    let layout = App.layout view

Krzysztof-Cieslak

let rec visitExpr memberCallHandler (e:FSharpExpr) =
    match e with
    | BasicPatterns.AddressOf(lvalueExpr) ->
        visitExpr memberCallHandler lvalueExpr
    | BasicPatterns.AddressSet(lvalueExpr, rvalueExpr) ->
        visitExpr memberCallHandler lvalueExpr; visitExpr memberCallHandler rvalueExpr
    | BasicPatterns.Application(funcExpr, typeArgs, argExprs) ->
        visitExpr memberCallHandler funcExpr; visitExprs memberCallHandler argExprs
    | BasicPatterns.Call(objExprOpt, memberOrFunc, typeArgs1, typeArgs2, argExprs) ->
        memberCallHandler e.Range memberOrFunc

Krzysztof-Cieslak

[<Analyzer>]
let optionValueAnalyzer : Analyzer =
    fun ctx ->
        let state = ResizeArray<range>()
        let handler (range: range) (m: FSharpMemberOrFunctionOrValue) =
            let name = String.Join(".", m.DeclaringEntity.Value.FullName, m.DisplayName)
            if name = "Microsoft.FSharp.Core.FSharpOption`1.Value" then
                state.Add range
        ctx.TypedTree.Declarations |> List.iter (visitDeclaration handler)
        state

Krzysztof-Cieslak

// [ Analyzers Group ]
group Analyzers
    source https://api.nuget.org/v3/index.json

    nuget FSharp.Analyzers.Sample 1.0.1

Krzysztof-Cieslak

// Learn more about F# at http://fsharp.org

open System

let x = None

[<EntryPoint>]
let main argv =
    x.Value
    printfn "Hello World from F#!"