Document metafunction and metafunctionclass

boostorg · Oct 20, 2015 · b96642a · b96642a
1 parent 1608a8f
commit b96642a
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 2 deletions.
diff --git a/doc/src/concepts.md b/doc/src/concepts.md
@@ -111,3 +111,31 @@ Given
 |--------------|--------------------------|
 | `f(args...)` | performs a function call |
 
+Metafunction
+------------
+
+Given
+
+* `f`, a metafunction
+* `args...`, any suitable type, which may be empty
+
+| Expression               | Requirements                               |
+|--------------------------|--------------------------------------------|
+| `f::type`                | The type is the result of the metafunction |
+| `f<args...>::type`       | The type is the result of the metafunction |
+
+MetafunctionClass
+-----------------
+
+Given
+
+* `f`, is a metafunction class
+* `args...`, any suitable type, which may be empty
+
+| Expression                | Requirements                               |
+|---------------------------|--------------------------------------------|
+| `f::apply::type`          | The type is the result of the metafunction |
+| `f::apply<args...>::type` | The type is the result of the metafunction |
+
+
+
diff --git a/fit/construct.h b/fit/construct.h
@@ -15,8 +15,9 @@
 /// -----------
 /// 
 /// The `construct` function returns a function object that will construct the
-/// object when the called. A template can also be givien, which it will
-/// deduce the parameters to the template.
+/// object when the called. A template can also be givien, which it will deduce
+/// the parameters to the template. The `construct_meta` can be used to
+/// construct the object from a metafunction.
 /// 
 /// Synopsis
 /// --------