Packages

do

1.10.0
2.0.2 1.10.3 1.10.2 1.10.1 1.10.0 1.9.2 1.9.1 1.9.0 1.8.1 1.8.0 1.7.1 1.7.0 1.6.0 1.5.0 1.4.1 1.4.0 1.2.2 1.2.0 1.1.2 1.1.1 1.1.0 1.0.2

Monads, Functors and Do-Notation for Erlang

HexDocs

Current section

Files

Jump to
Readme
22 Versions
0 Dependencies
Dependants
Files
Activity
do src classes do_foldable.erl
Raw

src/classes/do_foldable.erl 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%% @doc The Foldable Type Class.

%%% @end

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



%%%_* Module declaration ======================================================

-module(do_foldable).



%%%_* Exports =================================================================

-define(API, [foldr/3]).

-export(?API).

-ignore_xref(?API).



%%%_* Includes ================================================================

-include("do_types.hrl").

-include("do_internal.hrl").



%%%_* Callbacks ===============================================================

-callback fold_map(fn(A, monoid()), foldable(A)) -> monoid().

-callback foldr(fn(A, B, B), B, foldable(A)) -> B.



-optional_callbacks([fold_map/2]).



%%%_* Code ====================================================================

%%%_* API ---------------------------------------------------------------------

-spec foldr(fn(A, B, B), B, foldable(A)) -> B.

foldr(F, B, Foldable) -> ?Mod(Foldable):foldr(F, B, Foldable).