﻿using System;

namespace FsCheck.Test.CSharp
{
    public record RgbColor(byte Red, byte Green, byte Blue) { }

    public record CsRecordExample1(int I, string S, char C) { }

    public record CsRecordExample2(CsRecordExample1 Ex1, RgbColor Rgb) { }

    public record Person
    {
        public string FirstName { get; init; }
        public string LastName { get; init; }
    }

    public record PersonWithHeight : Person
    {
        public int HeightInInches { get; init; }

        public PersonWithHeight Grow(int inches) =>
          this with { HeightInInches = HeightInInches + inches };
    }
}
