Current section

Files

Jump to
themis src themis@number.erl
Raw

src/themis@number.erl

-module(themis@number).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).
-export([int/1, dec/1, pos_inf/0, neg_inf/0, nan/0]).
-file("/git/Themis/src/themis/number.gleam", 4).
-spec int(integer()) -> internal@prometheus:number_().
int(Value) ->
{int, Value}.
-file("/git/Themis/src/themis/number.gleam", 9).
-spec dec(float()) -> internal@prometheus:number_().
dec(Value) ->
{dec, Value}.
-file("/git/Themis/src/themis/number.gleam", 14).
-spec pos_inf() -> internal@prometheus:number_().
pos_inf() ->
pos_inf.
-file("/git/Themis/src/themis/number.gleam", 19).
-spec neg_inf() -> internal@prometheus:number_().
neg_inf() ->
neg_inf.
-file("/git/Themis/src/themis/number.gleam", 24).
-spec nan() -> internal@prometheus:number_().
nan() ->
na_n.