diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2017-10-06 17:25:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-06 17:25:41 +0200 |
commit | 94dd4b0f85e74f56356f6fe075d7f0db845b382b (patch) | |
tree | 9fe8b2cef73d991886440d40a885550f2f074ce7 /src/ops/mod.rs | |
parent | 3d99f7879186c6be4c4b1ef86d02113bf6685e8b (diff) | |
parent | 453f17fcdd728c7024f00d4fa618596451a6c283 (diff) |
Merge pull request #20 from matthiasbeyer/failable-filter
Failable filter
Diffstat (limited to 'src/ops/mod.rs')
-rw-r--r-- | src/ops/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ops/mod.rs b/src/ops/mod.rs index d152cce..3964f88 100644 --- a/src/ops/mod.rs +++ b/src/ops/mod.rs @@ -9,3 +9,5 @@ pub mod bool; pub mod not; pub mod or; pub mod xor; +pub mod map; +pub mod failable; |