Commit Graph

6 Commits

Author SHA1 Message Date
Rob Hanlon 3421ddf3c0
Intersection (&) support
dry-schema and dry-logic both support &. Adding support for & in
dry-types allows for a more expressive type system...

```
module Types
  Callable = Interface(:call)
  Procable = Interface(:to_proc)
  Function = Callable & Procable
end
```

...and greatly simplifies value coercion in dry-schema, where a custom
types merge attempts to simulate an intersection type.
2022-08-21 01:42:34 -07:00
Nikita Shilnikov 532177be6a
gitignore .vscode 2020-01-18 17:08:47 +03:00
Piotr Solnica b58ba47054
Add .rubocop.yml to git 2019-10-21 10:33:32 +02:00
Piotr Solnica 1924074c05
Remove .rubocop.yml from git [ci skip] 2019-04-23 16:35:52 +02:00
Nikita Shilnikov ea270b4859
Deprecate Types::Array#member 2017-08-26 22:44:12 +03:00
Piotr Solnica 91f7425a31 Initial commit 2015-08-23 13:14:33 +02:00