We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
Implement type expressions as documented.
The most important types are:
T1 or T2
T or error
mayfail T
T1 and T2
number and ordered
not T
ln X:not positive is error "Log of negative"
Internally, the compiler currently generates very basic union types using the | operator.
|
Ideally, we would be able to implement all this in the library only, once the type interface (issue #11) is properly defined. For example:
type T1 or T2 is contains Value is T1.contains Value or T2.contains Value
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Implement type expressions as documented.
The most important types are:
T1 or T2, e.g. forT or error(akamayfail T)T1 and T2, mostly for traits, e.g.number and orderednot T, mostly for rules that exclude a given set of type, e.g.ln X:not positive is error "Log of negative"Internally, the compiler currently generates very basic union types using the
|operator.Ideally, we would be able to implement all this in the library only, once the type interface (issue #11) is properly defined. For example:
The text was updated successfully, but these errors were encountered: