Funicular-Switch

Funicular-Switch copied to clipboard

Proposal: Add intermediate monadic types for option and generated results e.g. OptionNone with implicite conversion to Option<T> to enhance type inference

2

C# has very limited type inference. An intermediate monadic type representation would support C#'s type inference. For instance returning a `OptionNone` from `Option.None` that will be implicitly converted to an...

Tyrrx

Reproduce: ```csharp static class Outer { [UnionType(CaseOrder = CaseOrder.AsDeclared)] public partial record InitResult { public record Sync_ : InitResult; public record OneTimeSync_(string TempRepoFolder) : InitResult; public record NoSync_() : InitResult;...

ax0l0tl

New "Chain" operator for Option

2

I am looking for an operator for the following use case: ``` csharp var result = option1.Match( some => some, none: option2.Match( some => some, none: option3.Match( some => some,...

JMarianczuk

Do not generate fluent assertion extensions for types that are not public

1

e.g. when there is ``` csharp [UnionType] internal abstract partial record SomeUnionType {} ``` then the fluent assertion extensions and assertions class should not be generated in the unit test...

JMarianczuk

Example following: ```cs string? s1 = null; Option t1 = s1; string s2 = null; Option t2 = s2; ``` It causes warning if nullable is enabled but otherwise it...

Tyrrx

Add support for generic constraints to complete the support for generic union types

park-jasper

Tyrrx

Do we need an option some type too?

Tyrrx

All out Match, Map, Bind methods should be decorated with this attribute to avoid missing the return value.

ax0l0tl

Add consolidated extensions from different projects

1

We want to move the useful extensions we currently use across different projects into FS so that we don't have to copy them all the time.

Momolem