louthy

using System.Numerics;
using LanguageExt;
using LanguageExt.Common;
using LanguageExt.Traits;
using static LanguageExt.Prelude;

namespace ValidationExamples;


// Credit card number

louthy

module Validation =
    open LanguageExt

    let successValue (ma : Validation<'f, 'a>) : 'a =
        ma.IfFail(fun () -> failwith "Validation monad is in a Fail state")
        
    let apply (mf : Validation<'f, 'a -> 'b>) (ma : Validation<'f, 'a>) : Validation<'f, 'b> =
        mf.Disjunction(ma)
          .Map(fun _ -> (successValue mf) (successValue ma))
    

louthy

string? name = "Paul";
string? noName = null;

// Only says hello if not null
var helloName   = name.Map(n => $"Hello, {name}");    // "Hello, Paul"
var noHelloName = noName.Map(n => $"Hello, {name}");  // null

// Nullable strings ...
string? sx = "Hello";
string? sy = "World";

louthy

using System;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args)
        {
            var xs = new[] {"one", " ", "two", " ", "three"};
            var ys = new[] {1, 2, 3};

louthy

using System;
using LanguageExt;
using static LanguageExt.Prelude;

namespace RiderCandidates
{
    class Program
    {
        static void Main(string[] args)
        {

louthy

using System;
using System.Diagnostics.Contracts;
using System.Runtime.CompilerServices;
using System.Runtime.ExceptionServices;
using LanguageExt.Common;
using LanguageExt.DataTypes.Serialisation;
using static LanguageExt.Prelude;

namespace LanguageExt
{

louthy

using Echo;
using LanguageExt;
using static LanguageExt.Prelude;
using static Echo.Process;
using System;

namespace StackOverflow2
{
    class Program
    {

louthy

using System;
using LanguageExt;
using static LanguageExt.Prelude;

namespace StackOverflow1
{
    class Program
    {
        static void Main(string[] args)
        {

louthy

using System;
using LanguageExt;
using LanguageExt.TypeClasses;
using System.Diagnostics.Contracts;

namespace Defunctionalisation
{
    class Program
    {
        static void Main(string[] args)

louthy

    [System.Serializable]
    public sealed class Pure<T> : FreeIO<T>, System.IEquatable<Pure<T>>, System.IComparable<Pure<T>>, System.IComparable
    {
        public readonly T Value;
        public Pure(T Value)
        {
            this.Value = Value;
        }

        public static Pure<T> New(T Value) => new Pure<T>(Value);