Packages

ask

0.2.0
0.2.0 0.1.1 0.1.0

Functional utilities for building custom predicates, orderings, and equivalences

HexDocs

Current section

Files

Jump to
Readme
3 Versions
1 Dependency
Dependants
Files
Activity
ask src ask@predicate.erl
Raw

src/ask@predicate.erl 

-module(ask@predicate).

-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).



-export([always/0, never/0, 'and'/2, 'or'/2, negate/1, every/1, some/1, all/1, any/1, map_input/2]).



-spec always() -> fun((any()) -> boolean()).

always() ->

    fun(_) -> true end.



-spec never() -> fun((any()) -> boolean()).

never() ->

    fun(_) -> false end.



-spec 'and'(fun((FPQ) -> boolean()), fun((FPQ) -> boolean())) -> fun((FPQ) -> boolean()).

'and'(First, Second) ->

    fun(Value) -> First(Value) andalso Second(Value) end.



-spec 'or'(fun((FPU) -> boolean()), fun((FPU) -> boolean())) -> fun((FPU) -> boolean()).

'or'(First, Second) ->

    fun(Value) -> First(Value) orelse Second(Value) end.



-spec negate(fun((FPY) -> boolean())) -> fun((FPY) -> boolean()).

negate(P) ->

    fun(Value) -> not P(Value) end.



-spec do_every(list(fun((FQB) -> boolean())), FQB, boolean()) -> boolean().

do_every(Ps, Value, Acc) ->

    case Ps of

        [] ->

            Acc;



        [P | Ps@1] ->

            do_every(Ps@1, Value, Acc andalso P(Value))

    end.



-spec every(list(fun((FQE) -> boolean()))) -> fun((FQE) -> boolean()).

every(Ps) ->

    fun(Value) -> do_every(Ps, Value, true) end.



-spec do_some(list(fun((FQI) -> boolean())), FQI, boolean()) -> boolean().

do_some(Ps, Value, Acc) ->

    case Ps of

        [] ->

            Acc;



        [P | Ps@1] ->

            do_some(Ps@1, Value, Acc orelse P(Value))

    end.



-spec some(list(fun((FQL) -> boolean()))) -> fun((FQL) -> boolean()).

some(Ps) ->

    fun(Value) -> do_some(Ps, Value, false) end.



-spec all(fun((FQP) -> boolean())) -> fun((list(FQP)) -> boolean()).

all(P) ->

    fun(A) -> gleam@list:all(A, P) end.



-spec any(fun((FQT) -> boolean())) -> fun((list(FQT)) -> boolean()).

any(P) ->

    fun(A) -> gleam@list:any(A, P) end.



-spec map_input(fun((FQX) -> boolean()), fun((FQZ) -> FQX)) -> fun((FQZ) -> boolean()).

map_input(P, Fun) ->

    fun(B) -> P(Fun(B)) end.