Thread overview
Function "any" doesn't work
Dec 29, 2019
Andrey
Dec 29, 2019
Eugene Wissner
Dec 29, 2019
Eugene Wissner
December 29, 2019
Hello.
Example from documentation doesn't work:
> import std;
> void main()
> {
>     assert( all!(any!isWhite)(["a a", "b b"]));
> }

Got:
onlineapp.d(4): Error: template std.algorithm.searching.any!(all).any cannot deduce function from argument types !()(string[]), candidates are:
/dlang/dmd/linux/bin64/../../src/phobos/std/algorithm/searching.d(170):        any(Range)(Range range)
  with Range = string[]
  must satisfy the following constraint:
       is(typeof(unaryFun!pred(range.front)))
December 29, 2019
On Sunday, 29 December 2019 at 19:46:59 UTC, Andrey wrote:
> Hello.
> Example from documentation doesn't work:
>> import std;
>> void main()
>> {
>>     assert( all!(any!isWhite)(["a a", "b b"]));
>> }
>
> Got:
> onlineapp.d(4): Error: template std.algorithm.searching.any!(all).any cannot deduce function from argument types !()(string[]), candidates are:
> /dlang/dmd/linux/bin64/../../src/phobos/std/algorithm/searching.d(170):        any(Range)(Range range)
>   with Range = string[]
>   must satisfy the following constraint:
>        is(typeof(unaryFun!pred(range.front)))

std breaks something.

import std.algorithm.searching;
import std.ascii;

void main()
{
    assert( all!(any!isWhite)(["a a", "b b"]));
}

works with v2.089.0
December 29, 2019
On Sunday, 29 December 2019 at 19:46:59 UTC, Andrey wrote:
> Hello.
> Example from documentation doesn't work:
>> import std;
>> void main()
>> {
>>     assert( all!(any!isWhite)(["a a", "b b"]));
>> }
>
> Got:
> onlineapp.d(4): Error: template std.algorithm.searching.any!(all).any cannot deduce function from argument types !()(string[]), candidates are:
> /dlang/dmd/linux/bin64/../../src/phobos/std/algorithm/searching.d(170):        any(Range)(Range range)
>   with Range = string[]
>   must satisfy the following constraint:
>        is(typeof(unaryFun!pred(range.front)))

std.ascii doesn't get along well with std.uni, both define isWhite.