Amatsugu/MaybeError
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added Map and MapError
All checks were successful
.NET / build (push) Successful in 34s
Details

Browse Source
This commit is contained in:
Amatsugu
2025-08-18 09:59:04 -04:00
parent d2fe7edbce
commit 77396d252e
16 changed files with 1590 additions and 1490 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.gitattributes vendored
View File

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

56
.github/workflows/dotnet.yml vendored
View File

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

796
.gitignore vendored
View File

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

42
LICENSE
View File

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

62
MaybeError.sln
View File

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

206
MaybeError/AsyncExtensions.cs
View File

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

98
MaybeError/Errors/Error.cs
View File

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

80
MaybeError/Errors/ExceptionError.cs
View File

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

494
MaybeError/Maybe.cs
View File

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

44
MaybeError/MaybeError.csproj
View File

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

176
MaybeError/MaybeExtensions.cs
View File

@@ -1,74 +1,102 @@
using MaybeError.Errors; using MaybeError.Errors;
namespace MaybeError; namespace MaybeError;
public static class MaybeExtensions public static class MaybeExtensions
{ {
public static T ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe, T defaultValue) where T : struct where E : Error public static T ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe, T defaultValue) where T : struct where E : Error
{ {
if (maybe.HasError) if (maybe.HasError)
return defaultValue; return defaultValue;
return maybe.Value; return maybe.Value;
} }
public static T? ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe) where T : struct where E : Error public static T? ValueOrDefault<T, E>(this IValueMaybe<T, E> maybe) where T : struct where E : Error
{ {
if (maybe.HasError) if (maybe.HasError)
return default; return default;
return maybe.Value; 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 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); 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 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) if (maybe.HasError)
return default; return default;
return predicate(maybe.Value); 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 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) if (maybe.HasError)
return defaultValue; return defaultValue;
return predicate(maybe.Value); 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
public static T ValueOrDefault<T, E>(this IMaybe<T, E> maybe, T defaultValue) where E : Error {
{ if (maybe.HasError)
if (maybe.HasError) return maybe.Error;
return defaultValue; return map(maybe.Value);
return 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
public static T? ValueOrDefault<T, E>(this IMaybe<T, E> maybe) where E : Error {
{ if (!maybe.HasError)
if (maybe.HasError) return maybe.Value;
return default; return map(maybe.Error);
return maybe.Value; }
}
public static R As<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error public static T ValueOrDefault<T, E>(this IMaybe<T, E> maybe, T defaultValue) where E : Error
{ {
return predicate(maybe.Value); if (maybe.HasError)
} return defaultValue;
return maybe.Value;
public static R? AsOrDefault<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error }
{
if (maybe.HasError) public static T? ValueOrDefault<T, E>(this IMaybe<T, E> maybe) where E : Error
return default; {
return predicate(maybe.Value); if (maybe.HasError)
} return default;
return 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) public static R As<R, T, E>(this IMaybe<T, E> maybe, Func<T, R> predicate) where E : Error
return defaultValue; {
return predicate(maybe.Value); 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);
}
}

422
MaybeError/ValueMaybe.cs
View File

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

56
MaybeErrorTests/MaybeErrorTests.csproj
View File

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

270
MaybeErrorTests/MaybeTests.cs
View File

@@ -1,118 +1,154 @@
using MaybeError; using MaybeError;
using MaybeError.Errors; using MaybeError.Errors;
namespace MaybeErrorTests; namespace MaybeErrorTests;
public class MaybeTests public class MaybeTests
{ {
[Test] [Test]
public void HasValue() public void HasValue()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
if (value.HasValue) if (value.HasValue)
Assert.That(value.Value, Is.EqualTo("Test")); Assert.That(value.Value, Is.EqualTo("Test"));
else else
Assert.Fail(); Assert.Fail();
Assert.That(value.Error, Is.Null); Assert.That(value.Error, Is.Null);
} }
[Test] [Test]
public void HasError() public void HasError()
{ {
Maybe<string> value = new InvalidOperationException(); Maybe<string> value = new InvalidOperationException();
if (value.HasError) if (value.HasError)
Assert.That(value.Error, Is.Not.Null); Assert.That(value.Error, Is.Not.Null);
else else
Assert.Fail(); Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToLower()); Assert.Throws<InvalidOperationException>(() => value.Value.ToLower());
} }
[Test] [Test]
public void ImplicitValue() public void ImplicitValue()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.Multiple(() => Assert.Multiple(() =>
{ {
Assert.That(value.HasValue); Assert.That(value.HasValue);
Assert.That(value == "Test", Is.True); Assert.That(value == "Test", Is.True);
}); });
} }
[Test] [Test]
public void ImplicitError() public void ImplicitError()
{ {
Maybe<string> value = new InvalidOperationException(); Maybe<string> value = new InvalidOperationException();
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString()); Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
} }
[Test] [Test]
public void ExplicitError() public void ExplicitError()
{ {
Maybe<string, ExceptionError> value = new ExceptionError(new InvalidOperationException()); Maybe<string, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString()); Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
} }
[Test] [Test]
public void Error() public void Error()
{ {
Maybe<string> value = new Error("Test Error"); Maybe<string> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToLower()); Assert.Throws<Exception>(() => value.Value.ToLower());
Assert.Multiple(() => Assert.Multiple(() =>
{ {
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
}); });
} }
[Test] [Test]
public void ValueOrDefault() public void ValueOrDefault()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault(), Is.EqualTo("Test")); Assert.That(value.ValueOrDefault(), Is.EqualTo("Test"));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null); Assert.That(value.ValueOrDefault(), Is.Null);
} }
[Test] [Test]
public void ValueOrDefaultWithDefault() public void ValueOrDefaultWithDefault()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Test")); Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Test"));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Err")); Assert.That(value.ValueOrDefault("Err"), Is.EqualTo("Err"));
} }
[Test] [Test]
public void As() public void As()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.That(value.As(v => v.Length), Is.EqualTo(4)); Assert.That(value.As(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.Length)); Assert.Throws<InvalidOperationException>(() => value.As(v => v.Length));
} }
[Test] [Test]
public void AsOrDefault() public void AsOrDefault()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(4)); Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(4));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(0)); Assert.That(value.AsOrDefault(v => v.Length), Is.EqualTo(0));
} }
[Test] [Test]
public void AsOrDefaultWithValue() public void AsOrDefaultWithValue()
{ {
Maybe<string> value = "Test"; Maybe<string> value = "Test";
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(4)); Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(4));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.Length, -4), Is.EqualTo(-4)); 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"));
}
} }

270
MaybeErrorTests/ValueMaybeTests.cs
View File

@@ -1,118 +1,154 @@
using MaybeError; using MaybeError;
using MaybeError.Errors; using MaybeError.Errors;
namespace MaybeErrorTests; namespace MaybeErrorTests;
public class ValueMaybeTests public class ValueMaybeTests
{ {
[Test] [Test]
public void HasValue() public void HasValue()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
if(value.HasValue) if(value.HasValue)
Assert.That(value.Value, Is.EqualTo(1)); Assert.That(value.Value, Is.EqualTo(1));
else else
Assert.Fail(); Assert.Fail();
Assert.That(value.Error, Is.Null); Assert.That(value.Error, Is.Null);
} }
[Test] [Test]
public void HasError() public void HasError()
{ {
ValueMaybe<int> value = new InvalidOperationException(); ValueMaybe<int> value = new InvalidOperationException();
if (value.HasError) if (value.HasError)
Assert.That(value.Error, Is.Not.Null); Assert.That(value.Error, Is.Not.Null);
else else
Assert.Fail(); Assert.Fail();
Assert.Throws<InvalidOperationException>(() => value.Value.ToString()); Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
} }
[Test] [Test]
public void ImplicitValue() public void ImplicitValue()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.Multiple(() => Assert.Multiple(() =>
{ {
Assert.That(value.HasValue); Assert.That(value.HasValue);
Assert.That(value == 1, Is.True); Assert.That(value == 1, Is.True);
}); });
} }
[Test] [Test]
public void ImplicitError() public void ImplicitError()
{ {
ValueMaybe<int> value = new InvalidOperationException(); ValueMaybe<int> value = new InvalidOperationException();
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString()); Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
} }
[Test] [Test]
public void ExplicitError() public void ExplicitError()
{ {
ValueMaybe<int, ExceptionError> value = new ExceptionError(new InvalidOperationException()); ValueMaybe<int, ExceptionError> value = new ExceptionError(new InvalidOperationException());
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.Throws<InvalidOperationException>(() => value.Value.ToString()); Assert.Throws<InvalidOperationException>(() => value.Value.ToString());
} }
[Test] [Test]
public void Error() public void Error()
{ {
ValueMaybe<int> value = new Error("Test Error"); ValueMaybe<int> value = new Error("Test Error");
Assert.Throws<Exception>(() => value.Value.ToString()); Assert.Throws<Exception>(() => value.Value.ToString());
Assert.Multiple(() => Assert.Multiple(() =>
{ {
Assert.That(value.HasError); Assert.That(value.HasError);
Assert.That(value.Error?.Message, Is.EqualTo("Test Error")); Assert.That(value.Error?.Message, Is.EqualTo("Test Error"));
}); });
} }
[Test] [Test]
public void ValueOrDefault() public void ValueOrDefault()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(), Is.EqualTo(1)); Assert.That(value.ValueOrDefault(), Is.EqualTo(1));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(), Is.Null); Assert.That(value.ValueOrDefault(), Is.Null);
} }
[Test] [Test]
public void ValueOrDefaultWithDefault() public void ValueOrDefaultWithDefault()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.That(value.ValueOrDefault(3), Is.EqualTo(1)); Assert.That(value.ValueOrDefault(3), Is.EqualTo(1));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.ValueOrDefault(3), Is.EqualTo(3)); Assert.That(value.ValueOrDefault(3), Is.EqualTo(3));
} }
[Test] [Test]
public void As() public void As()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.That(value.As(v => v.ToString()), Is.EqualTo("1")); Assert.That(value.As(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.Throws<InvalidOperationException>(() => value.As(v => v.ToString())); Assert.Throws<InvalidOperationException>(() => value.As(v => v.ToString()));
} }
[Test] [Test]
public void AsOrDefault() public void AsOrDefault()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString()), Is.EqualTo("1")); Assert.That(value.AsOrDefault(v => v.ToString()), Is.EqualTo("1"));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString()), Is.Null); Assert.That(value.AsOrDefault(v => v.ToString()), Is.Null);
} }
[Test] [Test]
public void AsOrDefaultWithValue() public void AsOrDefaultWithValue()
{ {
ValueMaybe<int> value = 1; ValueMaybe<int> value = 1;
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("1")); Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("1"));
value = new InvalidOperationException(); value = new InvalidOperationException();
Assert.That(value.AsOrDefault(v => v.ToString(), "err"), Is.EqualTo("err")); 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"));
}
} }

4
README.md
View File

@@ -1,2 +1,2 @@
# MaybeError # MaybeError
A simple library to allow "error as values" functionallity in C# A simple library to allow "error as values" functionallity in C#