Compare commits

...

12 Commits

Author SHA1 Message Date
31f122bba6 Updated readme
All checks were successful
.NET / build (push) Successful in 27s
2025-08-18 10:48:14 -04:00
4988103d32 Updated readme
All checks were successful
.NET / build (push) Successful in 24s
2025-08-18 10:44:22 -04:00
77396d252e Added Map and MapError
All checks were successful
.NET / build (push) Successful in 34s
2025-08-18 10:23:36 -04:00
d2fe7edbce null attributes 2025-05-09 17:12:08 -04:00
e60be738a9 Merge branch 'main' of https://github.com/Amatsugu/MaybeError 2025-04-19 15:05:53 -04:00
314b706d61 Added MaybeEx<T, Ex> for exception errors and implicit castings 2025-04-19 15:05:49 -04:00
e4129b1c09 Added MaybeEx<T, Ex> for exception errors and implicit castings 2025-04-19 15:05:15 -04:00
82428641b6 bump version 2025-04-03 13:50:47 -04:00
ce71765cb4 added implicit operator 2025-04-03 13:48:36 -04:00
ee5eeedb50 add tracing 2025-03-10 09:52:43 -04:00
27e891e80e fix attribute on HasValue 2025-02-14 14:09:24 -05:00
766eb8a8c2 bump version 2025-01-29 22:25:41 -05:00
16 changed files with 1638 additions and 1330 deletions

4
.gitattributes vendored
View File

@@ -1,2 +1,2 @@
# Auto detect text files and perform LF normalization
* text=auto
# Auto detect text files and perform LF normalization
* text=auto

View File

@@ -1,28 +1,28 @@
# This workflow will build a .NET project
# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-net
name: .NET
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup .NET
uses: actions/setup-dotnet@v3
with:
dotnet-version: 9.0.x
- name: Restore dependencies
run: dotnet restore
- name: Build
run: dotnet build --no-restore
- name: Test
run: dotnet test --no-build --verbosity normal
# This workflow will build a .NET project
# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-net
name: .NET
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup .NET
uses: actions/setup-dotnet@v3
with:
dotnet-version: 9.0.x
- name: Restore dependencies
run: dotnet restore
- name: Build
run: dotnet build --no-restore
- name: Test
run: dotnet test --no-build --verbosity normal

796
.gitignore vendored
View File

@@ -1,398 +1,398 @@
## Ignore Visual Studio temporary files, build results, and
## files generated by popular Visual Studio add-ons.
##
## Get latest from https://github.com/github/gitignore/blob/main/VisualStudio.gitignore
# User-specific files
*.rsuser
*.suo
*.user
*.userosscache
*.sln.docstates
# User-specific files (MonoDevelop/Xamarin Studio)
*.userprefs
# Mono auto generated files
mono_crash.*
# Build results
[Dd]ebug/
[Dd]ebugPublic/
[Rr]elease/
[Rr]eleases/
x64/
x86/
[Ww][Ii][Nn]32/
[Aa][Rr][Mm]/
[Aa][Rr][Mm]64/
bld/
[Bb]in/
[Oo]bj/
[Ll]og/
[Ll]ogs/
# Visual Studio 2015/2017 cache/options directory
.vs/
# Uncomment if you have tasks that create the project's static files in wwwroot
#wwwroot/
# Visual Studio 2017 auto generated files
Generated\ Files/
# MSTest test Results
[Tt]est[Rr]esult*/
[Bb]uild[Ll]og.*
# NUnit
*.VisualState.xml
TestResult.xml
nunit-*.xml
# Build Results of an ATL Project
[Dd]ebugPS/
[Rr]eleasePS/
dlldata.c
# Benchmark Results
BenchmarkDotNet.Artifacts/
# .NET Core
project.lock.json
project.fragment.lock.json
artifacts/
# ASP.NET Scaffolding
ScaffoldingReadMe.txt
# StyleCop
StyleCopReport.xml
# Files built by Visual Studio
*_i.c
*_p.c
*_h.h
*.ilk
*.meta
*.obj
*.iobj
*.pch
*.pdb
*.ipdb
*.pgc
*.pgd
*.rsp
*.sbr
*.tlb
*.tli
*.tlh
*.tmp
*.tmp_proj
*_wpftmp.csproj
*.log
*.tlog
*.vspscc
*.vssscc
.builds
*.pidb
*.svclog
*.scc
# Chutzpah Test files
_Chutzpah*
# Visual C++ cache files
ipch/
*.aps
*.ncb
*.opendb
*.opensdf
*.sdf
*.cachefile
*.VC.db
*.VC.VC.opendb
# Visual Studio profiler
*.psess
*.vsp
*.vspx
*.sap
# Visual Studio Trace Files
*.e2e
# TFS 2012 Local Workspace
$tf/
# Guidance Automation Toolkit
*.gpState
# ReSharper is a .NET coding add-in
_ReSharper*/
*.[Rr]e[Ss]harper
*.DotSettings.user
# TeamCity is a build add-in
_TeamCity*
# DotCover is a Code Coverage Tool
*.dotCover
# AxoCover is a Code Coverage Tool
.axoCover/*
!.axoCover/settings.json
# Coverlet is a free, cross platform Code Coverage Tool
coverage*.json
coverage*.xml
coverage*.info
# Visual Studio code coverage results
*.coverage
*.coveragexml
# NCrunch
_NCrunch_*
.*crunch*.local.xml
nCrunchTemp_*
# MightyMoose
*.mm.*
AutoTest.Net/
# Web workbench (sass)
.sass-cache/
# Installshield output folder
[Ee]xpress/
# DocProject is a documentation generator add-in
DocProject/buildhelp/
DocProject/Help/*.HxT
DocProject/Help/*.HxC
DocProject/Help/*.hhc
DocProject/Help/*.hhk
DocProject/Help/*.hhp
DocProject/Help/Html2
DocProject/Help/html
# Click-Once directory
publish/
# Publish Web Output
*.[Pp]ublish.xml
*.azurePubxml
# Note: Comment the next line if you want to checkin your web deploy settings,
# but database connection strings (with potential passwords) will be unencrypted
*.pubxml
*.publishproj
# Microsoft Azure Web App publish settings. Comment the next line if you want to
# checkin your Azure Web App publish settings, but sensitive information contained
# in these scripts will be unencrypted
PublishScripts/
# NuGet Packages
*.nupkg
# NuGet Symbol Packages
*.snupkg
# The packages folder can be ignored because of Package Restore
**/[Pp]ackages/*
# except build/, which is used as an MSBuild target.
!**/[Pp]ackages/build/
# Uncomment if necessary however generally it will be regenerated when needed
#!**/[Pp]ackages/repositories.config
# NuGet v3's project.json files produces more ignorable files
*.nuget.props
*.nuget.targets
# Microsoft Azure Build Output
csx/
*.build.csdef
# Microsoft Azure Emulator
ecf/
rcf/
# Windows Store app package directories and files
AppPackages/
BundleArtifacts/
Package.StoreAssociation.xml
_pkginfo.txt
*.appx
*.appxbundle
*.appxupload
# Visual Studio cache files
# files ending in .cache can be ignored
*.[Cc]ache
# but keep track of directories ending in .cache
!?*.[Cc]ache/
# Others
ClientBin/
~$*
*~
*.dbmdl
*.dbproj.schemaview
*.jfm
*.pfx
*.publishsettings
orleans.codegen.cs
# Including strong name files can present a security risk
# (https://github.com/github/gitignore/pull/2483#issue-259490424)
#*.snk
# Since there are multiple workflows, uncomment next line to ignore bower_components
# (https://github.com/github/gitignore/pull/1529#issuecomment-104372622)
#bower_components/
# RIA/Silverlight projects
Generated_Code/
# Backup & report files from converting an old project file
# to a newer Visual Studio version. Backup files are not needed,
# because we have git ;-)
_UpgradeReport_Files/
Backup*/
UpgradeLog*.XML
UpgradeLog*.htm
ServiceFabricBackup/
*.rptproj.bak
# SQL Server files
*.mdf
*.ldf
*.ndf
# Business Intelligence projects
*.rdl.data
*.bim.layout
*.bim_*.settings
*.rptproj.rsuser
*- [Bb]ackup.rdl
*- [Bb]ackup ([0-9]).rdl
*- [Bb]ackup ([0-9][0-9]).rdl
# Microsoft Fakes
FakesAssemblies/
# GhostDoc plugin setting file
*.GhostDoc.xml
# Node.js Tools for Visual Studio
.ntvs_analysis.dat
node_modules/
# Visual Studio 6 build log
*.plg
# Visual Studio 6 workspace options file
*.opt
# Visual Studio 6 auto-generated workspace file (contains which files were open etc.)
*.vbw
# Visual Studio 6 auto-generated project file (contains which files were open etc.)
*.vbp
# Visual Studio 6 workspace and project file (working project files containing files to include in project)
*.dsw
*.dsp
# Visual Studio 6 technical files
*.ncb
*.aps
# Visual Studio LightSwitch build output
**/*.HTMLClient/GeneratedArtifacts
**/*.DesktopClient/GeneratedArtifacts
**/*.DesktopClient/ModelManifest.xml
**/*.Server/GeneratedArtifacts
**/*.Server/ModelManifest.xml
_Pvt_Extensions
# Paket dependency manager
.paket/paket.exe
paket-files/
# FAKE - F# Make
.fake/
# CodeRush personal settings
.cr/personal
# Python Tools for Visual Studio (PTVS)
__pycache__/
*.pyc
# Cake - Uncomment if you are using it
# tools/**
# !tools/packages.config
# Tabs Studio
*.tss
# Telerik's JustMock configuration file
*.jmconfig
# BizTalk build output
*.btp.cs
*.btm.cs
*.odx.cs
*.xsd.cs
# OpenCover UI analysis results
OpenCover/
# Azure Stream Analytics local run output
ASALocalRun/
# MSBuild Binary and Structured Log
*.binlog
# NVidia Nsight GPU debugger configuration file
*.nvuser
# MFractors (Xamarin productivity tool) working folder
.mfractor/
# Local History for Visual Studio
.localhistory/
# Visual Studio History (VSHistory) files
.vshistory/
# BeatPulse healthcheck temp database
healthchecksdb
# Backup folder for Package Reference Convert tool in Visual Studio 2017
MigrationBackup/
# Ionide (cross platform F# VS Code tools) working folder
.ionide/
# Fody - auto-generated XML schema
FodyWeavers.xsd
# VS Code files for those working on multiple tools
.vscode/*
!.vscode/settings.json
!.vscode/tasks.json
!.vscode/launch.json
!.vscode/extensions.json
*.code-workspace
# Local History for Visual Studio Code
.history/
# Windows Installer files from build outputs
*.cab
*.msi
*.msix
*.msm
*.msp
# JetBrains Rider
*.sln.iml
## Ignore Visual Studio temporary files, build results, and
## files generated by popular Visual Studio add-ons.
##
## Get latest from https://github.com/github/gitignore/blob/main/VisualStudio.gitignore
# User-specific files
*.rsuser
*.suo
*.user
*.userosscache
*.sln.docstates
# User-specific files (MonoDevelop/Xamarin Studio)
*.userprefs
# Mono auto generated files
mono_crash.*
# Build results
[Dd]ebug/
[Dd]ebugPublic/
[Rr]elease/
[Rr]eleases/
x64/
x86/
[Ww][Ii][Nn]32/
[Aa][Rr][Mm]/
[Aa][Rr][Mm]64/
bld/
[Bb]in/
[Oo]bj/
[Ll]og/
[Ll]ogs/
# Visual Studio 2015/2017 cache/options directory
.vs/
# Uncomment if you have tasks that create the project's static files in wwwroot
#wwwroot/
# Visual Studio 2017 auto generated files
Generated\ Files/
# MSTest test Results
[Tt]est[Rr]esult*/
[Bb]uild[Ll]og.*
# NUnit
*.VisualState.xml
TestResult.xml
nunit-*.xml
# Build Results of an ATL Project
[Dd]ebugPS/
[Rr]eleasePS/
dlldata.c
# Benchmark Results
BenchmarkDotNet.Artifacts/
# .NET Core
project.lock.json
project.fragment.lock.json
artifacts/
# ASP.NET Scaffolding
ScaffoldingReadMe.txt
# StyleCop
StyleCopReport.xml
# Files built by Visual Studio
*_i.c
*_p.c
*_h.h
*.ilk
*.meta
*.obj
*.iobj
*.pch
*.pdb
*.ipdb
*.pgc
*.pgd
*.rsp
*.sbr
*.tlb
*.tli
*.tlh
*.tmp
*.tmp_proj
*_wpftmp.csproj
*.log
*.tlog
*.vspscc
*.vssscc
.builds
*.pidb
*.svclog
*.scc
# Chutzpah Test files
_Chutzpah*
# Visual C++ cache files
ipch/
*.aps
*.ncb
*.opendb
*.opensdf
*.sdf
*.cachefile
*.VC.db
*.VC.VC.opendb
# Visual Studio profiler
*.psess
*.vsp
*.vspx
*.sap
# Visual Studio Trace Files
*.e2e
# TFS 2012 Local Workspace
$tf/
# Guidance Automation Toolkit
*.gpState
# ReSharper is a .NET coding add-in
_ReSharper*/
*.[Rr]e[Ss]harper
*.DotSettings.user
# TeamCity is a build add-in
_TeamCity*
# DotCover is a Code Coverage Tool
*.dotCover
# AxoCover is a Code Coverage Tool
.axoCover/*
!.axoCover/settings.json
# Coverlet is a free, cross platform Code Coverage Tool
coverage*.json
coverage*.xml
coverage*.info
# Visual Studio code coverage results
*.coverage
*.coveragexml
# NCrunch
_NCrunch_*
.*crunch*.local.xml
nCrunchTemp_*
# MightyMoose
*.mm.*
AutoTest.Net/
# Web workbench (sass)
.sass-cache/
# Installshield output folder
[Ee]xpress/
# DocProject is a documentation generator add-in
DocProject/buildhelp/
DocProject/Help/*.HxT
DocProject/Help/*.HxC
DocProject/Help/*.hhc
DocProject/Help/*.hhk
DocProject/Help/*.hhp
DocProject/Help/Html2
DocProject/Help/html
# Click-Once directory
publish/
# Publish Web Output
*.[Pp]ublish.xml
*.azurePubxml
# Note: Comment the next line if you want to checkin your web deploy settings,
# but database connection strings (with potential passwords) will be unencrypted
*.pubxml
*.publishproj
# Microsoft Azure Web App publish settings. Comment the next line if you want to
# checkin your Azure Web App publish settings, but sensitive information contained
# in these scripts will be unencrypted
PublishScripts/
# NuGet Packages
*.nupkg
# NuGet Symbol Packages
*.snupkg
# The packages folder can be ignored because of Package Restore
**/[Pp]ackages/*
# except build/, which is used as an MSBuild target.
!**/[Pp]ackages/build/
# Uncomment if necessary however generally it will be regenerated when needed
#!**/[Pp]ackages/repositories.config
# NuGet v3's project.json files produces more ignorable files
*.nuget.props
*.nuget.targets
# Microsoft Azure Build Output
csx/
*.build.csdef
# Microsoft Azure Emulator
ecf/
rcf/
# Windows Store app package directories and files
AppPackages/
BundleArtifacts/
Package.StoreAssociation.xml
_pkginfo.txt
*.appx
*.appxbundle
*.appxupload
# Visual Studio cache files
# files ending in .cache can be ignored
*.[Cc]ache
# but keep track of directories ending in .cache
!?*.[Cc]ache/
# Others
ClientBin/
~$*
*~
*.dbmdl
*.dbproj.schemaview
*.jfm
*.pfx
*.publishsettings
orleans.codegen.cs
# Including strong name files can present a security risk
# (https://github.com/github/gitignore/pull/2483#issue-259490424)
#*.snk
# Since there are multiple workflows, uncomment next line to ignore bower_components
# (https://github.com/github/gitignore/pull/1529#issuecomment-104372622)
#bower_components/
# RIA/Silverlight projects
Generated_Code/
# Backup & report files from converting an old project file
# to a newer Visual Studio version. Backup files are not needed,
# because we have git ;-)
_UpgradeReport_Files/
Backup*/
UpgradeLog*.XML
UpgradeLog*.htm
ServiceFabricBackup/
*.rptproj.bak
# SQL Server files
*.mdf
*.ldf
*.ndf
# Business Intelligence projects
*.rdl.data
*.bim.layout
*.bim_*.settings
*.rptproj.rsuser
*- [Bb]ackup.rdl
*- [Bb]ackup ([0-9]).rdl
*- [Bb]ackup ([0-9][0-9]).rdl
# Microsoft Fakes
FakesAssemblies/
# GhostDoc plugin setting file
*.GhostDoc.xml
# Node.js Tools for Visual Studio
.ntvs_analysis.dat
node_modules/
# Visual Studio 6 build log
*.plg
# Visual Studio 6 workspace options file
*.opt
# Visual Studio 6 auto-generated workspace file (contains which files were open etc.)
*.vbw
# Visual Studio 6 auto-generated project file (contains which files were open etc.)
*.vbp
# Visual Studio 6 workspace and project file (working project files containing files to include in project)
*.dsw
*.dsp
# Visual Studio 6 technical files
*.ncb
*.aps
# Visual Studio LightSwitch build output
**/*.HTMLClient/GeneratedArtifacts
**/*.DesktopClient/GeneratedArtifacts
**/*.DesktopClient/ModelManifest.xml
**/*.Server/GeneratedArtifacts
**/*.Server/ModelManifest.xml
_Pvt_Extensions
# Paket dependency manager
.paket/paket.exe
paket-files/
# FAKE - F# Make
.fake/
# CodeRush personal settings
.cr/personal
# Python Tools for Visual Studio (PTVS)
__pycache__/
*.pyc
# Cake - Uncomment if you are using it
# tools/**
# !tools/packages.config
# Tabs Studio
*.tss
# Telerik's JustMock configuration file
*.jmconfig
# BizTalk build output
*.btp.cs
*.btm.cs
*.odx.cs
*.xsd.cs
# OpenCover UI analysis results
OpenCover/
# Azure Stream Analytics local run output
ASALocalRun/
# MSBuild Binary and Structured Log
*.binlog
# NVidia Nsight GPU debugger configuration file
*.nvuser
# MFractors (Xamarin productivity tool) working folder
.mfractor/
# Local History for Visual Studio
.localhistory/
# Visual Studio History (VSHistory) files
.vshistory/
# BeatPulse healthcheck temp database
healthchecksdb
# Backup folder for Package Reference Convert tool in Visual Studio 2017
MigrationBackup/
# Ionide (cross platform F# VS Code tools) working folder
.ionide/
# Fody - auto-generated XML schema
FodyWeavers.xsd
# VS Code files for those working on multiple tools
.vscode/*
!.vscode/settings.json
!.vscode/tasks.json
!.vscode/launch.json
!.vscode/extensions.json
*.code-workspace
# Local History for Visual Studio Code
.history/
# Windows Installer files from build outputs
*.cab
*.msi
*.msix
*.msm
*.msp
# JetBrains Rider
*.sln.iml

42
LICENSE
View File

@@ -1,21 +1,21 @@
MIT License
Copyright (c) 2024 Khamraj Rohit
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
MIT License
Copyright (c) 2024 Khamraj Rohit
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

View File

@@ -1,31 +1,31 @@

Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.11.35219.272
MinimumVisualStudioVersion = 10.0.40219.1
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MaybeError", "MaybeError\MaybeError.csproj", "{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MaybeErrorTests", "MaybeErrorTests\MaybeErrorTests.csproj", "{17467BE9-78C3-4E03-B829-FD7AA2DFB116}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Debug|Any CPU.Build.0 = Debug|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Release|Any CPU.ActiveCfg = Release|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Release|Any CPU.Build.0 = Release|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Debug|Any CPU.Build.0 = Debug|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Release|Any CPU.ActiveCfg = Release|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {94322BD7-955B-4456-B4B3-E46BEA356AA5}
EndGlobalSection
EndGlobal

Microsoft Visual Studio Solution File, Format Version 12.00
# Visual Studio Version 17
VisualStudioVersion = 17.11.35219.272
MinimumVisualStudioVersion = 10.0.40219.1
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MaybeError", "MaybeError\MaybeError.csproj", "{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "MaybeErrorTests", "MaybeErrorTests\MaybeErrorTests.csproj", "{17467BE9-78C3-4E03-B829-FD7AA2DFB116}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|Any CPU = Debug|Any CPU
Release|Any CPU = Release|Any CPU
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Debug|Any CPU.Build.0 = Debug|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Release|Any CPU.ActiveCfg = Release|Any CPU
{542F56CD-34E6-4B95-A75D-DFBC8CCC0E65}.Release|Any CPU.Build.0 = Release|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Debug|Any CPU.Build.0 = Debug|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Release|Any CPU.ActiveCfg = Release|Any CPU
{17467BE9-78C3-4E03-B829-FD7AA2DFB116}.Release|Any CPU.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
EndGlobalSection
GlobalSection(ExtensibilityGlobals) = postSolution
SolutionGuid = {94322BD7-955B-4456-B4B3-E46BEA356AA5}
EndGlobalSection
EndGlobal

View File

@@ -1,104 +1,104 @@
using MaybeError.Errors;
namespace MaybeError;
public static class AsyncExtensions
{
#region ValueMaybe
public static async Task<T> ValueOrDefaultAsync<T, E>(this Task<IValueMaybe<T, E>> task, T defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async ValueTask<T> ValueOrDefaultAsync<T, E>(this ValueTask<IValueMaybe<T, E>> task, T defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async Task<T?> ValueOrDefaultAsync<T, E>(this Task<IValueMaybe<T, E>> task) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async ValueTask<T?> ValueOrDefaultAsync<T, E>(this ValueTask<IValueMaybe<T, E>> task) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async Task<R> AsAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async ValueTask<R> AsAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async Task<R?> AsOrDefaultAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async ValueTask<R?> AsOrDefaultAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async Task<R> AsOrDefaultAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
public static async ValueTask<R> AsOrDefaultAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
#endregion ValueMaybe
#region Maybe
public static async Task<T> ValueOrDefaultAsync<T, E>(this Task<IMaybe<T, E>> task, T defaultValue) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async Task<T?> ValueOrDefaultAsync<T, E>(this Task<IMaybe<T, E>> task) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async Task<R> AsAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async Task<R?> AsOrDefaultAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async Task<R> AsOrDefaultAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
#endregion Maybe
using MaybeError.Errors;
namespace MaybeError;
public static class AsyncExtensions
{
#region ValueMaybe
public static async Task<T> ValueOrDefaultAsync<T, E>(this Task<IValueMaybe<T, E>> task, T defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async ValueTask<T> ValueOrDefaultAsync<T, E>(this ValueTask<IValueMaybe<T, E>> task, T defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async Task<T?> ValueOrDefaultAsync<T, E>(this Task<IValueMaybe<T, E>> task) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async ValueTask<T?> ValueOrDefaultAsync<T, E>(this ValueTask<IValueMaybe<T, E>> task) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async Task<R> AsAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async ValueTask<R> AsAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async Task<R?> AsOrDefaultAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async ValueTask<R?> AsOrDefaultAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async Task<R> AsOrDefaultAsync<R, T, E>(this Task<IValueMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
public static async ValueTask<R> AsOrDefaultAsync<R, T, E>(this ValueTask<IValueMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
#endregion ValueMaybe
#region Maybe
public static async Task<T> ValueOrDefaultAsync<T, E>(this Task<IMaybe<T, E>> task, T defaultValue) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault(defaultValue);
}
public static async Task<T?> ValueOrDefaultAsync<T, E>(this Task<IMaybe<T, E>> task) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.ValueOrDefault();
}
public static async Task<R> AsAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.As(predicate);
}
public static async Task<R?> AsOrDefaultAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate);
}
public static async Task<R> AsOrDefaultAsync<R, T, E>(this Task<IMaybe<T, E>> task, Func<T, R> predicate, R defaultValue) where E : Error
{
var maybe = await task.ConfigureAwait(false);
return maybe.AsOrDefault(predicate, defaultValue);
}
#endregion Maybe
}

View File

@@ -1,40 +1,49 @@
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace MaybeError.Errors;
/// <summary>
/// An information about an error that occured
/// </summary>
/// <param name="message">Message</param>
/// <param name="details">Detailed information of the error</param>
/// <param name="devDetails">Even more detailed information that is useful for logging</param>
public class Error(string message, string? details = null, string? devDetails = null)
{
public readonly string Message = message;
public readonly string? Details = details;
public readonly string? DevDetails = devDetails;
public virtual Exception GetException()
{
return new Exception(Message);
}
public override string ToString()
{
#if DEBUG
return $"{Message}\n{Details}\n{DevDetails}";
#else
return $"{Message}\n{Details}";
#endif
}
public static implicit operator string(Error e)
{
return e.ToString();
}
}
using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace MaybeError.Errors;
/// <summary>
/// An information about an error that occured
/// </summary>
/// <param name="message">Message</param>
/// <param name="details">Detailed information of the error</param>
/// <param name="devDetails">Even more detailed information that is useful for logging</param>
public class Error(string message, string? details = null, string? devDetails = null)
{
public readonly string Message = message;
public readonly string? Details = details;
public readonly string? DevDetails = devDetails;
#if DEBUG
private readonly StackTrace _stackTrace = new();
#endif
public virtual Exception GetException()
{
#if DEBUG
return new Exception(ToString());
#else
return new Exception(Message);
#endif
}
public override string ToString()
{
#if DEBUG
return $"{Message}\n{Details}\n{DevDetails}\nTrace:{_stackTrace}";
#else
return $"{Message}\n{Details}";
#endif
}
public static implicit operator string(Error e)
{
return e.ToString();
}
}

View File

@@ -1,36 +1,41 @@
namespace MaybeError.Errors;
public class ExceptionError : ExceptionError<Exception>
{
public ExceptionError(string message, Exception exception) : base(message, exception)
{
}
public ExceptionError(Exception exception) : base(exception)
{
}
}
public class ExceptionError<T> : Error where T : Exception
{
public T Exception { get; set; }
public ExceptionError(string message, T exception) : base(message, exception.Message, exception.StackTrace)
{
Exception = exception;
}
public ExceptionError(T exception) : base(exception.Message, devDetails: exception.StackTrace)
{
Exception = exception;
}
public override T GetException()
{
return Exception;
}
public override string ToString()
{
return $"{Message}\n{Exception}";
}
namespace MaybeError.Errors;
public class ExceptionError : ExceptionError<Exception>
{
public ExceptionError(string message, Exception exception) : base(message, exception)
{
}
public ExceptionError(Exception exception) : base(exception)
{
}
}
public class ExceptionError<T> : Error where T : Exception
{
public T Exception { get; set; }
public ExceptionError(string message, T exception) : base(message, exception.Message, exception.StackTrace)
{
Exception = exception;
}
public ExceptionError(T exception) : base(exception.Message, devDetails: exception.StackTrace)
{
Exception = exception;
}
public override T GetException()
{
return Exception;
}
public override string ToString()
{
return $"{Message}\n{Exception}";
}
public static implicit operator ExceptionError<T>(T exception)
{
return new ExceptionError<T>(exception);
}
}

View File

@@ -1,174 +1,247 @@
using MaybeError.Errors;
using System.Diagnostics.CodeAnalysis;
namespace MaybeError;
public interface IMaybe<T, E> where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
bool HasError { get; }
bool HasValue { get; }
E? Error { get; }
T Value { get; }
public T ValueOrDefault(T defaultValue)
{
if (HasError)
return defaultValue;
return Value;
}
public T? ValueOrDefault()
{
if (HasError)
return default;
return Value;
}
public R As<R>(Func<T, R> predicate)
{
return predicate(Value);
}
public R? AsOrDefault<R>(Func<T, R> predicate)
{
if (HasError)
return default;
return predicate(Value);
}
public R AsOrDefault<R>(Func<T, R> predicate, R defaultValue)
{
if (HasError)
return defaultValue;
return predicate(Value);
}
}
public readonly struct Maybe<T, E> : IMaybe<T, E> where E: Error
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly E? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value!;
private readonly T? _value;
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with a default(null) value
/// </summary>
public Maybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with a <paramref name="value"/>
/// </summary>
public Maybe(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with an error <paramref name="e"/>
/// </summary>
public Maybe(E e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator Maybe<T, E>(T value)
{
return new Maybe<T, E>(value);
}
public static implicit operator Maybe<T, E>(E e)
{
return new Maybe<T, E>(e);
}
public static implicit operator T(Maybe<T, E> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct Maybe<T> : IMaybe<T, Error>
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly Error? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value!;
private readonly T? _value;
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with a default(null) value
/// </summary>
public Maybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with a <paramref name="value"/>
/// </summary>
public Maybe(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with an exception <paramref name="e"/>
/// </summary>
public Maybe(Exception e)
{
Error = new ExceptionError(e);
HasError = true;
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with an error <paramref name="e"/>
/// </summary>
public Maybe(Error e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator Maybe<T>(T value)
{
return new Maybe<T>(value);
}
public static implicit operator Maybe<T>(Exception e)
{
return new Maybe<T>(e);
}
public static implicit operator Maybe<T>(Error e)
{
return new Maybe<T>(e);
}
public static implicit operator T(Maybe<T> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
using MaybeError.Errors;
using System.Diagnostics.CodeAnalysis;
namespace MaybeError;
public interface IMaybe<T, E> where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
bool HasError { get; }
bool HasValue { get; }
E? Error { get; }
T Value { get; }
public T ValueOrDefault(T defaultValue)
{
if (HasError)
return defaultValue;
return Value;
}
public T? ValueOrDefault()
{
if (HasError)
return default;
return Value;
}
public R As<R>(Func<T, R> predicate)
{
return predicate(Value);
}
public R? AsOrDefault<R>(Func<T, R> predicate)
{
if (HasError)
return default;
return predicate(Value);
}
public R AsOrDefault<R>(Func<T, R> predicate, R defaultValue)
{
if (HasError)
return defaultValue;
return predicate(Value);
}
}
public readonly struct MaybeEx<T, Ex> : IMaybe<T, ExceptionError<Ex>> where Ex : Exception
{
[MemberNotNullWhen(true, nameof(Error))]
[MemberNotNullWhen(false, nameof(_value))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly ExceptionError<Ex>? Error { get; init; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T? _value;
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with a default(null) value
/// </summary>
public MaybeEx()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with a <paramref name="value"/>
/// </summary>
public MaybeEx(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with an exception error <paramref name="e"/>
/// </summary>
public MaybeEx(Ex e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator MaybeEx<T, Ex>(T value)
{
return new MaybeEx<T, Ex>(value);
}
public static implicit operator MaybeEx<T, Ex>(Ex e)
{
return new MaybeEx<T, Ex>(e);
}
public static implicit operator Maybe<T, ExceptionError<Ex>>(MaybeEx<T, Ex> value)
{
return value;
}
public static implicit operator Maybe<T>(MaybeEx<T, Ex> value)
{
return value;
}
public static implicit operator T(MaybeEx<T, Ex> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct Maybe<T, E> : IMaybe<T, E> where E: Error
{
[MemberNotNullWhen(true, nameof(Error))]
[MemberNotNullWhen(false, nameof(_value))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly E? Error { get; init; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T? _value;
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with a default(null) value
/// </summary>
public Maybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with a <paramref name="value"/>
/// </summary>
public Maybe(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, E}"/> with an error <paramref name="e"/>
/// </summary>
public Maybe(E e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator Maybe<T, E>(T value)
{
return new Maybe<T, E>(value);
}
public static implicit operator Maybe<T, E>(E e)
{
return new Maybe<T, E>(e);
}
public static implicit operator Maybe<T>(Maybe<T, E> value)
{
return value;
}
public static implicit operator T(Maybe<T, E> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct Maybe<T> : IMaybe<T, Error>
{
[MemberNotNullWhen(true, nameof(Error))]
[MemberNotNullWhen(false, nameof(_value))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly Error? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T? _value;
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with a default(null) value
/// </summary>
public Maybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with a <paramref name="value"/>
/// </summary>
public Maybe(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with an exception <paramref name="e"/>
/// </summary>
public Maybe(Exception e)
{
Error = new ExceptionError(e);
HasError = true;
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T}"/> with an error <paramref name="e"/>
/// </summary>
public Maybe(Error e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator Maybe<T>(T value)
{
return new Maybe<T>(value);
}
public static implicit operator Maybe<T>(Exception e)
{
return new Maybe<T>(e);
}
public static implicit operator Maybe<T>(Error e)
{
return new Maybe<T>(e);
}
public static implicit operator T(Maybe<T> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}

View File

@@ -1,22 +1,22 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>net9.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
</PropertyGroup>
<PropertyGroup>
<PackageId>MaybeError</PackageId>
<Version>1.0.2</Version>
<Authors>Amatsugu</Authors>
<PackageDescription>Errors as values</PackageDescription>
<RepositoryUrl>https://github.com/Amatsugu/MaybeError</RepositoryUrl>
<PackageLicenseExpression>MIT</PackageLicenseExpression>
<PackageReadmeFile>README.md</PackageReadmeFile>
</PropertyGroup>
<ItemGroup>
<None Include="../README.md" Pack="true" PackagePath="\"/>
</ItemGroup>
</Project>
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>net9.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
</PropertyGroup>
<PropertyGroup>
<PackageId>MaybeError</PackageId>
<Version>1.2.0</Version>
<Authors>Amatsugu</Authors>
<PackageDescription>Errors as values</PackageDescription>
<RepositoryUrl>https://github.com/Amatsugu/MaybeError</RepositoryUrl>
<PackageLicenseExpression>MIT</PackageLicenseExpression>
<PackageReadmeFile>README.md</PackageReadmeFile>
</PropertyGroup>
<ItemGroup>
<None Include="../README.md" Pack="true" PackagePath="\"/>
</ItemGroup>
</Project>

View File

@@ -1,73 +1,102 @@
using MaybeError.Errors;
namespace MaybeError;
public static class MaybeExtensions
{
public static T ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe, T defaultValue) where T : struct where E : Error
{
if (maybe.HasError)
return defaultValue;
return maybe.Value;
}
public static T? ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe) where T : struct where E : Error
{
if (maybe.HasError)
return default;
return maybe.Value;
}
public static R As<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate) where T : struct where E : Error
{
return predicate(maybe.Value);
}
public static R? AsOrDefault<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate) where T : struct where E : Error
{
if (maybe.HasError)
return default;
return predicate(maybe.Value);
}
public static R AsOrDefault<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
if (maybe.HasError)
return defaultValue;
return predicate(maybe.Value);
}
public static T ValueOrDefault<T, E>(this IMaybe<T, E> maybe, T defaultValue) where E : Error
{
if (maybe.HasError)
return defaultValue;
return maybe.Value;
}
public static T? ValueOrDefault<T, E>(this IMaybe<T, E> maybe) where E : Error
{
if (maybe.HasError)
return default;
return maybe.Value;
}
public static R As<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error
{
return predicate(maybe.Value);
}
public static R? AsOrDefault<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error
{
if (maybe.HasError)
return default;
return predicate(maybe.Value);
}
public static R AsOrDefault<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate, R defaultValue) where E : Error
{
if (maybe.HasError)
return defaultValue;
return predicate(maybe.Value);
}
}
using MaybeError.Errors;
namespace MaybeError;
public static class MaybeExtensions
{
public static T ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe, T defaultValue) where T : struct where E : Error
{
if (maybe.HasError)
return defaultValue;
return maybe.Value;
}
public static T? ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe) where T : struct where E : Error
{
if (maybe.HasError)
return default;
return maybe.Value;
}
public static R As<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate) where T : struct where E : Error
{
return predicate(maybe.Value);
}
public static R? AsOrDefault<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate) where T : struct where E : Error
{
if (maybe.HasError)
return default;
return predicate(maybe.Value);
}
public static R AsOrDefault<R, T, E>(this IValueMaybe<T, E> maybe, Func<T, R> predicate, R defaultValue) where T : struct where E : Error
{
if (maybe.HasError)
return defaultValue;
return predicate(maybe.Value);
}
public static ValueMaybe<T2, E> Map<T, T2, E>(this IValueMaybe<T, E> maybe, Func<T, T2> map) where T : struct where T2 : struct where E : Error
{
if (maybe.HasError)
return maybe.Error;
return map(maybe.Value);
}
public static ValueMaybe<T, E2> MapError<T, E, E2>(this IValueMaybe<T, E> maybe, Func<E, E2> map) where T : struct where E : Error where E2 : Error
{
if (!maybe.HasError)
return maybe.Value;
return map(maybe.Error);
}
public static T ValueOrDefault<T, E>(this IMaybe<T, E> maybe, T defaultValue) where E : Error
{
if (maybe.HasError)
return defaultValue;
return maybe.Value;
}
public static T? ValueOrDefault<T, E>(this IMaybe<T, E> maybe) where E : Error
{
if (maybe.HasError)
return default;
return maybe.Value;
}
public static R As<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error
{
return predicate(maybe.Value);
}
public static R? AsOrDefault<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error
{
if (maybe.HasError)
return default;
return predicate(maybe.Value);
}
public static R AsOrDefault<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate, R defaultValue) where E : Error
{
if (maybe.HasError)
return defaultValue;
return predicate(maybe.Value);
}
public static Maybe<T2, E> Map<T, T2, E>(this IMaybe<T, E> maybe, Func<T, T2> map) where E : Error
{
if (maybe.HasError)
return maybe.Error;
return map(maybe.Value);
}
public static Maybe<T, E2> MapError<T, E, E2>(this IMaybe<T, E> maybe, Func<E, E2> map) where E : Error where E2 : Error
{
if (!maybe.HasError)
return maybe.Value;
return map(maybe.Error);
}
}

View File

@@ -1,140 +1,212 @@

using MaybeError.Errors;
using System.Diagnostics.CodeAnalysis;
namespace MaybeError;
public interface IValueMaybe<T, E> where T : struct where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
bool HasError { get; }
bool HasValue => !HasError;
E? Error { get; }
T Value { get; }
}
public readonly struct ValueMaybe<T, E> : IValueMaybe<T, E> where T : struct where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly E? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T _value;
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with a default value
/// </summary>
public ValueMaybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with a <paramref name="value"/>
/// </summary>
public ValueMaybe(T value)
{
_value = value;
HasError = false;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with an error <paramref name="e"/>
/// </summary>
public ValueMaybe(E e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator ValueMaybe<T, E>(T value)
{
return new ValueMaybe<T, E>(value);
}
public static implicit operator ValueMaybe<T, E>(E e)
{
return new ValueMaybe<T, E>(e);
}
public static implicit operator T(ValueMaybe<T, E> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct ValueMaybe<T> : IValueMaybe<T, Error> where T : struct
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly Error? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T _value;
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with a default value
/// </summary>
public ValueMaybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with a <paramref name="value"/>
/// </summary>
public ValueMaybe(T value)
{
_value = value;
HasError = false;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with an exception <paramref name="e"/>
/// </summary>
public ValueMaybe(Exception e)
{
Error = new ExceptionError(e);
HasError = true;
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with an error <paramref name="e"/>
/// </summary>
public ValueMaybe(Error e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator ValueMaybe<T>(T value)
{
return new ValueMaybe<T>(value);
}
public static implicit operator ValueMaybe<T>(Exception e)
{
return new ValueMaybe<T>(e);
}
public static implicit operator ValueMaybe<T>(Error e)
{
return new ValueMaybe<T>(e);
}
public static implicit operator T(ValueMaybe<T> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}

using MaybeError.Errors;
using System.Diagnostics.CodeAnalysis;
namespace MaybeError;
public interface IValueMaybe<T, E> where T : struct where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
bool HasError { get; }
[MemberNotNullWhen(false, nameof(Error))]
bool HasValue => !HasError;
E? Error { get; }
T Value { get; }
}
public readonly struct ValueMaybe<T, E> : IValueMaybe<T, E> where T : struct where E : Error
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
[MemberNotNullWhen(false, nameof(Error))]
public readonly bool HasValue => !HasError;
public readonly E? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T _value;
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with a default value
/// </summary>
public ValueMaybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with a <paramref name="value"/>
/// </summary>
public ValueMaybe(T value)
{
_value = value;
HasError = false;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T, E}"/> with an error <paramref name="e"/>
/// </summary>
public ValueMaybe(E e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator ValueMaybe<T, E>(T value)
{
return new ValueMaybe<T, E>(value);
}
public static implicit operator ValueMaybe<T, E>(E e)
{
return new ValueMaybe<T, E>(e);
}
public static implicit operator ValueMaybe<T>(ValueMaybe<T, E> value)
{
return value;
}
public static implicit operator T(ValueMaybe<T, E> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct ValueMaybe<T> : IValueMaybe<T, Error> where T : struct
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly Error? Error { get; }
public readonly T Value => HasError ? throw Error.GetException() : _value;
private readonly T _value;
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with a default value
/// </summary>
public ValueMaybe()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with a <paramref name="value"/>
/// </summary>
public ValueMaybe(T value)
{
_value = value;
HasError = false;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with an exception <paramref name="e"/>
/// </summary>
public ValueMaybe(Exception e)
{
Error = new ExceptionError(e);
HasError = true;
_value = default;
}
/// <summary>
/// Creates a new <see cref="ValueMaybe{T}"/> with an error <paramref name="e"/>
/// </summary>
public ValueMaybe(Error e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator ValueMaybe<T>(T value)
{
return new ValueMaybe<T>(value);
}
public static implicit operator ValueMaybe<T>(Exception e)
{
return new ValueMaybe<T>(e);
}
public static implicit operator ValueMaybe<T>(Error e)
{
return new ValueMaybe<T>(e);
}
public static implicit operator T(ValueMaybe<T> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}
public readonly struct ValueMaybeEx<T, Ex> : IMaybe<T, ExceptionError<Ex>> where T: struct where Ex : Exception
{
[MemberNotNullWhen(true, nameof(Error))]
public readonly bool HasError { get; }
public readonly bool HasValue => !HasError;
public readonly ExceptionError<Ex>? Error { get; init; }
public readonly T Value => HasError ? throw Error.GetException() : _value!;
private readonly T _value;
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with a default(null) value
/// </summary>
public ValueMaybeEx()
{
_value = default;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with a <paramref name="value"/>
/// </summary>
public ValueMaybeEx(T value)
{
_value = value;
}
/// <summary>
/// Creates a new <see cref="Maybe{T, Ex}"/> with an exception error <paramref name="e"/>
/// </summary>
public ValueMaybeEx(Ex e)
{
Error = e;
HasError = true;
_value = default;
}
public static implicit operator ValueMaybeEx<T, Ex>(T value)
{
return new ValueMaybeEx<T, Ex>(value);
}
public static implicit operator ValueMaybeEx<T, Ex>(Ex e)
{
return new ValueMaybeEx<T, Ex>(e);
}
public static implicit operator ValueMaybe<T, ExceptionError<Ex>>(ValueMaybeEx<T, Ex> value)
{
return value;
}
public static implicit operator ValueMaybe<T>(ValueMaybeEx<T, Ex> value)
{
return value;
}
public static implicit operator T(ValueMaybeEx<T, Ex> value)
{
if (value.HasError)
throw value.Error.GetException();
return value.Value;
}
}

View File

@@ -1,28 +1,28 @@
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>net9.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
<IsPackable>false</IsPackable>
<IsTestProject>true</IsTestProject>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="coverlet.collector" Version="6.0.0" />
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.8.0" />
<PackageReference Include="NUnit" Version="3.14.0" />
<PackageReference Include="NUnit.Analyzers" Version="3.9.0" />
<PackageReference Include="NUnit3TestAdapter" Version="4.5.0" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\MaybeError\MaybeError.csproj" />
</ItemGroup>
<ItemGroup>
<Using Include="NUnit.Framework" />
</ItemGroup>
</Project>
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<TargetFramework>net9.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
<IsPackable>false</IsPackable>
<IsTestProject>true</IsTestProject>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="coverlet.collector" Version="6.0.0" />
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.8.0" />
<PackageReference Include="NUnit" Version="3.14.0" />
<PackageReference Include="NUnit.Analyzers" Version="3.9.0" />
<PackageReference Include="NUnit3TestAdapter" Version="4.5.0" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\MaybeError\MaybeError.csproj" />
</ItemGroup>
<ItemGroup>
<Using Include="NUnit.Framework" />
</ItemGroup>
</Project>

View File

@@ -1,118 +1,154 @@
using MaybeError;
using MaybeError.Errors;
namespace MaybeErrorTests;
public class MaybeTests
{
[Test]
public void HasValue()
{
Maybe<string> value = "Test";
if (value.HasValue)
Assert.That(value.Value, Is.EqualTo("Test"));
else
Assert.Fail();
Assert.That(value.Error, Is.Null);
}
[Test]
public void HasError()
{
Maybe<string> value = new InvalidOperationException();
if (value.HasError)
Assert.That(value.Error, Is.Not.Null);
else
Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToLower());
}
[Test]
public void ImplicitValue()
{
Maybe<string> value = "Test";
Assert.Multiple(() =>
{
Assert.That(value.HasValue);
Assert.That(value == "Test", Is.True);
});
}
[Test]
public void ImplicitError()
{
Maybe<string> value = new InvalidOperationException();
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ExplicitError()
{
Maybe<string, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void Error()
{
Maybe<string> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToLower());
Assert.Multiple(() =>
{
Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
});
}
[Test]
public void ValueOrDefault()
{
Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault(), Is.EqualTo("Test"));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null);
}
[Test]
public void ValueOrDefaultWithDefault()
{
Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Test"));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Err"));
}
[Test]
public void As()
{
Maybe<string> value = "Test";
Assert.That(value.As(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.Length));
}
[Test]
public void AsOrDefault()
{
Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(0));
}
[Test]
public void AsOrDefaultWithValue()
{
Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(-4));
}
using MaybeError;
using MaybeError.Errors;
namespace MaybeErrorTests;
public class MaybeTests
{
[Test]
public void HasValue()
{
Maybe<string> value = "Test";
if (value.HasValue)
Assert.That(value.Value, Is.EqualTo("Test"));
else
Assert.Fail();
Assert.That(value.Error, Is.Null);
}
[Test]
public void HasError()
{
Maybe<string> value = new InvalidOperationException();
if (value.HasError)
Assert.That(value.Error, Is.Not.Null);
else
Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToLower());
}
[Test]
public void ImplicitValue()
{
Maybe<string> value = "Test";
Assert.Multiple(() =>
{
Assert.That(value.HasValue);
Assert.That(value == "Test", Is.True);
});
}
[Test]
public void ImplicitError()
{
Maybe<string> value = new InvalidOperationException();
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ExplicitError()
{
Maybe<string, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void Error()
{
Maybe<string> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToLower());
Assert.Multiple(() =>
{
Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
});
}
[Test]
public void ValueOrDefault()
{
Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault(), Is.EqualTo("Test"));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null);
}
[Test]
public void ValueOrDefaultWithDefault()
{
Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Test"));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Err"));
}
[Test]
public void As()
{
Maybe<string> value = "Test";
Assert.That(value.As(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.Length));
}
[Test]
public void AsOrDefault()
{
Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(0));
}
[Test]
public void AsOrDefaultWithValue()
{
Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(4));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(-4));
}
[Test]
public void MapTest()
{
Maybe<string> value = "Test";
var valueMapped = value.Map(v => $"A{v}");
Assert.That(valueMapped.HasValue, Is.True);
Assert.That(valueMapped.Value, Is.EqualTo("ATest"));
}
[Test]
public void MapTestError()
{
Maybe<string> value = new Error("Err");
var valueMapped = value.Map(v => $"A{v}");
Assert.That(valueMapped.HasError, Is.True);
}
[Test]
public void MapErrorTest()
{
Maybe<string> value = "Test";
var valueMapped = value.MapError(v => new Error($"A{v}"));
Assert.That(valueMapped.HasValue, Is.True);
Assert.That(valueMapped.Value, Is.EqualTo("Test"));
}
[Test]
public void MapErrorTestError()
{
Maybe<string> value = new Error("Err");
var valueMapped = value.MapError(v => new Error($"A{v.Message}"));
Assert.That(valueMapped.HasError, Is.True);
Assert.That(valueMapped.Error!.Message, Is.EqualTo("AErr"));
}
}

View File

@@ -1,118 +1,154 @@
using MaybeError;
using MaybeError.Errors;
namespace MaybeErrorTests;
public class ValueMaybeTests
{
[Test]
public void HasValue()
{
ValueMaybe<int> value = 1;
if(value.HasValue)
Assert.That(value.Value, Is.EqualTo(1));
else
Assert.Fail();
Assert.That(value.Error, Is.Null);
}
[Test]
public void HasError()
{
ValueMaybe<int> value = new InvalidOperationException();
if (value.HasError)
Assert.That(value.Error, Is.Not.Null);
else
Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ImplicitValue()
{
ValueMaybe<int> value = 1;
Assert.Multiple(() =>
{
Assert.That(value.HasValue);
Assert.That(value == 1, Is.True);
});
}
[Test]
public void ImplicitError()
{
ValueMaybe<int> value = new InvalidOperationException();
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ExplicitError()
{
ValueMaybe<int, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void Error()
{
ValueMaybe<int> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToString());
Assert.Multiple(() =>
{
Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
});
}
[Test]
public void ValueOrDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(), Is.EqualTo(1));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null);
}
[Test]
public void ValueOrDefaultWithDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(3), Is.EqualTo(1));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(3), Is.EqualTo(3));
}
[Test]
public void As()
{
ValueMaybe<int> value = 1;
Assert.That(value.As(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.ToString()));
}
[Test]
public void AsOrDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString()), Is.Null);
}
[Test]
public void AsOrDefaultWithValue()
{
ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("err"));
}
using MaybeError;
using MaybeError.Errors;
namespace MaybeErrorTests;
public class ValueMaybeTests
{
[Test]
public void HasValue()
{
ValueMaybe<int> value = 1;
if(value.HasValue)
Assert.That(value.Value, Is.EqualTo(1));
else
Assert.Fail();
Assert.That(value.Error, Is.Null);
}
[Test]
public void HasError()
{
ValueMaybe<int> value = new InvalidOperationException();
if (value.HasError)
Assert.That(value.Error, Is.Not.Null);
else
Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ImplicitValue()
{
ValueMaybe<int> value = 1;
Assert.Multiple(() =>
{
Assert.That(value.HasValue);
Assert.That(value == 1, Is.True);
});
}
[Test]
public void ImplicitError()
{
ValueMaybe<int> value = new InvalidOperationException();
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void ExplicitError()
{
ValueMaybe<int, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
}
[Test]
public void Error()
{
ValueMaybe<int> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToString());
Assert.Multiple(() =>
{
Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
});
}
[Test]
public void ValueOrDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(), Is.EqualTo(1));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null);
}
[Test]
public void ValueOrDefaultWithDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(3), Is.EqualTo(1));
value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(3), Is.EqualTo(3));
}
[Test]
public void As()
{
ValueMaybe<int> value = 1;
Assert.That(value.As(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.ToString()));
}
[Test]
public void AsOrDefault()
{
ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString()), Is.Null);
}
[Test]
public void AsOrDefaultWithValue()
{
ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("1"));
value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("err"));
}
[Test]
public void MapTest()
{
ValueMaybe<int> value = 1;
var valueMapped = value.Map(v => v + 1);
Assert.That(valueMapped.HasValue, Is.True);
Assert.That(valueMapped.Value, Is.EqualTo(2));
}
[Test]
public void MapTestError()
{
ValueMaybe<int> value = new Error("Err");
var valueMapped = value.Map(v => v + 1);
Assert.That(valueMapped.HasError, Is.True);
}
[Test]
public void MapErrorTest()
{
Maybe<int> value = 1;
var valueMapped = value.MapError(v => new Error($"A{v}"));
Assert.That(valueMapped.HasValue, Is.True);
Assert.That(valueMapped.Value, Is.EqualTo(1));
}
[Test]
public void MapErrorTestError()
{
ValueMaybe<int> value = new Error("Err");
var valueMapped = value.MapError(v => new Error($"A{v.Message}"));
Assert.That(valueMapped.HasError, Is.True);
Assert.That(valueMapped.Error!.Message, Is.EqualTo("AErr"));
}
}

View File

@@ -1,2 +1,50 @@
# MaybeError
A simple library to allow "error as values" functionallity in C#
# MaybeError
A simple library to allow "error as values" functionallity in C# inspired by the Result enum from rust.
# Usage
All you need to do is wrap you return in `Maybe` or `ValueMaybe` and you can leave most of your code unchanced. Return your normal types as is. When you have an error you can either return a caught exception or create a return a new error like below.
```csharp
public Maybe<string> SomeFunction(bool isGood)
{
if (isGood)
return "All good";
return new Error("This is not good");
}
```
Once you have a `Maybe<T>` you can inspect it's contents in several ways.
```csharp
var result = SomeFunction(true);
// Get the value with an optional default value if there is an error
var message = result.ValueOrDefault("Not good, but it's ok");
//The value is implicitly where possible, but will throw the error as an exception if there was one
string messageCast = result;
// You can also check if there was and error manually
if (result.HasError)
{
// do something
}
// Or for a value if you prefer
if (result.HasValue)
{
// do something
}
// You can access the error like this
if (result.HasError)
Console.WriteLine(result.Error);
```