-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* added benchmarks (fail early and fail late) for result pattern, railway-oriented programming and exceptions * added missing `.AndAsync` extension methods and tests
- Loading branch information
1 parent
5554b2e
commit 07549ee
Showing
25 changed files
with
787 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
131 changes: 131 additions & 0 deletions
131
benchmarks/RailwayResult.FunctionalExtensions.Benchmarks/Benchmarks/StatetmantBenchmark.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,131 @@ | ||
using BenchmarkDotNet.Attributes; | ||
using BenchmarkDotNet.Jobs; | ||
|
||
using RailwayResult.FunctionalExtensions.Benchmarks.Data; | ||
using RailwayResult.FunctionalExtensions.Benchmarks.Seeds; | ||
|
||
namespace RailwayResult.FunctionalExtensions.Benchmarks.Benchmarks; | ||
|
||
[SimpleJob(RuntimeMoniker.Net80)] | ||
public class StatementBenchmark | ||
{ | ||
public Fraction Fraction { get; set; } = null!; | ||
|
||
[GlobalSetup] | ||
public void Setup() | ||
{ | ||
Fraction = FractionSeeds.JediOrder; | ||
} | ||
|
||
[Benchmark] | ||
public int FailEarly_RP() | ||
{ | ||
var result = Fraction.UpdateRank_RP(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public int FailEarly_ROP() | ||
{ | ||
var result = Fraction.UpdateRank_ROP(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public int FailEarly_Exception() | ||
{ | ||
try | ||
{ | ||
Fraction.UpdateRank_Exception(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return 1; | ||
} | ||
catch | ||
{ | ||
return 0; | ||
} | ||
} | ||
|
||
[Benchmark] | ||
public int FailLate_RP() | ||
{ | ||
var result = Fraction.UpdateRank_RP(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public int FailLate_ROP() | ||
{ | ||
var result = Fraction.UpdateRank_ROP(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public int FailLate_Exception() | ||
{ | ||
try | ||
{ | ||
Fraction.UpdateRank_Exception(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return 1; | ||
} | ||
catch | ||
{ | ||
return 0; | ||
} | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailEarlyAsync_RP() | ||
{ | ||
var result = await Fraction.UpdateRankAsync_RP(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailEarlyAsync_ROP() | ||
{ | ||
var result = await Fraction.UpdateRankAsync_ROP(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailLateEarly_Exception() | ||
{ | ||
try | ||
{ | ||
await Fraction.UpdateRankAsync_Exception(Guid.Empty, Guid.Empty, Guid.Empty); | ||
return 1; | ||
} | ||
catch | ||
{ | ||
return 0; | ||
} | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailLateAsync_RP() | ||
{ | ||
var result = await Fraction.UpdateRankAsync_RP(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailLateAsync_ROP() | ||
{ | ||
var result = await Fraction.UpdateRankAsync_ROP(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return result.IsSuccess ? 1 : 0; | ||
} | ||
|
||
[Benchmark] | ||
public async Task<int> FailLateAsync_Exception() | ||
{ | ||
try | ||
{ | ||
await Fraction.UpdateRankAsync_Exception(MemberSeeds.JediWindu.Id, MemberSeeds.JediKenobi.Id, RankSeeds.JediGrandMaster.Id); | ||
return 1; | ||
} | ||
catch | ||
{ | ||
return 0; | ||
} | ||
} | ||
} |
7 changes: 7 additions & 0 deletions
7
benchmarks/RailwayResult.FunctionalExtensions.Benchmarks/Data/Being.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,7 @@ | ||
namespace RailwayResult.FunctionalExtensions.Benchmarks.Data; | ||
|
||
public sealed record Being | ||
{ | ||
public required Guid Id { get; init; } | ||
public required string Name { get; set; } | ||
} |
94 changes: 94 additions & 0 deletions
94
benchmarks/RailwayResult.FunctionalExtensions.Benchmarks/Data/Fraction.Exceptions.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,94 @@ | ||
using RailwayResult.FunctionalExtensions.Benchmarks.Extensions; | ||
|
||
namespace RailwayResult.FunctionalExtensions.Benchmarks.Data; | ||
|
||
public sealed partial class Fraction | ||
{ | ||
public FractionMember GetMemberByBeingId_Exception(Guid beingId) | ||
{ | ||
var member = Members.FirstOrDefault(m => m.BeingId == beingId); | ||
if (member is null) | ||
throw new Exception(BeingNotMemberOfFraction.Message); | ||
|
||
return member; | ||
} | ||
|
||
public FractionMember GetMemberById_Exception(Guid memberId) | ||
{ | ||
var member = Members.FirstOrDefault(m => m.Id == memberId); | ||
if (member is null) | ||
throw new Exception(MemberNotFound.Message); | ||
|
||
return member; | ||
} | ||
|
||
public Rank GetRankById_Exception(Guid rankId) | ||
{ | ||
var rank = Ranks.FirstOrDefault(r => r.Id == rankId); | ||
if (rank is null) | ||
throw new Exception(RankNotFound.Message); | ||
|
||
return rank; | ||
} | ||
|
||
public void UpdateRank_Exception(Guid initiatorBeingId, Guid targetMemberId, Guid newRankId) | ||
{ | ||
var initiator = GetMemberByBeingId_Exception(initiatorBeingId); | ||
if (!initiator.Rank.Permissions.HasFlag(Permission.UpdateRank)) | ||
throw new Exception(CannotUpdateRanks.Message); | ||
|
||
var targetMember = GetMemberById_Exception(targetMemberId); | ||
if (targetMember.Rank.IsHeadOfFraction) | ||
throw new Exception(CannotUpdateRankOfHeadOfFraction.Message); | ||
|
||
var newRank = GetRankById_Exception(newRankId); | ||
if (newRank.IsHeadOfFraction) | ||
throw new Exception(CannotHaveMultipleHeads.Message); | ||
|
||
targetMember.Rank = newRank; | ||
} | ||
|
||
public async Task<FractionMember> GetMemberByBeingIdAsync_Exception(Guid beingId) | ||
{ | ||
var member = await Members.FirstOrDefaultAsync(m => m.BeingId == beingId); | ||
if (member is null) | ||
throw new Exception(BeingNotMemberOfFraction.Message); | ||
|
||
return member; | ||
} | ||
|
||
public async Task<FractionMember> GetMemberByIdAsync_Exception(Guid memberId) | ||
{ | ||
var member = await Members.FirstOrDefaultAsync(m => m.Id == memberId); | ||
if (member is null) | ||
throw new Exception(MemberNotFound.Message); | ||
|
||
return member; | ||
} | ||
|
||
public async Task<Rank> GetRankByIdAsync_Exception(Guid rankId) | ||
{ | ||
var rank = await Ranks.FirstOrDefaultAsync(r => r.Id == rankId); | ||
if (rank is null) | ||
throw new Exception(RankNotFound.Message); | ||
|
||
return rank; | ||
} | ||
|
||
public async Task UpdateRankAsync_Exception(Guid initiatorBeingId, Guid targetMemberId, Guid newRankId) | ||
{ | ||
var initiator = await GetMemberByBeingIdAsync_Exception(initiatorBeingId); | ||
if (!initiator.Rank.Permissions.HasFlag(Permission.UpdateRank)) | ||
throw new Exception(CannotUpdateRanks.Message); | ||
|
||
var targetMember = await GetMemberByIdAsync_Exception(targetMemberId); | ||
if (targetMember.Rank.IsHeadOfFraction) | ||
throw new Exception(CannotUpdateRankOfHeadOfFraction.Message); | ||
|
||
var newRank = await GetRankByIdAsync_Exception(newRankId); | ||
if (newRank.IsHeadOfFraction) | ||
throw new Exception(CannotHaveMultipleHeads.Message); | ||
|
||
targetMember.Rank = newRank; | ||
} | ||
} |
72 changes: 72 additions & 0 deletions
72
benchmarks/RailwayResult.FunctionalExtensions.Benchmarks/Data/Fraction.ROP.cs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,72 @@ | ||
using RailwayResult.FunctionalExtensions.Benchmarks.Extensions; | ||
|
||
namespace RailwayResult.FunctionalExtensions.Benchmarks.Data; | ||
|
||
public sealed partial class Fraction | ||
{ | ||
public Result<FractionMember> GetMemberByBeingId_ROP(Guid beingId) | ||
{ | ||
return Members | ||
.FirstOrDefault(m => m.BeingId == beingId) | ||
.EnsureNotNull(BeingNotMemberOfFraction); | ||
} | ||
|
||
public Result<FractionMember> GetMemberById_ROP(Guid memberId) | ||
{ | ||
return Members | ||
.FirstOrDefault(m => m.Id == memberId) | ||
.EnsureNotNull(MemberNotFound); | ||
} | ||
|
||
public Result<Rank> GetRankById_ROP(Guid rankId) | ||
{ | ||
return Ranks | ||
.FirstOrDefault(r => r.Id == rankId) | ||
.EnsureNotNull(RankNotFound); | ||
} | ||
|
||
public Result UpdateRank_ROP(Guid initiatorBeingId, Guid targetMemberId, Guid newRankId) | ||
{ | ||
return GetMemberByBeingId_ROP(initiatorBeingId) | ||
.Ensure(initiatorMember => initiatorMember.Rank.Permissions.HasFlag(Permission.UpdateRank), CannotUpdateRanks) | ||
.Then(_ => GetMemberById_ROP(targetMemberId)) | ||
.Ensure(target => !target.Rank.IsHeadOfFraction, CannotUpdateRankOfHeadOfFraction) | ||
.And(() => GetRankById_ROP(newRankId)) | ||
.Ensure((_, newRank) => !newRank.IsHeadOfFraction, CannotHaveMultipleHeads) | ||
.Tap((targetMember, newRank) => targetMember.Rank = newRank) | ||
.ToResult(); | ||
} | ||
|
||
public Task<Result<FractionMember>> GetMemberByBeingIdAsync_ROP(Guid beingId) | ||
{ | ||
return Members | ||
.FirstOrDefaultAsync(m => m.BeingId == beingId) | ||
.EnsureNotNull(BeingNotMemberOfFraction); | ||
} | ||
|
||
public Task<Result<FractionMember>> GetMemberByIdAsync_ROP(Guid memberId) | ||
{ | ||
return Members | ||
.FirstOrDefaultAsync(m => m.Id == memberId) | ||
.EnsureNotNull(MemberNotFound); | ||
} | ||
|
||
public Task<Result<Rank>> GetRankByIdAsync_ROP(Guid rankId) | ||
{ | ||
return Ranks | ||
.FirstOrDefaultAsync(r => r.Id == rankId) | ||
.EnsureNotNull(RankNotFound); | ||
} | ||
|
||
public Task<Result> UpdateRankAsync_ROP(Guid initiatorBeingId, Guid targetMemberId, Guid newRankId) | ||
{ | ||
return GetMemberByBeingIdAsync_ROP(initiatorBeingId) | ||
.Ensure(initiatorMember => initiatorMember.Rank.Permissions.HasFlag(Permission.UpdateRank), CannotUpdateRanks) | ||
.ThenAsync(_ => GetMemberByIdAsync_ROP(targetMemberId)) | ||
.Ensure(target => !target.Rank.IsHeadOfFraction, CannotUpdateRankOfHeadOfFraction) | ||
.AndAsync(_ => GetRankByIdAsync_ROP(newRankId)) | ||
.Ensure((_, newRank) => !newRank.IsHeadOfFraction, CannotHaveMultipleHeads) | ||
.Tap((targetMember, newRank) => targetMember.Rank = newRank) | ||
.ToResultAsync(); | ||
} | ||
} |
Oops, something went wrong.