commit | e838e4d6714ec5f861a91dbffc0e0911a4156f65 | [log] [tgz] |
---|---|---|
author | gwenn <gtreguier@gmail.com> | Sun Aug 26 12:06:49 2018 +0200 |
committer | GitHub <noreply@github.com> | Sun Aug 26 12:06:49 2018 +0200 |
tree | dc1997472d1f45c234a880f62cc38d4dbf353789 | |
parent | 98080d10b68c518014d3329776807c80e0cc4cbd [diff] | |
parent | 47fc6e4ab9990047dfbfdfc422262ae59bb42bfe [diff] |
Merge pull request #133 from robalni/get_helper Add a way to get the helper
diff --git a/src/lib.rs b/src/lib.rs index 6c39388..6c61a05 100644 --- a/src/lib.rs +++ b/src/lib.rs
@@ -770,6 +770,11 @@ self.helper = helper; } + /// Return a mutable reference to the helper. + pub fn helper_mut(&mut self) -> Option<&mut H> { + self.helper.as_mut() + } + /// Return an immutable reference to the helper. pub fn helper(&self) -> Option<&H> { self.helper.as_ref()