roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 00:09:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix other num functions

Browse Source
This commit is contained in:
Folkert 2020-07-07 19:02:05 +02:00
parent 1af180da48
commit 28ba5e6a99
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
compiler/builtins/src/unique.rs
View File

@ -412,6 +412,36 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
float_type(star)
});
// isNegative : Num a -> Bool
add_type(Symbol::NUM_IS_NEGATIVE, {
let_tvars! { star1, star2, a };
unique_function(vec![num_type(star1, a)], bool_type(star2))
});
// isPositive : Num a -> Bool
add_type(Symbol::NUM_IS_POSITIVE, {
let_tvars! { star1, star2, a };
unique_function(vec![num_type(star1, a)], bool_type(star2))
});
// isZero : Num a -> Bool
add_type(Symbol::NUM_IS_ZERO, {
let_tvars! { star1, star2, a };
unique_function(vec![num_type(star1, a)], bool_type(star2))
});
// isEven : Num a -> Bool
add_type(Symbol::NUM_IS_EVEN, {
let_tvars! { star1, star2, a };
unique_function(vec![num_type(star1, a)], bool_type(star2))
});
// isOdd : Num a -> Bool
add_type(Symbol::NUM_IS_ODD, {
let_tvars! { star1, star2, a };
unique_function(vec![num_type(star1, a)], bool_type(star2))
});
// Bool module
// isEq or (==) : Attr * a, Attr * a -> Attr * Bool