IotaLambda.Intersection 0.6.49

Intersection types for C#!

Installation

Install IotaLambda.Intersection to each project containing IntersectionTypes. This will make a source generator to be executed for those types.

Install-Package IotaLambda.Intersection

In a nutshell

Consider the following model:

interface IPokemon
{
    string GetNickName();
    void GetHp();
    void TakeDamage(int damage);
}

interface IFireType
{
    void AttackWithFlamethrower(IPokemon enemy);
}

interface IFlyingType
{
    void FlyTo(string city);
}

class Charizard : IPokemon, IFireType, IFlyingType
{
    int hp = 120;
    string location = "Cerulean City";

    public string GetNickName() => "Lizardon";
    public void GetHp() => hp;
    public void TakeDamage(int damage) => hp -= damage;
    public void AttackWithFlamethrower(IPokemon enemy) => enemy.TakeDamage(50);
    public void FlyTo(string city) => location = city;
}

You can create intersection types such as:

[IntersectionType]
readonly struct SFirePokemon : IPokemon, IFireType; // S as in Shape

[IntersectionType]
readonly struct SFlyingPokemon : IPokemon, IFlyingType;

and use them as types as usual without having to colour your codebase with generic constraints like where TPokemon : IPokemon, IFlyingType:

var ash = new Ash();
var charizard = new Charizard();
ash.FlyWithPokemon(charizard, "Lavender Town");

public class Ash
{
    public bool FlyWithAPokemon(SFlyingPokemon pokemon, string city)
    {
        if (pokemon.GetHp() <= 0)
            return false;

        pokemon.FlyTo(city);
        return true;
    }
}