p1eXu5.FSharp.Ports 1.0.12

<link href="css/splendor.css" rel="stylesheet"></link>

p1eXu5.FSharp.Ports & p1eXu5.FSharp.Ports.PortTaskResult

Package	Versions
p1eXu5.FSharp.Ports
p1eXu5.FSharp.Ports.PortTaskResult

Computation expressions implementing Reader (also called the Environment monad) monade.

Examples

Are located in p1eXu5.FSharp.Ports.Examples

open p1eXu5.FSharp.Ports.PortTaskBuilderCE
open p1eXu5.FSharp.Ports.PortTaskResultBuilderCE

open Microsoft.Extensions.Logging
open p1eXu5.FSharp.Ports


let logger = LoggerFactory.Create(fun builder -> builder.AddConsole() |> ignore).CreateLogger("Program")


// ========================
// Deps as anonymous record
// ========================

let deps = {| Logger = logger |}

// ------------------------
// PortTask
// ------------------------

let inline loggerPortTask<'T when 'T : (member Logger: ILogger)> =
    portTask {
        return! 
            PortTask.ask
            |> PortTask.map (fun deps -> (^T : (member Logger: ILogger) deps))
    }

let logInPortTask =
    portTask {
        let! logger = loggerPortTask
        do logger.LogInformation("In logInPortTask")
    }

do
    logInPortTask
    |> PortTask.runSynchronously deps


// ------------------------
// PortTaskResult
// ------------------------

let loggerPortTaskResult =
    loggerPortTask |> PortTaskResult.fromPortTask

// need to specify error type
let logInPortTaskResult : PortTaskResult<_, _, string> =
    portTaskResult {
        let! logger = loggerPortTaskResult
        do logger.LogInformation("In logInPortTaskResult")
    }

do
    logInPortTaskResult
    |> PortTaskResult.runSynchronously deps
    |> Result.iter (fun _ -> ())

p1eXu5.FSharp.Ports

Port

type Port<'env, 'a> = Port of action: ('env -> 'a)

// CE
open p1eXu5.FSharp.Ports.PortBuilderCE

let foo =
    port {
        ...
    }

Port module:

PortResult

type PortResult<'env, 'Ok, 'Error> = Port<'env, Result<'Ok, 'Error>>

// CE
open p1eXu5.FSharp.Ports.PortBuilderCE

let foo =
    portResult {
        ...
    }

PortResult module:

PortTask

type PortTask<'env, 'a> = Port<'env, Task<'a>>

// CE
open p1eXu5.FSharp.Ports.PortTaskBuilderCE

let foo =
    portTask {
        ...
    }

PortTask module:

PortTaskResult

type PortTaskResult<'env, 'Ok, 'Error> = Port<'env, Task<Result<'Ok, 'Error>>>

// CE
open p1eXu5.FSharp.Ports.PortTaskResultBuilderCE

let foo =
    portTaskResult {
        ...
    }

PortTaskResult module: