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

Custom union types #40

Merged

solnic merged 2 commits into main from custom-union-types

Jan 26, 2024

Owner

solnic commented Jan 26, 2024 •

edited

Loading

This adds support for defining custom union types, like this:

defmodule PositiveNumber do
  use Drops.Type, union([integer(), float()], gt?: 0)
end

Closes #37

solnic added 2 commits

January 26, 2024 08:02


          Add support for defining custom union types

a7dd30a


          Rename Sum=>Union

a883599

solnic merged commit 5bccce0 into main

9 checks passed

solnic deleted the custom-union-types branch

January 26, 2024 07:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet