Current section

Files

Jump to
prng src prng@random.erl
Raw

src/prng@random.erl

-module(prng@random).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([step/2, sample/2, to_yielder/2, to_random_yielder/1, random_sample/1, int/2, float/2, constant/1, fixed_size_list/2, then/2, list/1, map/2, weighted/2, try_weighted/1, map2/3, pair/2, uniform/2, try_uniform/1, choose/2, map3/4, map4/5, map5/6, fixed_size_string/1, string/0, bit_array/0, set/1, fixed_size_set/2, dict/2, fixed_size_dict/3]).
-export_type([generator/1]).
-opaque generator(GZX) :: {generator,
fun((prng@seed:seed()) -> {GZX, prng@seed:seed()})}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 154).
-spec step(generator(GZY), prng@seed:seed()) -> {GZY, prng@seed:seed()}.
step(Generator, Seed) ->
(erlang:element(2, Generator))(Seed).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 164).
-spec sample(generator(HAA), prng@seed:seed()) -> HAA.
sample(Generator, Seed) ->
erlang:element(1, step(Generator, Seed)).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 224).
-spec to_yielder(generator(HAH), prng@seed:seed()) -> gleam@yielder:yielder(HAH).
to_yielder(Generator, Seed) ->
gleam@yielder:unfold(
Seed,
fun(Seed@1) ->
{Value, New_seed} = step(Generator, Seed@1),
{next, Value, New_seed}
end
).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 210).
-spec to_random_yielder(generator(HAE)) -> gleam@yielder:yielder(HAE).
to_random_yielder(Generator) ->
to_yielder(Generator, prng@seed:random()).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 191).
-spec random_sample(generator(HAC)) -> HAC.
random_sample(Generator) ->
_assert_subject = gleam@yielder:first(to_random_yielder(Generator)),
{ok, Result} = case _assert_subject of
{ok, _} -> _assert_subject;
_assert_fail ->
erlang:error(#{gleam_error => let_assert,
message => <<"Pattern match failed, no pattern matched the value."/utf8>>,
value => _assert_fail,
module => <<"prng/random"/utf8>>,
function => <<"random_sample"/utf8>>,
line => 196})
end,
Result.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 264).
-spec sort_ascending(HAL, HAL, fun((HAL, HAL) -> gleam@order:order())) -> {HAL,
HAL}.
sort_ascending(One, Other, Compare) ->
case Compare(One, Other) of
lt ->
{One, Other};
eq ->
{One, Other};
gt ->
{Other, One}
end.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 258).
-spec int(integer(), integer()) -> generator(integer()).
int(From, To) ->
{generator,
fun(Seed) ->
{Low, High} = sort_ascending(From, To, fun gleam@int:compare/2),
prng_ffi:random_int(Seed, Low, High)
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 283).
-spec float(float(), float()) -> generator(float()).
float(From, To) ->
{generator,
fun(Seed) ->
{Low, High} = sort_ascending(From, To, fun gleam@float:compare/2),
prng_ffi:random_float(Seed, Low, High)
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 305).
-spec constant(HAN) -> generator(HAN).
constant(Value) ->
{generator, fun(Seed) -> {Value, Seed} end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 465).
-spec get_by_weight({float(), HBF}, list({float(), HBF}), float()) -> HBF.
get_by_weight(First, Others, Countdown) ->
{Weight, Value} = First,
case Others of
[] ->
Value;
[Second | Rest] ->
Positive_weight = gleam@float:absolute_value(Weight),
case gleam@float:compare(Countdown, Positive_weight) of
lt ->
Value;
eq ->
Value;
gt ->
get_by_weight(Second, Rest, Countdown - Positive_weight)
end
end.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 552).
-spec do_fixed_size_list(list(HBS), prng@seed:seed(), generator(HBS), integer()) -> {list(HBS),
prng@seed:seed()}.
do_fixed_size_list(Acc, Seed, Generator, Length) ->
case Length =< 0 of
true ->
{Acc, Seed};
false ->
{Value, Seed@1} = step(Generator, Seed),
do_fixed_size_list([Value | Acc], Seed@1, Generator, Length - 1)
end.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 544).
-spec fixed_size_list(generator(HBO), integer()) -> generator(list(HBO)).
fixed_size_list(Generator, Length) ->
{generator,
fun(Seed) -> do_fixed_size_list([], Seed, Generator, Length) end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 746).
-spec then(generator(HDH), fun((HDH) -> generator(HDJ))) -> generator(HDJ).
then(Generator, Generator_from) ->
{generator,
fun(Seed) ->
{Value, Seed@1} = step(Generator, Seed),
_pipe = Generator_from(Value),
step(_pipe, Seed@1)
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 573).
-spec list(generator(HBW)) -> generator(list(HBW)).
list(Generator) ->
then(int(0, 32), fun(Size) -> fixed_size_list(Generator, Size) end).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 773).
-spec map(generator(HDM), fun((HDM) -> HDO)) -> generator(HDO).
map(Generator, Fun) ->
{generator,
fun(Seed) ->
{Value, Seed@1} = step(Generator, Seed),
{Fun(Value), Seed@1}
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 420).
-spec weighted({float(), HAX}, list({float(), HAX})) -> generator(HAX).
weighted(First, Others) ->
Normalise = fun(Pair) ->
gleam@float:absolute_value(gleam@pair:first(Pair))
end,
Total = Normalise(First) + gleam@float:sum(
gleam@list:map(Others, Normalise)
),
map(
float(+0.0, Total),
fun(_capture) -> get_by_weight(First, Others, _capture) end
).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 458).
-spec try_weighted(list({float(), HBA})) -> {ok, generator(HBA)} | {error, nil}.
try_weighted(Options) ->
case Options of
[First | Rest] ->
{ok, weighted(First, Rest)};
[] ->
{error, nil}
end.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 817).
-spec map2(generator(HDQ), generator(HDS), fun((HDQ, HDS) -> HDU)) -> generator(HDU).
map2(One, Other, Fun) ->
{generator,
fun(Seed) ->
{A, Seed@1} = step(One, Seed),
{B, Seed@2} = step(Other, Seed@1),
{Fun(A, B), Seed@2}
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 525).
-spec pair(generator(HBJ), generator(HBL)) -> generator({HBJ, HBL}).
pair(One, Other) ->
map2(One, Other, fun gleam@pair:new/2).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 342).
-spec uniform(HAP, list(HAP)) -> generator(HAP).
uniform(First, Others) ->
weighted(
{1.0, First},
gleam@list:map(
Others,
fun(_capture) -> gleam@pair:new(1.0, _capture) end
)
).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 378).
-spec try_uniform(list(HAS)) -> {ok, generator(HAS)} | {error, nil}.
try_uniform(Options) ->
case Options of
[First | Rest] ->
{ok, uniform(First, Rest)};
[] ->
{error, nil}
end.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 505).
-spec choose(HBH, HBH) -> generator(HBH).
choose(One, Other) ->
uniform(One, [Other]).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 861).
-spec map3(
generator(HDW),
generator(HDY),
generator(HEA),
fun((HDW, HDY, HEA) -> HEC)
) -> generator(HEC).
map3(One, Two, Three, Fun) ->
{generator,
fun(Seed) ->
{A, Seed@1} = step(One, Seed),
{B, Seed@2} = step(Two, Seed@1),
{C, Seed@3} = step(Three, Seed@2),
{Fun(A, B, C), Seed@3}
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 878).
-spec map4(
generator(HEE),
generator(HEG),
generator(HEI),
generator(HEK),
fun((HEE, HEG, HEI, HEK) -> HEM)
) -> generator(HEM).
map4(One, Two, Three, Four, Fun) ->
{generator,
fun(Seed) ->
{A, Seed@1} = step(One, Seed),
{B, Seed@2} = step(Two, Seed@1),
{C, Seed@3} = step(Three, Seed@2),
{D, Seed@4} = step(Four, Seed@3),
{Fun(A, B, C, D), Seed@4}
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 900).
-spec map5(
generator(HEO),
generator(HEQ),
generator(HES),
generator(HEU),
generator(HEW),
fun((HEO, HEQ, HES, HEU, HEW) -> HEY)
) -> generator(HEY).
map5(One, Two, Three, Four, Five, Fun) ->
{generator,
fun(Seed) ->
{A, Seed@1} = step(One, Seed),
{B, Seed@2} = step(Two, Seed@1),
{C, Seed@3} = step(Three, Seed@2),
{D, Seed@4} = step(Four, Seed@3),
{E, Seed@5} = step(Five, Seed@4),
{Fun(A, B, C, D, E), Seed@5}
end}.
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 937).
-spec fixed_size_string(integer()) -> generator(binary()).
fixed_size_string(Size) ->
_pipe = fixed_size_list(utf_codepoint_in_range(0, 1023), Size),
map(_pipe, fun gleam_stdlib:utf_codepoint_list_to_string/1).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 925).
-spec string() -> generator(binary()).
string() ->
then(int(0, 32), fun(Size) -> fixed_size_string(Size) end).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 706).
-spec bit_array() -> generator(bitstring()).
bit_array() ->
map(string(), fun gleam_stdlib:identity/1).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 948).
-spec utf_codepoint_in_range(integer(), integer()) -> generator(integer()).
utf_codepoint_in_range(Lower, Upper) ->
then(
int(Lower, Upper),
fun(Raw_codepoint) -> case gleam@string:utf_codepoint(Raw_codepoint) of
{ok, Codepoint} ->
constant(Codepoint);
{error, _} ->
utf_codepoint_in_range(Lower, Upper)
end end
).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 699).
-spec set(generator(HDC)) -> generator(gleam@set:set(HDC)).
set(Generator) ->
then(int(0, 32), fun(Size) -> fixed_size_set(Generator, Size) end).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 651).
-spec fixed_size_set(generator(HCT), integer()) -> generator(gleam@set:set(HCT)).
fixed_size_set(Generator, Size) ->
_pipe = gleam@int:max(Size, 0),
do_fixed_size_set(Generator, _pipe, 0, 0, gleam@set:new()).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 659).
-spec do_fixed_size_set(
generator(HCX),
integer(),
integer(),
integer(),
gleam@set:set(HCX)
) -> generator(gleam@set:set(HCX)).
do_fixed_size_set(Generator, Size, Unique_items, Consecutive_attempts, Acc) ->
Has_required_size = Unique_items =:= Size,
gleam@bool:guard(
Has_required_size,
constant(Acc),
fun() ->
Has_reached_maximum_attempts = Consecutive_attempts >= 10,
gleam@bool:guard(
Has_reached_maximum_attempts,
constant(Acc),
fun() ->
then(
Generator,
fun(Item) -> case gleam@set:contains(Acc, Item) of
true ->
_pipe = (Consecutive_attempts + 1),
do_fixed_size_set(
Generator,
Size,
Unique_items,
_pipe,
Acc
);
false ->
_pipe@1 = gleam@set:insert(Acc, Item),
do_fixed_size_set(
Generator,
Size,
Unique_items + 1,
0,
_pipe@1
)
end end
)
end
)
end
).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 639).
-spec dict(generator(any()), generator(any())) -> generator(gleam@dict:dict(any(), any())).
dict(Keys, Values) ->
then(int(0, 32), fun(Size) -> fixed_size_dict(Keys, Values, Size) end).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 588).
-spec fixed_size_dict(generator(HCA), generator(HCC), integer()) -> generator(gleam@dict:dict(HCA, HCC)).
fixed_size_dict(Keys, Values, Size) ->
_pipe = gleam@int:max(Size, 0),
do_fixed_size_dict(Keys, Values, _pipe, 0, 0, maps:new()).
-file("/Users/giacomocavalieri/Desktop/progetti/prng/src/prng/random.gleam", 597).
-spec do_fixed_size_dict(
generator(HCF),
generator(HCH),
integer(),
integer(),
integer(),
gleam@dict:dict(HCF, HCH)
) -> generator(gleam@dict:dict(HCF, HCH)).
do_fixed_size_dict(Keys, Values, Size, Unique_keys, Consecutive_attempts, Acc) ->
Has_required_size = Unique_keys =:= Size,
gleam@bool:guard(
Has_required_size,
constant(Acc),
fun() ->
Has_reached_maximum_attempts = Consecutive_attempts >= 10,
gleam@bool:guard(
Has_reached_maximum_attempts,
constant(Acc),
fun() ->
then(Keys, fun(Key) -> case gleam@dict:has_key(Acc, Key) of
true ->
_pipe = (Consecutive_attempts + 1),
do_fixed_size_dict(
Keys,
Values,
Size,
Unique_keys,
_pipe,
Acc
);
false ->
then(
Values,
fun(Value) ->
_pipe@1 = gleam@dict:insert(
Acc,
Key,
Value
),
do_fixed_size_dict(
Keys,
Values,
Size,
Unique_keys + 1,
0,
_pipe@1
)
end
)
end end)
end
)
end
).