Independent authorization checks

independent-authz-checks.fs

let firstCheckResult () : Result<unit, NotAuthorized> =
    match firstCheck () with
    | Some c when c.CanRead -> Ok ()
    | _ -> Error NotAuthorized

let secondCheckResult () : Result<unit, NotAuthorized> =
    match secondCheck () with
    | Some c when c.CanRead -> Ok ()
    | _ -> Error NotAuthorized

let thirdCheckResult () : Result<unit, NotAuthorized> =
    match thirdCheck () with
    | Some c when c.CanRead -> Ok ()
    | _ -> Error NotAuthorized