format our roc code

This commit is contained in:
Folkert 2022-07-08 15:00:10 +02:00
parent d3662c4671
commit c3914883be
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
4 changed files with 20 additions and 22 deletions

View file

@ -76,7 +76,7 @@ get = \dict, key ->
True -> Ok result.value
False -> Err KeyNotFound
getLowlevel : Dict k v, k -> { flag : Bool, value : v }
getLowlevel : Dict k v, k -> { flag : Bool, value : v }
walk : Dict k v, state, (state, k, v -> state) -> state
insert : Dict k v, k, v -> Dict k v

View file

@ -516,20 +516,20 @@ bytesToU16 : List U8, Nat -> Result U16 [OutOfBounds]
bytesToU16 = \bytes, index ->
# we need at least 1 more byte
offset = 1
if index + offset < List.len bytes then
Ok (bytesToU16Lowlevel bytes index)
else
else
Err OutOfBounds
bytesToU32 : List U8, Nat -> Result U32 [OutOfBounds]
bytesToU32 = \bytes, index ->
# we need at least 3 more bytes
offset = 3
if index + offset < List.len bytes then
Ok (bytesToU32Lowlevel bytes index)
else
else
Err OutOfBounds
compare : Num a, Num a -> [LT, EQ, GT]
@ -580,7 +580,7 @@ isZero = \x -> x == 0
##
## Examples of even numbers: 0, 2, 4, 6, 8, -2, -4, -6, -8
isEven : Int a -> Bool
isEven = \x -> Num.isMultipleOf x 2
isEven = \x -> Num.isMultipleOf x 2
## A number is odd if dividing it by 2 gives a remainder of 1.
##
@ -594,7 +594,7 @@ isPositive = \x -> x > 0
## Negative numbers are less than `0`.
isNegative : Num a -> Bool
isNegative = \x -> x < 0
isNegative = \x -> x < 0
toFrac : Num * -> Frac *
@ -709,7 +709,7 @@ sin : Frac a -> Frac a
cos : Frac a -> Frac a
tan : Frac a -> Frac a
tan = \x ->
tan = \x ->
# `tan` is not available as an intrinsic in LLVM
Num.div (Num.sin x) (Num.cos x)
@ -753,7 +753,7 @@ sqrtChecked = \x ->
log : Frac a -> Frac a
logChecked : Frac a -> Result (Frac a) [LogNeedsPositive]*
logChecked = \x ->
logChecked = \x ->
if x <= 0.0 then
Err LogNeedsPositive
else
@ -917,7 +917,7 @@ addChecked = \a, b ->
else
Ok result.a
addCheckedLowlevel : Num a, Num a -> {b: Bool, a : Num a}
addCheckedLowlevel : Num a, Num a -> { b : Bool, a : Num a }
subWrap : Int range, Int range -> Int range
@ -943,7 +943,7 @@ subChecked = \a, b ->
else
Ok result.a
subCheckedLowlevel : Num a, Num a -> {b: Bool, a : Num a}
subCheckedLowlevel : Num a, Num a -> { b : Bool, a : Num a }
mulWrap : Int range, Int range -> Int range
@ -967,7 +967,7 @@ mulChecked = \a, b ->
else
Ok result.a
mulCheckedLowlevel : Num a, Num a -> {b: Bool, a : Num a}
mulCheckedLowlevel : Num a, Num a -> { b : Bool, a : Num a }
## The lowest number that can be stored in an [I8] without underflowing its
## available memory and crashing.

View file

@ -24,7 +24,7 @@ single : k -> Set k
## retrieved or removed from the [Set].
insert : Set k, k -> Set k
len : Set k -> Nat
len = \set ->
len = \set ->
set
|> Set.toDict
|> Dict.len

View file

@ -210,10 +210,9 @@ fromUtf8 = \bytes ->
else
Err (BadUtf8 result.dProblemCode result.aByteIndex)
fromUtf8Range : List U8, { start : Nat, count : Nat } -> Result Str [BadUtf8 Utf8ByteProblem Nat, OutOfBounds]*
fromUtf8Range = \bytes, config ->
if config.start + config.count <= List.len bytes then
if config.start + config.count <= List.len bytes then
result = fromUtf8RangeLowlevel bytes config
if result.cIsOk then
@ -224,14 +223,13 @@ fromUtf8Range = \bytes, config ->
Err OutOfBounds
FromUtf8Result : {
aByteIndex: Nat,
bString: Str,
cIsOk: Bool,
dProblemCode: Utf8ByteProblem,
aByteIndex : Nat,
bString : Str,
cIsOk : Bool,
dProblemCode : Utf8ByteProblem,
}
fromUtf8RangeLowlevel : List U8, { start : Nat, count : Nat } -> FromUtf8Result
fromUtf8RangeLowlevel : List U8, { start : Nat, count : Nat } -> FromUtf8Result
startsWith : Str, Str -> Bool
endsWith : Str, Str -> Bool
@ -437,7 +435,7 @@ walkScalarsUntilHelp = \string, state, step, index, length ->
else
state
strToNum : Str -> { berrorcode: U8, aresult : Num * }
strToNum : Str -> { berrorcode : U8, aresult : Num * }
strToNumHelp : Str -> Result (Num a) [InvalidNumStr]*
strToNumHelp = \string ->