Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type refinements #162

Closed
wants to merge 20 commits into from
Closed

Type refinements #162

wants to merge 20 commits into from

Commits on Jun 26, 2017

  1. Add parent type argument to NullaryType

    @Avaq
    Avaq committed Jun 26, 2017
    Configuration menu
    Copy the full SHA
    50e9164 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2017

  1. Reorder types based on new ordering scheme 

    The sheme has been discussed in #162
    @Avaq
    Avaq committed Jun 27, 2017
    Configuration menu
    Copy the full SHA
    e983ea2 View commit details
    Browse the repository at this point in the history

  2. Add refinement support to UnaryType constructor

    @Avaq
    Avaq committed Jun 27, 2017
    Configuration menu
    Copy the full SHA
    c5f1130 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2017

  1. Add refinement support to BinaryType constructor

    @Avaq
    Avaq committed Jun 29, 2017
    Configuration menu
    Copy the full SHA
    90b7aa3 View commit details
    Browse the repository at this point in the history

  2. Remove no longer necessary null-check

    @Avaq
    Avaq committed Jun 29, 2017
    Configuration menu
    Copy the full SHA
    fa55a10 View commit details
    Browse the repository at this point in the history

  3. Incorporate PR feedback

    @Avaq
    Avaq committed Jun 29, 2017
    Configuration menu
    Copy the full SHA
    75a55dd View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2017

  1. Add refinement support to RecordType constructor 

    Fixes #141
    @Avaq
    Avaq committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    aada3db View commit details
    Browse the repository at this point in the history

  2. Document how to use record type refinement

    @Avaq
    Avaq committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    96d562c View commit details
    Browse the repository at this point in the history

  3. Incorporate PR feedback

    @Avaq
    Avaq committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    7b0ac2c View commit details
    Browse the repository at this point in the history

  4. ⚠️ Change env from Array Any to Array Type

    @Avaq
    Avaq committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    6d6960b View commit details
    Browse the repository at this point in the history

  5. Rephrase the documentation using "one" over "we"

    @Avaq
    Avaq committed Jun 30, 2017
    Configuration menu
    Copy the full SHA
    02ea18c View commit details
    Browse the repository at this point in the history

  6. Add assertions for record extension

    @Avaq
    Avaq committed Jun 30, 2017
    1 Configuration menu
    Copy the full SHA
    017a376 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2017

  1. Aleviate minor complaints about documentation

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    1ae62f4 View commit details
    Browse the repository at this point in the history

  2. In-line Options record definition with create definition

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    4b90668 View commit details
    Browse the repository at this point in the history

  3. Add Strict type constructor

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    9708db1 View commit details
    Browse the repository at this point in the history

  4. Rephrase documentation on additional record fields

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    cc92cd2 View commit details
    Browse the repository at this point in the history

  5. Incorporate PR feedback

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    2fce7d9 View commit details
    Browse the repository at this point in the history

  6. Take all enumerable properties into account for strict record types

    @Avaq
    Avaq committed Jul 5, 2017
    Configuration menu
    Copy the full SHA
    f1da1c4 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2017

  1. Let record and strict types acknowledge all enumerable properties

    @Avaq
    Avaq committed Jul 10, 2017
    Configuration menu
    Copy the full SHA
    e08290c View commit details
    Browse the repository at this point in the history

  2. WIP: Level Strict and NonEmpty in terms of approach

    @Avaq
    Avaq committed Jul 10, 2017
    Configuration menu
    Copy the full SHA
    7b57bc0 View commit details
    Browse the repository at this point in the history