Add semantics for lazy and protect for issue #89

include/fit/lazy.hpp

@@ -31,6 +31,14 @@
 ///     template<class F>
 ///     constexpr lazy_adaptor<F> lazy(F f);
 /// 
+/// Semantics
+/// ---------
+/// 
+///     assert(lazy(f)(xs...) == std::bind(f, xs...))
+///     assert(lazy(f)(xs...)() == f(xs...))
+///     assert(lazy(f)(_1)(x) == f(x))
+///     assert(lazy(f)(lazy(g)(_1))(x) == f(g(x)))
+/// 
 /// Requirements
 /// ------------
 /// 
@@ -52,6 +60,11 @@
 ///         assert(increment(5) == 6);
 ///     }
 /// 
+/// References
+/// ----------
+/// 
+/// * [std::bind](http://en.cppreference.com/w/cpp/utility/functional/bind)
+/// 
 
 #include <fit/arg.hpp>
 #include <fit/conditional.hpp>

include/fit/protect.hpp

@@ -27,6 +27,11 @@
 ///     template<class F>
 ///     constexpr protect_adaptor<F> protect(F f);
 /// 
+/// Semantics
+/// ---------
+/// 
+///     assert(lazy(f)(protect(lazy(g)(_1)))() == f(lazy(g)(_1)))
+/// 
 /// Requirements
 /// ------------
 ///