lucasteles

using System.Diagnostics;
using System.Net;
using System.Net.Sockets;
using static System.Text.Encoding;
using static System.Console;

const int MaxUdpByteSize = 65527;

static Socket CreateSocket(int port)
{

lucasteles

module Result =
    let join x1 x2 =
        match x1, x2 with
        | Ok x1res, Ok x2res -> Ok(x1res, x2res)
        | Error e1, Error e2 -> Error(e1 @ e2)
        | Error e, _
        | _, Error e -> Error e


type ResultBuilder() =

lucasteles

ER

---
title: Order example
---
erDiagram
    CUSTOMER ||--o{ ORDER : places
    ORDER ||--|{ LINE-ITEM : contains
 CUSTOMER }|..|{ DELIVERY-ADDRESS : uses

lucasteles

public class UrlServiceResolverHandler : DelegatingHandler
{
    readonly ILogger<UrlServiceResolverHandler> logger;

    public UrlServiceResolverHandler(ILogger<UrlServiceResolverHandler> logger)
    {
        this.logger = logger;
        InnerHandler = new HttpClientHandler();
    }

lucasteles

using System.IO.Compression;
using System.Text;

interface ICompressor
{
    public const string Header = "[z]";
    Task<string> Compress(string text);
    Task<string> Decompress(string text);
}

lucasteles

using System.Globalization;
using System.Text.Json;
using System.Text.Json.Serialization;

namespace Heptapod.Models.Values;

[JsonConverter(typeof(UtcJsonConverter))]
public readonly struct DateUtc
{
    public DateUtc(DateTime dateTime) => DateTime = dateTime.ToUniversalTime();

lucasteles

public abstract record Result<TOk, TError>
{
    public sealed record Ok(TOk Value) : Result<TOk, TError>
    {
        public override TOk Default(TOk defaultValueIfError) => Value;
        public override T Match<T>(Func<TOk, T> ok, Func<TError, T> error) => ok(Value);
        public override Result<TMap, TError> Select<TMap>(Func<TOk, TMap> map) => map(Value);
        public override Result<TMap, TError> Bind<TMap>(Func<TOk, Result<TMap, TError>> bind) => bind(Value);
        public override bool IsError => false;
    }

lucasteles

using System.ComponentModel;

public static string GetDescription<T>(this T option) where T : Enum => option
        .GetType().GetMember(option.ToString())
        .SelectMany(p => p.GetCustomAttributes(typeof(DescriptionAttribute), true))
        .FirstOrDefault() is DescriptionAttribute attr
            ? attr.Description
            : option.ToString();

lucasteles

[<AutoOpen>]
module MinimalExtensions

open System
open Microsoft.AspNetCore.Builder
open Microsoft.AspNetCore.Routing

type IEndpointRouteBuilder with
    static member ParseArityOneFuncToDelegate(func: Func<'a, 'b>) : Delegate =
        match box func with

lucasteles

type TupleToObject<T extends any[]> = { [K in keyof T as Exclude<K, keyof any[]>]: T[K] }
type MapTuples<T extends any[], N extends Record<keyof TupleToObject<T>, PropertyKey>> = 
    { [K in keyof TupleToObject<T> as N[K]]: T[K] }
type IsNever<T> = [T] extends [never] ? true : false
type Numbers = [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]
type IncMap = MapTuples<Tail<Numbers>, Numbers>
type Inc<T extends number> = T extends keyof IncMap ? IncMap[T] : never
export type Reverse<T extends any[], R extends any[] = []> = { 
    return: R
    next: Reverse<Tail<T>, Cons<Head<T>, R>>