Skip to content

Commit 2fee25b

Browse files
ZigaSajovicZigaSajovic
committed
f::
1 parent 409603d commit 2fee25b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

71 files changed

+259
-259
lines changed

Diff for: ‎docs/reference/Algorithm/AllOf.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::AllOf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::AllOf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<T, ml::Bool<false>);
3535

36-
using T1 = ml::Invoke<
37-
ml::AllOf<
38-
ml::IsClass<>,
39-
ml::Not<>>,
40-
int, char, std::string>;
36+
using T1 = ml::f<
37+
ml::AllOf<
38+
ml::IsClass<>,
39+
ml::Not<>>,
40+
int, char, std::string>;
4141
static_assert(
4242
std::is_same_v<T, ml::Bool<true>);
4343
```

Diff for: ‎docs/reference/Algorithm/AnyOf.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@ f: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::AnyOf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::AnyOf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<T, ml::Bool<true>);
3535

36-
using T1 = ml::Invoke<
37-
ml::AnyOf<
38-
ml::IsClass<>,
39-
ml::Not<>>,
40-
int, char, std::string>;
36+
using T1 = ml::f<
37+
ml::AnyOf<
38+
ml::IsClass<>,
39+
ml::Not<>>,
40+
int, char, std::string>;
4141
static_assert(
4242
std::is_same_v<T, ml::Bool<false>);
4343
```

Diff for: ‎docs/reference/Algorithm/Contains.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -20,17 +20,17 @@ f:: Ts... -> ml::Bool<truth_value> >-> Pipe
2020
### Example
2121

2222
```c++
23-
using T0 = ml::Invoke<
24-
ml::Contains<int>,
25-
int, char, std::string>;
23+
using T0 = ml::f<
24+
ml::Contains<int>,
25+
int, char, std::string>;
2626
static_assert(
2727
std::is_same_v<T, ml::Bool<true>);
2828

29-
using T1 = ml::Invoke<
30-
ml::Contains<
31-
int,
32-
ml::Not<>>,
33-
int, char, std::string>;
29+
using T1 = ml::f<
30+
ml::Contains<
31+
int,
32+
ml::Not<>>,
33+
int, char, std::string>;
3434
static_assert(
3535
std::is_same_v<T, ml::Bool<false>);
3636
```

Diff for: ‎docs/reference/Algorithm/CountIf.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::CountIf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::CountIf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<T, ml::Int<1>);
3535

36-
using T1 = ml::Invoke<
37-
ml::CountIf<
38-
ml::IsClass<>,
39-
ml::Increment<>>,
40-
int, char, std::string>;
36+
using T1 = ml::f<
37+
ml::CountIf<
38+
ml::IsClass<>,
39+
ml::Increment<>>,
40+
int, char, std::string>;
4141
static_assert(
4242
std::is_same_v<T, ml::Int<2>);
4343
```

Diff for: ‎docs/reference/Algorithm/Filter.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,18 +27,18 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::Filter<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::Filter<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T,
3636
ml::ListT<std::string>>);
3737

38-
using T1 = ml::Invoke<
39-
ml::Filter<
40-
ml::IsClass<ml::Not<>>>,
41-
int, char, std::string>;
38+
using T1 = ml::f<
39+
ml::Filter<
40+
ml::IsClass<ml::Not<>>>,
41+
int, char, std::string>;
4242
static_assert(
4343
std::is_same_v<
4444
T,

Diff for: ‎docs/reference/Algorithm/FilterIds.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,18 +27,18 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::FilterIds<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::FilterIds<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T,
3636
ml::ListT<ml::Int<2>>>);
3737

38-
using T1 = ml::Invoke<
39-
ml::FilterIds<
40-
ml::IsClass<ml::Not<>>>,
41-
int, char, std::string>;
38+
using T1 = ml::f<
39+
ml::FilterIds<
40+
ml::IsClass<ml::Not<>>>,
41+
int, char, std::string>;
4242
static_assert(
4343
std::is_same_v<
4444
T,

Diff for: ‎docs/reference/Algorithm/FindIf.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::FindIf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::FindIf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T, ml::Int<2>>);
3636

37-
using T1 = ml::Invoke<
38-
ml::FindIf<
39-
ml::IsClass<ml::Not<>>>,
40-
int, char, std::string>;
37+
using T1 = ml::f<
38+
ml::FindIf<
39+
ml::IsClass<ml::Not<>>>,
40+
int, char, std::string>;
4141
static_assert(
4242
std::is_same_v<
4343
T, ml::Int<0>>);

Diff for: ‎docs/reference/Algorithm/FindIfNot.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,17 +27,17 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::FindIfNot<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::FindIfNot<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T, ml::Int<0>>);
3636

37-
using T1 = ml::Invoke<
38-
ml::FindIfNot<
39-
ml::IsClass<ml::Not<>>>,
40-
int, char, std::string>;
37+
using T1 = ml::f<
38+
ml::FindIfNot<
39+
ml::IsClass<ml::Not<>>>,
40+
int, char, std::string>;
4141
static_assert(
4242
std::is_same_v<
4343
T, ml::Int<2>>);

Diff for: ‎docs/reference/Algorithm/GroupBy.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -27,9 +27,9 @@ f:: T -> U
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::GroupBy<ml::AlignmentOf<>>,
32-
int, char, float, bool, double>;
30+
using T0 = ml::f<
31+
ml::GroupBy<ml::AlignmentOf<>>,
32+
int, char, float, bool, double>;
3333
static_assert(
3434
std::is_same_v<
3535
T,

Diff for: ‎docs/reference/Algorithm/GroupIdsBy.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -27,9 +27,9 @@ f:: T -> U
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::GroupIdsBy<ml::AlignmentOf<>>,
32-
int, char, float, bool, double>;
30+
using T0 = ml::f<
31+
ml::GroupIdsBy<ml::AlignmentOf<>>,
32+
int, char, float, bool, double>;
3333
static_assert(
3434
std::is_same_v<
3535
T,

Diff for: ‎docs/reference/Algorithm/MaxElement.md

+6-6
Original file line numberDiff line numberDiff line change
@@ -27,12 +27,12 @@ f:: (T, U) -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::MaxElement<
32-
ml::Map<
33-
ml::AligmentOf<>,
34-
ml::Greater<>>>,
35-
int, double, char>;
30+
using T0 = ml::f<
31+
ml::MaxElement<
32+
ml::Map<
33+
ml::AligmentOf<>,
34+
ml::Greater<>>>,
35+
int, double, char>;
3636
static_assert(
3737
std::is_same_v<
3838
T, double>);

Diff for: ‎docs/reference/Algorithm/NoneOf.md

+8-8
Original file line numberDiff line numberDiff line change
@@ -28,17 +28,17 @@ f:: T -> ml::Bool<truth_value>
2828
### Example
2929

3030
```c++
31-
using T0 = ml::Invoke<
32-
ml::NoneOf<ml::IsClass<>>,
33-
int, char, std::string>;
31+
using T0 = ml::f<
32+
ml::NoneOf<ml::IsClass<>>,
33+
int, char, std::string>;
3434
static_assert(
3535
std::is_same_v<T, ml::Bool<false>);
3636

37-
using T1 = ml::Invoke<
38-
ml::NoneOf<
39-
ml::IsClass<>,
40-
ml::Not<>>,
41-
int, char, std::string>;
37+
using T1 = ml::f<
38+
ml::NoneOf<
39+
ml::IsClass<>,
40+
ml::Not<>>,
41+
int, char, std::string>;
4242
static_assert(
4343
std::is_same_v<T, ml::Bool<true>);
4444
```

Diff for: ‎docs/reference/Algorithm/Partition.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ f:: T -> U
1919

2020
We partition a parameter pack, to those whose alignment is greater than 4, and those whose it is not.
2121
```c++
22-
using T = ml::Invoke<
22+
using T = ml::f<
2323
ml::Partition<
2424
ml::AligmentOf<
2525
ml::PartialRR<

Diff for: ‎docs/reference/Algorithm/PartitionIds.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ f:: T -> U
1919

2020
We partition indexes a parameter pack, to those whose alignment is greater than 4, and those whose it is not.
2121
```c++
22-
using T = ml::Invoke<
22+
using T = ml::f<
2323
ml::PartitionIds<
2424
ml::AligmentOf<
2525
ml::PartialRR<

Diff for: ‎docs/reference/Algorithm/Pivot.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,9 @@ f:: First ... N-th ... Last -> N-th ... Last, First .... >-> Pipe
2121
### Example
2222

2323
```c++
24-
using T = ml::Invoke<
25-
ml::Pivot<2>,
26-
ml::Int<0>, ml::Int<1>, ml::Int<2>, ml::Int<3>>;
24+
using T = ml::f<
25+
ml::Pivot<2>,
26+
ml::Int<0>, ml::Int<1>, ml::Int<2>, ml::Int<3>>;
2727
static_assert(
2828
std::is_same_v<
2929
T,

Diff for: ‎docs/reference/Algorithm/Reduce.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ f:: Init, T -> Init'
2828
We implement [`ml::CountIf`](./CountIf.md)[`<ml::IsClass>`](../TypeTraits/IsClass.md) using `Reduce`.
2929

3030
```c++
31-
using T = ml::Invoke<
31+
using T = ml::f<
3232
ml::Reduce<
3333
ml::ProductMap< // Construct binary function F:
3434
ml::Identity, // Map first element (Init in F) by identity

Diff for: ‎docs/reference/Algorithm/RemoveIdsIf.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,18 +27,18 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::RemoveIdsIf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::RemoveIdsIf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T,
3636
ml::ListT<ml::Int<0>, ml::Int<1>>>);
3737

38-
using T1 = ml::Invoke<
39-
ml::RemoveIdsIf<
40-
ml::IsClass<ml::Not<>>>,
41-
int, char, std::string>;
38+
using T1 = ml::f<
39+
ml::RemoveIdsIf<
40+
ml::IsClass<ml::Not<>>>,
41+
int, char, std::string>;
4242
static_assert(
4343
std::is_same_v<
4444
T,

Diff for: ‎docs/reference/Algorithm/RemoveIf.md

+7-7
Original file line numberDiff line numberDiff line change
@@ -27,18 +27,18 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T0 = ml::Invoke<
31-
ml::RemoveIf<ml::IsClass<>>,
32-
int, char, std::string>;
30+
using T0 = ml::f<
31+
ml::RemoveIf<ml::IsClass<>>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T,
3636
ml::ListT<int, char>>);
3737

38-
using T1 = ml::Invoke<
39-
ml::RemoveIf<
40-
ml::IsClass<ml::Not<>>>,
41-
int, char, std::string>;
38+
using T1 = ml::f<
39+
ml::RemoveIf<
40+
ml::IsClass<ml::Not<>>>,
41+
int, char, std::string>;
4242
static_assert(
4343
std::is_same_v<
4444
T,

Diff for: ‎docs/reference/Algorithm/ReplaceIf.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -27,9 +27,9 @@ f:: T -> ml::Bool<truth_value>
2727
### Example
2828

2929
```c++
30-
using T = ml::Invoke<
31-
ml::ReplaceIf<ml::IsClass<>, double>,
32-
int, char, std::string>;
30+
using T = ml::f<
31+
ml::ReplaceIf<ml::IsClass<>, double>,
32+
int, char, std::string>;
3333
static_assert(
3434
std::is_same_v<
3535
T,

Diff for: ‎docs/reference/Algorithm/Rotate.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,9 @@ f:: First ... Middle ... Last -> Middle ... Last, First .... >-> Pipe
2121
### Example
2222

2323
```c++
24-
using T = ml::Invoke<
25-
ml::Rotate<1, 3, 4>,
26-
ml::Int<0>, ml::Int<1>, ml::Int<2>, ml::Int<3>>;
24+
using T = ml::f<
25+
ml::Rotate<1, 3, 4>,
26+
ml::Int<0>, ml::Int<1>, ml::Int<2>, ml::Int<3>>;
2727
static_assert(
2828
std::is_same_v<
2929
T,

0 commit comments

Comments
 (0)