joost-morsink

<?xml version="1.0" encoding="utf-8"?>
<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <PropertyGroup>
    <BuildTimestamp>$([System.DateTime]::UtcNow.ToString("yyyyMMddHHmmss"))</BuildTimestamp>
    <BuildMachine>$([System.Environment]::MachineName)</BuildMachine>
    <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
  </PropertyGroup>
  <PropertyGroup Condition="'$(BuildType)' == ''">
    <BuildType>Dev</BuildType>
  </PropertyGroup>

joost-morsink

    public interface IConstraint<T>
    {
        bool Satisfies(T value);
    }
    public class Constrained<T, Constraint>
        where Constraint : IConstraint<T>, new()
    {
        public static bool TryCreate(T val, out Constrained<T, Constraint> result)
        {
            var c = new Constraint();

joost-morsink

{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}


module Lib
    (StringValued (getValue),
    SqlString,
    sqlEncode

joost-morsink

   public static class Option
    {
        public static Option<T> Some<T>(T item)
            => new Option<T>(item);
        public static Option<T> None<T>()
            => new Option<T>();
    }
    public struct Option<T>
    {
        private readonly T value;

joost-morsink

public struct EmailAddress
{
    private EmailAddress(string value)
    {
        Value = value;
    }
    
    public string Value { get; }
    
    public static bool TryParse(string emailAddress, out EmailAddress result)

joost-morsink

   public interface IStringValued
    {
        string Value { get; }
    }
    public struct BareString : IStringValued
    {
        public BareString(string value)
        {
            Value = value;
        }