From 77396d252ef6e04e631912913eda121f86293d9b Mon Sep 17 00:00:00 2001 From: Amatsugu Date: Mon, 18 Aug 2025 09:59:04 -0400 Subject: [PATCH] Added Map and MapError --- .gitattributes | 4 +- .github/workflows/dotnet.yml | 56 +- .gitignore | 796 ++++++++++++------------- LICENSE | 42 +- MaybeError.sln | 62 +- MaybeError/AsyncExtensions.cs | 206 +++---- MaybeError/Errors/Error.cs | 98 +-- MaybeError/Errors/ExceptionError.cs | 80 +-- MaybeError/Maybe.cs | 494 +++++++-------- MaybeError/MaybeError.csproj | 44 +- MaybeError/MaybeExtensions.cs | 176 +++--- MaybeError/ValueMaybe.cs | 422 ++++++------- MaybeErrorTests/MaybeErrorTests.csproj | 56 +- MaybeErrorTests/MaybeTests.cs | 270 +++++---- MaybeErrorTests/ValueMaybeTests.cs | 270 +++++---- README.md | 4 +- 16 files changed, 1590 insertions(+), 1490 deletions(-) diff --git a/.gitattributes b/.gitattributes index dfe0770..f13e053 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,2 +1,2 @@ -# Auto detect text files and perform LF normalization -* text=auto +# Auto detect text files and perform LF normalization +* text=auto diff --git a/.github/workflows/dotnet.yml b/.github/workflows/dotnet.yml index 68c5bf8..a578084 100644 --- a/.github/workflows/dotnet.yml +++ b/.github/workflows/dotnet.yml @@ -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 diff --git a/.gitignore b/.gitignore index 8a30d25..f83ffb8 100644 --- a/.gitignore +++ b/.gitignore @@ -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 diff --git a/LICENSE b/LICENSE index 10276f5..132ed1c 100644 --- a/LICENSE +++ b/LICENSE @@ -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. diff --git a/MaybeError.sln b/MaybeError.sln index 0ec4347..6671a18 100644 --- a/MaybeError.sln +++ b/MaybeError.sln @@ -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 diff --git a/MaybeError/AsyncExtensions.cs b/MaybeError/AsyncExtensions.cs index b14de6e..4509757 100644 --- a/MaybeError/AsyncExtensions.cs +++ b/MaybeError/AsyncExtensions.cs @@ -1,104 +1,104 @@ -using MaybeError.Errors; - -namespace MaybeError; - -public static class AsyncExtensions -{ - #region ValueMaybe - - public static async Task ValueOrDefaultAsync(this Task> task, T defaultValue) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(defaultValue); - } - - public static async ValueTask ValueOrDefaultAsync(this ValueTask> task, T defaultValue) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(defaultValue); - } - - public static async Task ValueOrDefaultAsync(this Task> task) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(); - } - - public static async ValueTask ValueOrDefaultAsync(this ValueTask> task) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(); - } - - public static async Task AsAsync(this Task> task, Func predicate) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.As(predicate); - } - - public static async ValueTask AsAsync(this ValueTask> task, Func predicate) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.As(predicate); - } - - public static async Task AsOrDefaultAsync(this Task> task, Func predicate) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.AsOrDefault(predicate); - } - - public static async ValueTask AsOrDefaultAsync(this ValueTask> task, Func predicate) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.AsOrDefault(predicate); - } - - public static async Task AsOrDefaultAsync(this Task> task, Func predicate, R defaultValue) where T : struct where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.AsOrDefault(predicate, defaultValue); - } - - public static async ValueTask AsOrDefaultAsync(this ValueTask> task, Func 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 ValueOrDefaultAsync(this Task> task, T defaultValue) where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(defaultValue); - } - - public static async Task ValueOrDefaultAsync(this Task> task) where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.ValueOrDefault(); - } - - public static async Task AsAsync(this Task> task, Func predicate) where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.As(predicate); - } - - public static async Task AsOrDefaultAsync(this Task> task, Func predicate) where E : Error - { - var maybe = await task.ConfigureAwait(false); - return maybe.AsOrDefault(predicate); - } - - public static async Task AsOrDefaultAsync(this Task> task, Func 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 ValueOrDefaultAsync(this Task> task, T defaultValue) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(defaultValue); + } + + public static async ValueTask ValueOrDefaultAsync(this ValueTask> task, T defaultValue) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(defaultValue); + } + + public static async Task ValueOrDefaultAsync(this Task> task) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(); + } + + public static async ValueTask ValueOrDefaultAsync(this ValueTask> task) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(); + } + + public static async Task AsAsync(this Task> task, Func predicate) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.As(predicate); + } + + public static async ValueTask AsAsync(this ValueTask> task, Func predicate) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.As(predicate); + } + + public static async Task AsOrDefaultAsync(this Task> task, Func predicate) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.AsOrDefault(predicate); + } + + public static async ValueTask AsOrDefaultAsync(this ValueTask> task, Func predicate) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.AsOrDefault(predicate); + } + + public static async Task AsOrDefaultAsync(this Task> task, Func predicate, R defaultValue) where T : struct where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.AsOrDefault(predicate, defaultValue); + } + + public static async ValueTask AsOrDefaultAsync(this ValueTask> task, Func 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 ValueOrDefaultAsync(this Task> task, T defaultValue) where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(defaultValue); + } + + public static async Task ValueOrDefaultAsync(this Task> task) where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.ValueOrDefault(); + } + + public static async Task AsAsync(this Task> task, Func predicate) where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.As(predicate); + } + + public static async Task AsOrDefaultAsync(this Task> task, Func predicate) where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.AsOrDefault(predicate); + } + + public static async Task AsOrDefaultAsync(this Task> task, Func predicate, R defaultValue) where E : Error + { + var maybe = await task.ConfigureAwait(false); + return maybe.AsOrDefault(predicate, defaultValue); + } + + #endregion Maybe } \ No newline at end of file diff --git a/MaybeError/Errors/Error.cs b/MaybeError/Errors/Error.cs index cede34b..ac90f30 100644 --- a/MaybeError/Errors/Error.cs +++ b/MaybeError/Errors/Error.cs @@ -1,49 +1,49 @@ -using System; -using System.Collections.Generic; -using System.Diagnostics; -using System.Linq; -using System.Text; -using System.Threading.Tasks; - -namespace MaybeError.Errors; - -/// -/// An information about an error that occured -/// -/// Message -/// Detailed information of the error -/// Even more detailed information that is useful for logging -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(); - } -} - +using System; +using System.Collections.Generic; +using System.Diagnostics; +using System.Linq; +using System.Text; +using System.Threading.Tasks; + +namespace MaybeError.Errors; + +/// +/// An information about an error that occured +/// +/// Message +/// Detailed information of the error +/// Even more detailed information that is useful for logging +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(); + } +} + diff --git a/MaybeError/Errors/ExceptionError.cs b/MaybeError/Errors/ExceptionError.cs index 0264e7e..7792efd 100644 --- a/MaybeError/Errors/ExceptionError.cs +++ b/MaybeError/Errors/ExceptionError.cs @@ -1,41 +1,41 @@ -namespace MaybeError.Errors; - -public class ExceptionError : ExceptionError -{ - public ExceptionError(string message, Exception exception) : base(message, exception) - { - } - public ExceptionError(Exception exception) : base(exception) - { - } -} - -public class ExceptionError : 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 exception) - { - return new ExceptionError(exception); - } +namespace MaybeError.Errors; + +public class ExceptionError : ExceptionError +{ + public ExceptionError(string message, Exception exception) : base(message, exception) + { + } + public ExceptionError(Exception exception) : base(exception) + { + } +} + +public class ExceptionError : 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 exception) + { + return new ExceptionError(exception); + } } \ No newline at end of file diff --git a/MaybeError/Maybe.cs b/MaybeError/Maybe.cs index cd434c2..a839cba 100644 --- a/MaybeError/Maybe.cs +++ b/MaybeError/Maybe.cs @@ -1,247 +1,247 @@ -using MaybeError.Errors; - -using System.Diagnostics.CodeAnalysis; - -namespace MaybeError; - -public interface IMaybe 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(Func predicate) - { - return predicate(Value); - } - - public R? AsOrDefault(Func predicate) - { - if (HasError) - return default; - return predicate(Value); - } - - public R AsOrDefault(Func predicate, R defaultValue) - { - if (HasError) - return defaultValue; - return predicate(Value); - } -} - -public readonly struct MaybeEx : IMaybe> where Ex : Exception -{ - [MemberNotNullWhen(true, nameof(Error))] - [MemberNotNullWhen(false, nameof(_value))] - public readonly bool HasError { get; } - public readonly bool HasValue => !HasError; - public readonly ExceptionError? Error { get; init; } - public readonly T Value => HasError ? throw Error.GetException() : _value; - private readonly T? _value; - - /// - /// Creates a new with a default(null) value - /// - public MaybeEx() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public MaybeEx(T value) - { - _value = value; - } - - /// - /// Creates a new with an exception error - /// - public MaybeEx(Ex e) - { - Error = e; - HasError = true; - _value = default; - } - - - public static implicit operator MaybeEx(T value) - { - return new MaybeEx(value); - } - - public static implicit operator MaybeEx(Ex e) - { - return new MaybeEx(e); - } - - public static implicit operator Maybe>(MaybeEx value) - { - return value; - } - - public static implicit operator Maybe(MaybeEx value) - { - return value; - } - - public static implicit operator T(MaybeEx value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } -} - -public readonly struct Maybe : IMaybe 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; - - /// - /// Creates a new with a default(null) value - /// - public Maybe() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public Maybe(T value) - { - _value = value; - } - - /// - /// Creates a new with an error - /// - public Maybe(E e) - { - Error = e; - HasError = true; - _value = default; - } - - - public static implicit operator Maybe(T value) - { - return new Maybe(value); - } - - public static implicit operator Maybe(E e) - { - return new Maybe(e); - } - - public static implicit operator Maybe(Maybe value) - { - return value; - } - - public static implicit operator T(Maybe value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } -} - - -public readonly struct Maybe : IMaybe -{ - [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; - - /// - /// Creates a new with a default(null) value - /// - public Maybe() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public Maybe(T value) - { - _value = value; - } - - /// - /// Creates a new with an exception - /// - public Maybe(Exception e) - { - Error = new ExceptionError(e); - HasError = true; - _value = default; - } - - /// - /// Creates a new with an error - /// - public Maybe(Error e) - { - Error = e; - HasError = true; - _value = default; - } - - public static implicit operator Maybe(T value) - { - return new Maybe(value); - } - - public static implicit operator Maybe(Exception e) - { - return new Maybe(e); - } - - public static implicit operator Maybe(Error e) - { - return new Maybe(e); - } - - public static implicit operator T(Maybe value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } - - -} - +using MaybeError.Errors; + +using System.Diagnostics.CodeAnalysis; + +namespace MaybeError; + +public interface IMaybe 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(Func predicate) + { + return predicate(Value); + } + + public R? AsOrDefault(Func predicate) + { + if (HasError) + return default; + return predicate(Value); + } + + public R AsOrDefault(Func predicate, R defaultValue) + { + if (HasError) + return defaultValue; + return predicate(Value); + } +} + +public readonly struct MaybeEx : IMaybe> where Ex : Exception +{ + [MemberNotNullWhen(true, nameof(Error))] + [MemberNotNullWhen(false, nameof(_value))] + public readonly bool HasError { get; } + public readonly bool HasValue => !HasError; + public readonly ExceptionError? Error { get; init; } + public readonly T Value => HasError ? throw Error.GetException() : _value; + private readonly T? _value; + + /// + /// Creates a new with a default(null) value + /// + public MaybeEx() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public MaybeEx(T value) + { + _value = value; + } + + /// + /// Creates a new with an exception error + /// + public MaybeEx(Ex e) + { + Error = e; + HasError = true; + _value = default; + } + + + public static implicit operator MaybeEx(T value) + { + return new MaybeEx(value); + } + + public static implicit operator MaybeEx(Ex e) + { + return new MaybeEx(e); + } + + public static implicit operator Maybe>(MaybeEx value) + { + return value; + } + + public static implicit operator Maybe(MaybeEx value) + { + return value; + } + + public static implicit operator T(MaybeEx value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } +} + +public readonly struct Maybe : IMaybe 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; + + /// + /// Creates a new with a default(null) value + /// + public Maybe() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public Maybe(T value) + { + _value = value; + } + + /// + /// Creates a new with an error + /// + public Maybe(E e) + { + Error = e; + HasError = true; + _value = default; + } + + + public static implicit operator Maybe(T value) + { + return new Maybe(value); + } + + public static implicit operator Maybe(E e) + { + return new Maybe(e); + } + + public static implicit operator Maybe(Maybe value) + { + return value; + } + + public static implicit operator T(Maybe value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } +} + + +public readonly struct Maybe : IMaybe +{ + [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; + + /// + /// Creates a new with a default(null) value + /// + public Maybe() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public Maybe(T value) + { + _value = value; + } + + /// + /// Creates a new with an exception + /// + public Maybe(Exception e) + { + Error = new ExceptionError(e); + HasError = true; + _value = default; + } + + /// + /// Creates a new with an error + /// + public Maybe(Error e) + { + Error = e; + HasError = true; + _value = default; + } + + public static implicit operator Maybe(T value) + { + return new Maybe(value); + } + + public static implicit operator Maybe(Exception e) + { + return new Maybe(e); + } + + public static implicit operator Maybe(Error e) + { + return new Maybe(e); + } + + public static implicit operator T(Maybe value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } + + +} + diff --git a/MaybeError/MaybeError.csproj b/MaybeError/MaybeError.csproj index b1d9954..8a16667 100644 --- a/MaybeError/MaybeError.csproj +++ b/MaybeError/MaybeError.csproj @@ -1,22 +1,22 @@ - - - - net9.0 - enable - enable - - - - MaybeError - 1.1.0 - Amatsugu - Errors as values - https://github.com/Amatsugu/MaybeError - MIT - README.md - - - - - - + + + + net9.0 + enable + enable + + + + MaybeError + 1.2.0 + Amatsugu + Errors as values + https://github.com/Amatsugu/MaybeError + MIT + README.md + + + + + + diff --git a/MaybeError/MaybeExtensions.cs b/MaybeError/MaybeExtensions.cs index 1a0a833..a677c13 100644 --- a/MaybeError/MaybeExtensions.cs +++ b/MaybeError/MaybeExtensions.cs @@ -1,74 +1,102 @@ -using MaybeError.Errors; - -namespace MaybeError; - -public static class MaybeExtensions -{ - public static T ValueOrDefault(this IValueMaybe maybe, T defaultValue) where T : struct where E : Error - { - if (maybe.HasError) - return defaultValue; - return maybe.Value; - } - - public static T? ValueOrDefault(this IValueMaybe maybe) where T : struct where E : Error - { - if (maybe.HasError) - return default; - return maybe.Value; - } - - public static R As(this IValueMaybe maybe, Func predicate) where T : struct where E : Error - { - return predicate(maybe.Value); - } - - public static R? AsOrDefault(this IValueMaybe maybe, Func predicate) where T : struct where E : Error - { - if (maybe.HasError) - return default; - return predicate(maybe.Value); - } - - public static R AsOrDefault(this IValueMaybe maybe, Func predicate, R defaultValue) where T : struct where E : Error - { - if (maybe.HasError) - return defaultValue; - return predicate(maybe.Value); - } - - - public static T ValueOrDefault(this IMaybe maybe, T defaultValue) where E : Error - { - if (maybe.HasError) - return defaultValue; - return maybe.Value; - } - - public static T? ValueOrDefault(this IMaybe maybe) where E : Error - { - if (maybe.HasError) - return default; - return maybe.Value; - } - - public static R As(this IMaybe maybe, Func predicate) where E : Error - { - return predicate(maybe.Value); - } - - public static R? AsOrDefault(this IMaybe maybe, Func predicate) where E : Error - { - if (maybe.HasError) - return default; - return predicate(maybe.Value); - } - - public static R AsOrDefault(this IMaybe maybe, Func 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(this IValueMaybe maybe, T defaultValue) where T : struct where E : Error + { + if (maybe.HasError) + return defaultValue; + return maybe.Value; + } + + public static T? ValueOrDefault(this IValueMaybe maybe) where T : struct where E : Error + { + if (maybe.HasError) + return default; + return maybe.Value; + } + + public static R As(this IValueMaybe maybe, Func predicate) where T : struct where E : Error + { + return predicate(maybe.Value); + } + + public static R? AsOrDefault(this IValueMaybe maybe, Func predicate) where T : struct where E : Error + { + if (maybe.HasError) + return default; + return predicate(maybe.Value); + } + + public static R AsOrDefault(this IValueMaybe maybe, Func predicate, R defaultValue) where T : struct where E : Error + { + if (maybe.HasError) + return defaultValue; + return predicate(maybe.Value); + } + + public static ValueMaybe Map(this IValueMaybe maybe, Func map) where T : struct where T2 : struct where E : Error + { + if (maybe.HasError) + return maybe.Error; + return map(maybe.Value); + } + + public static ValueMaybe MapError(this IValueMaybe maybe, Func map) where T : struct where E : Error where E2 : Error + { + if (!maybe.HasError) + return maybe.Value; + return map(maybe.Error); + } + + + public static T ValueOrDefault(this IMaybe maybe, T defaultValue) where E : Error + { + if (maybe.HasError) + return defaultValue; + return maybe.Value; + } + + public static T? ValueOrDefault(this IMaybe maybe) where E : Error + { + if (maybe.HasError) + return default; + return maybe.Value; + } + + public static R As(this IMaybe maybe, Func predicate) where E : Error + { + return predicate(maybe.Value); + } + + public static R? AsOrDefault(this IMaybe maybe, Func predicate) where E : Error + { + if (maybe.HasError) + return default; + return predicate(maybe.Value); + } + + public static R AsOrDefault(this IMaybe maybe, Func predicate, R defaultValue) where E : Error + { + if (maybe.HasError) + return defaultValue; + return predicate(maybe.Value); + } + + public static Maybe Map(this IMaybe maybe, Func map) where E : Error + { + if (maybe.HasError) + return maybe.Error; + return map(maybe.Value); + } + + public static Maybe MapError(this IMaybe maybe, Func map) where E : Error where E2 : Error + { + if (!maybe.HasError) + return maybe.Value; + return map(maybe.Error); + } + +} diff --git a/MaybeError/ValueMaybe.cs b/MaybeError/ValueMaybe.cs index b3e998e..bae205e 100644 --- a/MaybeError/ValueMaybe.cs +++ b/MaybeError/ValueMaybe.cs @@ -1,212 +1,212 @@ - -using MaybeError.Errors; - -using System.Diagnostics.CodeAnalysis; - -namespace MaybeError; - -public interface IValueMaybe 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 : IValueMaybe 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; - - /// - /// Creates a new with a default value - /// - public ValueMaybe() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public ValueMaybe(T value) - { - _value = value; - HasError = false; - } - - /// - /// Creates a new with an error - /// - public ValueMaybe(E e) - { - Error = e; - HasError = true; - _value = default; - } - - public static implicit operator ValueMaybe(T value) - { - return new ValueMaybe(value); - } - - public static implicit operator ValueMaybe(E e) - { - return new ValueMaybe(e); - } - - public static implicit operator ValueMaybe(ValueMaybe value) - { - return value; - } - - public static implicit operator T(ValueMaybe value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } -} - -public readonly struct ValueMaybe : IValueMaybe 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; - - /// - /// Creates a new with a default value - /// - public ValueMaybe() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public ValueMaybe(T value) - { - _value = value; - HasError = false; - } - - /// - /// Creates a new with an exception - /// - public ValueMaybe(Exception e) - { - Error = new ExceptionError(e); - HasError = true; - _value = default; - } - - /// - /// Creates a new with an error - /// - public ValueMaybe(Error e) - { - Error = e; - HasError = true; - _value = default; - } - - public static implicit operator ValueMaybe(T value) - { - return new ValueMaybe(value); - } - - public static implicit operator ValueMaybe(Exception e) - { - return new ValueMaybe(e); - } - - public static implicit operator ValueMaybe(Error e) - { - return new ValueMaybe(e); - } - - public static implicit operator T(ValueMaybe value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } -} - - -public readonly struct ValueMaybeEx : IMaybe> where T: struct where Ex : Exception -{ - [MemberNotNullWhen(true, nameof(Error))] - public readonly bool HasError { get; } - public readonly bool HasValue => !HasError; - public readonly ExceptionError? Error { get; init; } - public readonly T Value => HasError ? throw Error.GetException() : _value!; - private readonly T _value; - - /// - /// Creates a new with a default(null) value - /// - public ValueMaybeEx() - { - _value = default; - } - - /// - /// Creates a new with a - /// - public ValueMaybeEx(T value) - { - _value = value; - } - - /// - /// Creates a new with an exception error - /// - public ValueMaybeEx(Ex e) - { - Error = e; - HasError = true; - _value = default; - } - - - public static implicit operator ValueMaybeEx(T value) - { - return new ValueMaybeEx(value); - } - - public static implicit operator ValueMaybeEx(Ex e) - { - return new ValueMaybeEx(e); - } - - public static implicit operator ValueMaybe>(ValueMaybeEx value) - { - return value; - } - - public static implicit operator ValueMaybe(ValueMaybeEx value) - { - return value; - } - - public static implicit operator T(ValueMaybeEx value) - { - if (value.HasError) - throw value.Error.GetException(); - return value.Value; - } + +using MaybeError.Errors; + +using System.Diagnostics.CodeAnalysis; + +namespace MaybeError; + +public interface IValueMaybe 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 : IValueMaybe 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; + + /// + /// Creates a new with a default value + /// + public ValueMaybe() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public ValueMaybe(T value) + { + _value = value; + HasError = false; + } + + /// + /// Creates a new with an error + /// + public ValueMaybe(E e) + { + Error = e; + HasError = true; + _value = default; + } + + public static implicit operator ValueMaybe(T value) + { + return new ValueMaybe(value); + } + + public static implicit operator ValueMaybe(E e) + { + return new ValueMaybe(e); + } + + public static implicit operator ValueMaybe(ValueMaybe value) + { + return value; + } + + public static implicit operator T(ValueMaybe value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } +} + +public readonly struct ValueMaybe : IValueMaybe 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; + + /// + /// Creates a new with a default value + /// + public ValueMaybe() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public ValueMaybe(T value) + { + _value = value; + HasError = false; + } + + /// + /// Creates a new with an exception + /// + public ValueMaybe(Exception e) + { + Error = new ExceptionError(e); + HasError = true; + _value = default; + } + + /// + /// Creates a new with an error + /// + public ValueMaybe(Error e) + { + Error = e; + HasError = true; + _value = default; + } + + public static implicit operator ValueMaybe(T value) + { + return new ValueMaybe(value); + } + + public static implicit operator ValueMaybe(Exception e) + { + return new ValueMaybe(e); + } + + public static implicit operator ValueMaybe(Error e) + { + return new ValueMaybe(e); + } + + public static implicit operator T(ValueMaybe value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } +} + + +public readonly struct ValueMaybeEx : IMaybe> where T: struct where Ex : Exception +{ + [MemberNotNullWhen(true, nameof(Error))] + public readonly bool HasError { get; } + public readonly bool HasValue => !HasError; + public readonly ExceptionError? Error { get; init; } + public readonly T Value => HasError ? throw Error.GetException() : _value!; + private readonly T _value; + + /// + /// Creates a new with a default(null) value + /// + public ValueMaybeEx() + { + _value = default; + } + + /// + /// Creates a new with a + /// + public ValueMaybeEx(T value) + { + _value = value; + } + + /// + /// Creates a new with an exception error + /// + public ValueMaybeEx(Ex e) + { + Error = e; + HasError = true; + _value = default; + } + + + public static implicit operator ValueMaybeEx(T value) + { + return new ValueMaybeEx(value); + } + + public static implicit operator ValueMaybeEx(Ex e) + { + return new ValueMaybeEx(e); + } + + public static implicit operator ValueMaybe>(ValueMaybeEx value) + { + return value; + } + + public static implicit operator ValueMaybe(ValueMaybeEx value) + { + return value; + } + + public static implicit operator T(ValueMaybeEx value) + { + if (value.HasError) + throw value.Error.GetException(); + return value.Value; + } } \ No newline at end of file diff --git a/MaybeErrorTests/MaybeErrorTests.csproj b/MaybeErrorTests/MaybeErrorTests.csproj index 88f6a66..820c57d 100644 --- a/MaybeErrorTests/MaybeErrorTests.csproj +++ b/MaybeErrorTests/MaybeErrorTests.csproj @@ -1,28 +1,28 @@ - - - - net9.0 - enable - enable - - false - true - - - - - - - - - - - - - - - - - - - + + + + net9.0 + enable + enable + + false + true + + + + + + + + + + + + + + + + + + + diff --git a/MaybeErrorTests/MaybeTests.cs b/MaybeErrorTests/MaybeTests.cs index 0a0ed18..4ed1314 100644 --- a/MaybeErrorTests/MaybeTests.cs +++ b/MaybeErrorTests/MaybeTests.cs @@ -1,118 +1,154 @@ -using MaybeError; -using MaybeError.Errors; - -namespace MaybeErrorTests; - -public class MaybeTests -{ - [Test] - public void HasValue() - { - Maybe 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 value = new InvalidOperationException(); - if (value.HasError) - Assert.That(value.Error, Is.Not.Null); - else - Assert.Fail(); - Assert.Throws(() => value.Value.ToLower()); - } - - [Test] - public void ImplicitValue() - { - Maybe value = "Test"; - Assert.Multiple(() => - { - Assert.That(value.HasValue); - Assert.That(value == "Test", Is.True); - }); - } - - [Test] - public void ImplicitError() - { - Maybe value = new InvalidOperationException(); - Assert.That(value.HasError); - Assert.Throws(() => value.Value.ToString()); - } - - [Test] - public void ExplicitError() - { - Maybe value = new ExceptionError(new InvalidOperationException()); - Assert.That(value.HasError); - Assert.Throws(() => value.Value.ToString()); - } - - [Test] - public void Error() - { - Maybe value = new Error("Test Error"); - Assert.Throws(() => value.Value.ToLower()); - Assert.Multiple(() => - { - Assert.That(value.HasError); - Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); - }); - } - - [Test] - public void ValueOrDefault() - { - Maybe value = "Test"; - Assert.That(value.ValueOrDefault(), Is.EqualTo("Test")); - - value = new InvalidOperationException(); - Assert.That(value.ValueOrDefault(), Is.Null); - } - - [Test] - public void ValueOrDefaultWithDefault() - { - Maybe 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 value = "Test"; - Assert.That(value.As(v => v.Length), Is.EqualTo(4)); - - value = new InvalidOperationException(); - Assert.Throws(() => value.As(v => v.Length)); - } - - [Test] - public void AsOrDefault() - { - Maybe 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 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 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 value = new InvalidOperationException(); + if (value.HasError) + Assert.That(value.Error, Is.Not.Null); + else + Assert.Fail(); + Assert.Throws(() => value.Value.ToLower()); + } + + [Test] + public void ImplicitValue() + { + Maybe value = "Test"; + Assert.Multiple(() => + { + Assert.That(value.HasValue); + Assert.That(value == "Test", Is.True); + }); + } + + [Test] + public void ImplicitError() + { + Maybe value = new InvalidOperationException(); + Assert.That(value.HasError); + Assert.Throws(() => value.Value.ToString()); + } + + [Test] + public void ExplicitError() + { + Maybe value = new ExceptionError(new InvalidOperationException()); + Assert.That(value.HasError); + Assert.Throws(() => value.Value.ToString()); + } + + [Test] + public void Error() + { + Maybe value = new Error("Test Error"); + Assert.Throws(() => value.Value.ToLower()); + Assert.Multiple(() => + { + Assert.That(value.HasError); + Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); + }); + } + + [Test] + public void ValueOrDefault() + { + Maybe value = "Test"; + Assert.That(value.ValueOrDefault(), Is.EqualTo("Test")); + + value = new InvalidOperationException(); + Assert.That(value.ValueOrDefault(), Is.Null); + } + + [Test] + public void ValueOrDefaultWithDefault() + { + Maybe 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 value = "Test"; + Assert.That(value.As(v => v.Length), Is.EqualTo(4)); + + value = new InvalidOperationException(); + Assert.Throws(() => value.As(v => v.Length)); + } + + [Test] + public void AsOrDefault() + { + Maybe 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 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 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 value = new Error("Err"); + var valueMapped = value.Map(v => $"A{v}"); + Assert.That(valueMapped.HasError, Is.True); + } + + + [Test] + public void MapErrorTest() + { + Maybe 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 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")); + } } \ No newline at end of file diff --git a/MaybeErrorTests/ValueMaybeTests.cs b/MaybeErrorTests/ValueMaybeTests.cs index 2579c85..f9ad5ce 100644 --- a/MaybeErrorTests/ValueMaybeTests.cs +++ b/MaybeErrorTests/ValueMaybeTests.cs @@ -1,118 +1,154 @@ -using MaybeError; -using MaybeError.Errors; - -namespace MaybeErrorTests; - -public class ValueMaybeTests -{ - [Test] - public void HasValue() - { - ValueMaybe 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 value = new InvalidOperationException(); - if (value.HasError) - Assert.That(value.Error, Is.Not.Null); - else - Assert.Fail(); - Assert.Throws(() => value.Value.ToString()); - } - - [Test] - public void ImplicitValue() - { - ValueMaybe value = 1; - Assert.Multiple(() => - { - Assert.That(value.HasValue); - Assert.That(value == 1, Is.True); - }); - } - - [Test] - public void ImplicitError() - { - ValueMaybe value = new InvalidOperationException(); - Assert.That(value.HasError); - Assert.Throws(() => value.Value.ToString()); - } - - [Test] - public void ExplicitError() - { - ValueMaybe value = new ExceptionError(new InvalidOperationException()); - Assert.That(value.HasError); - Assert.Throws(() => value.Value.ToString()); - } - - [Test] - public void Error() - { - ValueMaybe value = new Error("Test Error"); - Assert.Throws(() => value.Value.ToString()); - Assert.Multiple(() => - { - Assert.That(value.HasError); - Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); - }); - } - - [Test] - public void ValueOrDefault() - { - ValueMaybe value = 1; - Assert.That(value.ValueOrDefault(), Is.EqualTo(1)); - - value = new InvalidOperationException(); - Assert.That(value.ValueOrDefault(), Is.Null); - } - - [Test] - public void ValueOrDefaultWithDefault() - { - ValueMaybe 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 value = 1; - Assert.That(value.As(v => v.ToString()), Is.EqualTo("1")); - - value = new InvalidOperationException(); - Assert.Throws(() => value.As(v => v.ToString())); - } - - [Test] - public void AsOrDefault() - { - ValueMaybe 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 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 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 value = new InvalidOperationException(); + if (value.HasError) + Assert.That(value.Error, Is.Not.Null); + else + Assert.Fail(); + Assert.Throws(() => value.Value.ToString()); + } + + [Test] + public void ImplicitValue() + { + ValueMaybe value = 1; + Assert.Multiple(() => + { + Assert.That(value.HasValue); + Assert.That(value == 1, Is.True); + }); + } + + [Test] + public void ImplicitError() + { + ValueMaybe value = new InvalidOperationException(); + Assert.That(value.HasError); + Assert.Throws(() => value.Value.ToString()); + } + + [Test] + public void ExplicitError() + { + ValueMaybe value = new ExceptionError(new InvalidOperationException()); + Assert.That(value.HasError); + Assert.Throws(() => value.Value.ToString()); + } + + [Test] + public void Error() + { + ValueMaybe value = new Error("Test Error"); + Assert.Throws(() => value.Value.ToString()); + Assert.Multiple(() => + { + Assert.That(value.HasError); + Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); + }); + } + + [Test] + public void ValueOrDefault() + { + ValueMaybe value = 1; + Assert.That(value.ValueOrDefault(), Is.EqualTo(1)); + + value = new InvalidOperationException(); + Assert.That(value.ValueOrDefault(), Is.Null); + } + + [Test] + public void ValueOrDefaultWithDefault() + { + ValueMaybe 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 value = 1; + Assert.That(value.As(v => v.ToString()), Is.EqualTo("1")); + + value = new InvalidOperationException(); + Assert.Throws(() => value.As(v => v.ToString())); + } + + [Test] + public void AsOrDefault() + { + ValueMaybe 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 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 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 value = new Error("Err"); + var valueMapped = value.Map(v => v + 1); + Assert.That(valueMapped.HasError, Is.True); + } + + + [Test] + public void MapErrorTest() + { + Maybe 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 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")); + } } \ No newline at end of file diff --git a/README.md b/README.md index 4107f07..ed3ad9f 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,2 @@ -# MaybeError - A simple library to allow "error as values" functionallity in C# +# MaybeError + A simple library to allow "error as values" functionallity in C#