[erlang-questions] How to define non_neg_float() type specification?

Stavros Aronis <>
Thu Sep 27 18:47:09 CEST 2012


Sorry, that was:

-type non_neg_float() :: float().

Stavros

On Thursday, September 27, 2012 6:32:47 PM UTC+2, Stavros Aronis wrote:
>
> Hello!
>
> Unfortunately Dialyzer does not support it (even constants are generalized 
> to any float, typwise). Consequentially, the type language does tnot 
> support it. 
> You can maybe try:
>
> -type define non_neg_float() :: float().
>
> This will help you documentation-wise and also (though in a somewhat 
> limited way) Dialyzer-wise. If you use this type PropEr-wise however, you 
> will get positive values, which you will need to filter...
>
> Stavros
>
> On Thursday, September 27, 2012 6:10:14 PM UTC+2, Zhemzhitsky Sergey wrote:
>>
>>  Hello erlangers,
>>
>>  
>>
>> Is it possible to define non_neg_float() type specification somehow?
>>
>>  
>>
>> Best Regards,
>>
>> Sergey
>>
>>  
>>  
>> _______________________________________________________
>>
>>  
>>
>> The information contained in this message may be privileged and conf 
>> idential and protected from disclosure. If you are not the original 
>> intended recipient, you are hereby notified that any review, 
>> retransmission, dissemination, or other use of, or taking of any action in 
>> reliance upon, this information is prohibited. If you have received this 
>> communication in error, please notify the sender immediately by replying to 
>> this message and delete it from your computer. Thank you for your 
>> cooperation. Troika Dialog, Russia. 
>>
>> If you need assistance please contact our Contact Center (+7495) 258 0500 
>> or go to www.troika.ru/eng/Contacts/system.wbp 
>>
>>  
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120927/815d660e/attachment.html>


More information about the erlang-questions mailing list