quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: formatting

Browse Source
This commit is contained in:
NunoSempere 2022-09-05 09:39:55 +02:00
parent 2fa97c20f7
commit fd7720b045
1 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
packages/squiggle-lang/src/rescript/FunctionRegistry/Library/FR_Danger.res
View File

@ -76,8 +76,14 @@ module Internals = {
let internalZero = ReducerInterface_InternalExpressionValue.IEvNumber(0.0) let internalZero = ReducerInterface_InternalExpressionValue.IEvNumber(0.0)
let applyFunctionAtZero = (aLambda, environment, reducer) => let applyFunctionAtZero = (aLambda, environment, reducer) =>
applyFunctionAtPoint(aLambda, internalZero, environment, reducer) applyFunctionAtPoint(aLambda, internalZero, environment, reducer)
@dead let applyFunctionAtFloat = (aLambda, point, environment, reducer) => @dead
applyFunctionAtPoint(aLambda, ReducerInterface_InternalExpressionValue.IEvNumber(point), environment, reducer) let applyFunctionAtFloat = (aLambda, point, environment, reducer) =>
applyFunctionAtPoint(
aLambda,
ReducerInterface_InternalExpressionValue.IEvNumber(point),
environment,
reducer,
)
// simplest integral function // simplest integral function
let integrateFunctionBetweenWithIncrement = ( let integrateFunctionBetweenWithIncrement = (
aLambda, aLambda,
@ -146,7 +152,7 @@ module Internals = {
let xsLengthCandidate = Belt.Float.toInt(Js.Math.round(numIntervals)) let xsLengthCandidate = Belt.Float.toInt(Js.Math.round(numIntervals))
let xsLength = xsLengthCandidate > 0 ? xsLengthCandidate : 1 let xsLength = xsLengthCandidate > 0 ? xsLengthCandidate : 1
let increment = (max -. min) /. Belt.Int.toFloat(xsLength) let increment = (max -. min) /. Belt.Int.toFloat(xsLength)
let xs = Belt.Array.makeBy(xsLength +1, i => min +. Belt_Float.fromInt(i) *. increment) let xs = Belt.Array.makeBy(xsLength + 1, i => min +. Belt_Float.fromInt(i) *. increment)
// makeBy goes from 0 to (n-1): <https://rescript-lang.org/docs/manual/latest/api/belt/array#makeby> // makeBy goes from 0 to (n-1): <https://rescript-lang.org/docs/manual/latest/api/belt/array#makeby>
let ysOptions = Belt.Array.map(xs, x => applyFunctionAtFloatToFloatOption(x)) let ysOptions = Belt.Array.map(xs, x => applyFunctionAtFloatToFloatOption(x))
let okYs = E.A.R.filterOk(ysOptions) let okYs = E.A.R.filterOk(ysOptions)
@ -266,7 +272,7 @@ let library = [
~nameSpace, ~nameSpace,
~output=EvtNumber, ~output=EvtNumber,
~requiresNamespace=false, ~requiresNamespace=false,
~examples=[`Danger.integrateFunctionBetweenWithIncrement({|x| x+1}, 1, 10, 1)`], ~examples=[`Danger.integrateFunctionBetweenWithIncrement({|x| x+1}, 1, 10, 1)`],
// should be [x^2/2 + x]1_10 = (100/2 + 10) - (1/2 + 1) = 60 - 1.5 = 58.5 // should be [x^2/2 + x]1_10 = (100/2 + 10) - (1/2 + 1) = 60 - 1.5 = 58.5
// https://www.wolframalpha.com/input?i=integrate+x%2B1+from+1+to+10 // https://www.wolframalpha.com/input?i=integrate+x%2B1+from+1+to+10
~definitions=[ ~definitions=[
@ -301,12 +307,12 @@ let library = [
(), (),
), ),
// Integral which is a bit more thoughtful // Integral which is a bit more thoughtful
Function.make( Function.make(
~name="integrateFunctionBetweenWithNumIntervals", ~name="integrateFunctionBetweenWithNumIntervals",
~nameSpace, ~nameSpace,
~output=EvtNumber, ~output=EvtNumber,
~requiresNamespace=false, ~requiresNamespace=false,
~examples=[`Danger.integrateFunctionBetweenWithNumIntervals({|x| x+1}, 1, 10, 10)`], ~examples=[`Danger.integrateFunctionBetweenWithNumIntervals({|x| x+1}, 1, 10, 10)`],
// should be [x^2/2 + x]1_10 = (100/2 + 10) - (1/2 + 1) = 60 - 1.5 = 58.5 // should be [x^2/2 + x]1_10 = (100/2 + 10) - (1/2 + 1) = 60 - 1.5 = 58.5
// https://www.wolframalpha.com/input?i=integrate+x%2B1+from+1+to+10 // https://www.wolframalpha.com/input?i=integrate+x%2B1+from+1+to+10
~definitions=[ ~definitions=[
@ -323,7 +329,7 @@ let library = [
min, min,
max, max,
numIntervals, numIntervals,
env, env,
reducer, reducer,
)->E.R2.errMap(_ => )->E.R2.errMap(_ =>
"Integration error in Danger.integrate. Something went wrong along the way" "Integration error in Danger.integrate. Something went wrong along the way"