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

Type refinements #162

Closed
wants to merge 20 commits into from
Closed

Type refinements #162

Show file tree
Hide file tree
Changes from 16 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
50e9164
Add parent type argument to NullaryType
Avaq Jun 26, 2017
e983ea2
Reorder types based on new ordering scheme
Avaq Jun 27, 2017
c5f1130
Add refinement support to UnaryType constructor
Avaq Jun 27, 2017
90b7aa3
Add refinement support to BinaryType constructor
Avaq Jun 29, 2017
fa55a10
Remove no longer necessary null-check
Avaq Jun 29, 2017
75a55dd
Incorporate PR feedback
Avaq Jun 29, 2017
aada3db
Add refinement support to RecordType constructor
Avaq Jun 30, 2017
96d562c
Document how to use record type refinement
Avaq Jun 30, 2017
7b0ac2c
Incorporate PR feedback
Avaq Jun 30, 2017
6d6960b
:warning: Change env from Array Any to Array Type
Avaq Jun 30, 2017
02ea18c
Rephrase the documentation using "one" over "we"
Avaq Jun 30, 2017
017a376
Add assertions for record extension
Avaq Jun 30, 2017
1ae62f4
Aleviate minor complaints about documentation
Avaq Jul 5, 2017
4b90668
In-line Options record definition with create definition
Avaq Jul 5, 2017
9708db1
Add Strict type constructor
Avaq Jul 5, 2017
cc92cd2
Rephrase documentation on additional record fields
Avaq Jul 5, 2017
2fce7d9
Incorporate PR feedback
Avaq Jul 5, 2017
f1da1c4
Take all enumerable properties into account for strict record types
Avaq Jul 5, 2017
e08290c
Let record and strict types acknowledge all enumerable properties
Avaq Jul 10, 2017
7b57bc0
WIP: Level Strict and NonEmpty in terms of approach
Avaq Jul 10, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading