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

Merge pull request #759 from quantified-uncertainty/observable-refactor

Browse Source 
Remove observable boilerplate + refactors
This commit is contained in:
Sam Nolan 2022-07-06 07:36:28 +10:00 committed by GitHub
commit d46d524859
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
17 changed files with 199 additions and 293 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/components/README.md
View File

@ -20,7 +20,7 @@ Add to `App.js`:
```jsx ```jsx
import { SquiggleEditor } from "@quri/squiggle-components"; import { SquiggleEditor } from "@quri/squiggle-components";
<SquiggleEditor <SquiggleEditor
initialSquiggleString="x = beta($alpha, 10); x + $shift" defaultCode="x = beta($alpha, 10); x + $shift"
jsImports={{ alpha: 3, shift: 20 }} jsImports={{ alpha: 3, shift: 20 }}
/>; />;
``` ```
@ -50,7 +50,7 @@ export function DynamicSquiggleChart({ squiggleString }) {
} else { } else {
return ( return (
<SquiggleChart <SquiggleChart
squiggleString={squiggleString} defaultCode={squiggleString}
width={445} width={445}
height={200} height={200}
showSummary={true} showSummary={true}

2
packages/components/package.json
View File

@ -38,7 +38,6 @@
"@types/lodash": "^4.14.182", "@types/lodash": "^4.14.182",
"@types/node": "^18.0.0", "@types/node": "^18.0.0",
"@types/react": "^18.0.9", "@types/react": "^18.0.9",
"@types/react-dom": "^18.0.5",
"@types/styled-components": "^5.1.24", "@types/styled-components": "^5.1.24",
"@types/webpack": "^5.28.0", "@types/webpack": "^5.28.0",
"cross-env": "^7.0.3", "cross-env": "^7.0.3",
@ -47,7 +46,6 @@
"postcss-import": "^14.1.0", "postcss-import": "^14.1.0",
"postcss-loader": "^7.0.0", "postcss-loader": "^7.0.0",
"react": "^18.1.0", "react": "^18.1.0",
"react-dom": "^18.2.0",
"react-scripts": "^5.0.1", "react-scripts": "^5.0.1",
"style-loader": "^3.3.1", "style-loader": "^3.3.1",
"tailwindcss": "^3.1.3", "tailwindcss": "^3.1.3",

28
packages/components/src/components/SquiggleChart.tsx
View File

@ -8,20 +8,23 @@ import {
defaultBindings, defaultBindings,
defaultEnvironment, defaultEnvironment,
} from "@quri/squiggle-lang"; } from "@quri/squiggle-lang";
import { FunctionChartSettings } from "./FunctionChart";
import { useSquiggle } from "../lib/hooks"; import { useSquiggle } from "../lib/hooks";
import { SquiggleErrorAlert } from "./SquiggleErrorAlert"; import { SquiggleErrorAlert } from "./SquiggleErrorAlert";
import { SquiggleItem } from "./SquiggleItem"; import { SquiggleItem } from "./SquiggleItem";
export interface SquiggleChartProps { export interface SquiggleChartProps {
/** The input string for squiggle */ /** The input string for squiggle */
squiggleString?: string; code?: string;
/** If the output requires monte carlo sampling, the amount of samples */ /** If the output requires monte carlo sampling, the amount of samples */
sampleCount?: number; sampleCount?: number;
/** The amount of points returned to draw the distribution */ /** The amount of points returned to draw the distribution */
environment?: environment; environment?: environment;
/** If the result is a function, where the function starts, ends and the amount of stops */ /** If the result is a function, where the function domain starts */
chartSettings?: FunctionChartSettings; diagramStart?: number;
/** If the result is a function, where the function domain ends */
diagramStop?: number;
/** If the result is a function, the amount of stops sampled */
diagramCount?: number;
/** When the squiggle code gets reevaluated */ /** When the squiggle code gets reevaluated */
onChange?(expr: squiggleExpression | undefined): void; onChange?(expr: squiggleExpression | undefined): void;
/** CSS width of the element */ /** CSS width of the element */
@ -44,10 +47,9 @@ export interface SquiggleChartProps {
} }
const defaultOnChange = () => {}; const defaultOnChange = () => {};
const defaultChartSettings = { start: 0, stop: 10, count: 20 };
export const SquiggleChart: React.FC<SquiggleChartProps> = ({ export const SquiggleChart: React.FC<SquiggleChartProps> = ({
squiggleString = "", code = "",
environment, environment,
onChange = defaultOnChange, // defaultOnChange must be constant, don't move its definition here onChange = defaultOnChange, // defaultOnChange must be constant, don't move its definition here
height = 200, height = 200,
@ -59,10 +61,12 @@ export const SquiggleChart: React.FC<SquiggleChartProps> = ({
showControls = false, showControls = false,
logX = false, logX = false,
expY = false, expY = false,
chartSettings = defaultChartSettings, diagramStart = 0,
diagramStop = 10,
diagramCount = 100,
}) => { }) => {
const { result } = useSquiggle({ const result = useSquiggle({
code: squiggleString, code,
bindings, bindings,
environment, environment,
jsImports, jsImports,
@ -80,6 +84,12 @@ export const SquiggleChart: React.FC<SquiggleChartProps> = ({
expY, expY,
}; };
let chartSettings = {
start: diagramStart,
stop: diagramStop,
count: diagramCount,
};
return ( return (
<SquiggleItem <SquiggleItem
expression={result.value} expression={result.value}

166
packages/components/src/components/SquiggleEditor.tsx
View File

@ -1,18 +1,11 @@
import React, { useState } from "react"; import React from "react";
import * as ReactDOM from "react-dom";
import { CodeEditor } from "./CodeEditor"; import { CodeEditor } from "./CodeEditor";
import { import { environment, bindings, jsImports } from "@quri/squiggle-lang";
squiggleExpression,
environment,
bindings,
jsImports,
defaultEnvironment,
} from "@quri/squiggle-lang";
import { defaultImports, defaultBindings } from "@quri/squiggle-lang"; import { defaultImports, defaultBindings } from "@quri/squiggle-lang";
import { SquiggleContainer } from "./SquiggleContainer"; import { SquiggleContainer } from "./SquiggleContainer";
import { useSquiggle, useSquigglePartial } from "../lib/hooks"; import { SquiggleChart, SquiggleChartProps } from "./SquiggleChart";
import { useSquigglePartial, useMaybeControlledValue } from "../lib/hooks";
import { SquiggleErrorAlert } from "./SquiggleErrorAlert"; import { SquiggleErrorAlert } from "./SquiggleErrorAlert";
import { SquiggleItem } from "./SquiggleItem";
const WrappedCodeEditor: React.FC<{ const WrappedCodeEditor: React.FC<{
code: string; code: string;
@ -29,113 +22,36 @@ const WrappedCodeEditor: React.FC<{
</div> </div>
); );
export interface SquiggleEditorProps { export type SquiggleEditorProps = SquiggleChartProps & {
/** The input string for squiggle */ defaultCode?: string;
initialSquiggleString?: string; onCodeChange?: (code: string) => void;
/** The width of the element */ };
width?: number;
/** If the result is a function, where the function starts */
diagramStart?: number;
/** If the result is a function, where the function ends */
diagramStop?: number;
/** If the result is a function, how many points along the function it samples */
diagramCount?: number;
/** When the environment changes. Used again for notebook magic */
onChange?(expr: squiggleExpression | undefined): void;
/** Previous variable declarations */
bindings?: bindings;
/** If the output requires monte carlo sampling, the amount of samples */
environment?: environment;
/** JS Imports */
jsImports?: jsImports;
/** Whether to show detail about types of the returns, default false */
showTypes?: boolean;
/** Whether to give users access to graph controls */
showControls?: boolean;
/** Whether to show a summary table */
showSummary?: boolean;
/** Whether to log the x coordinate on distribution charts */
logX?: boolean;
/** Whether to exp the y coordinate on distribution charts */
expY?: boolean;
}
export const SquiggleEditor: React.FC<SquiggleEditorProps> = ({ export const SquiggleEditor: React.FC<SquiggleEditorProps> = (props) => {
initialSquiggleString = "", const [code, setCode] = useMaybeControlledValue({
width, value: props.code,
diagramStart = 0, defaultValue: props.defaultCode ?? "",
diagramStop = 10, onChange: props.onCodeChange,
diagramCount = 20,
onChange,
bindings = defaultBindings,
environment,
jsImports = defaultImports,
showTypes = false,
showControls = false,
showSummary = false,
logX = false,
expY = false,
}: SquiggleEditorProps) => {
const [code, setCode] = useState(initialSquiggleString);
React.useEffect(
() => setCode(initialSquiggleString),
[initialSquiggleString]
);
const { result, observableRef } = useSquiggle({
code,
bindings,
environment,
jsImports,
onChange,
}); });
const chartSettings = { let chartProps = { ...props, code };
start: diagramStart,
stop: diagramStop,
count: diagramCount,
};
const distributionPlotSettings = {
showControls,
showSummary,
logX,
expY,
};
return ( return (
<div ref={observableRef}> <SquiggleContainer>
<SquiggleContainer> <WrappedCodeEditor code={code} setCode={setCode} />
<WrappedCodeEditor code={code} setCode={setCode} /> <SquiggleChart {...chartProps} />
{result.tag === "Ok" ? ( </SquiggleContainer>
<SquiggleItem
expression={result.value}
width={width}
height={200}
distributionPlotSettings={distributionPlotSettings}
showTypes={showTypes}
chartSettings={chartSettings}
environment={environment ?? defaultEnvironment}
/>
) : (
<SquiggleErrorAlert error={result.value} />
)}
</SquiggleContainer>
</div>
); );
}; };
export function renderSquiggleEditorToDom(props: SquiggleEditorProps) {
const parent = document.createElement("div");
ReactDOM.render(<SquiggleEditor {...props} />, parent);
return parent;
}
export interface SquigglePartialProps { export interface SquigglePartialProps {
/** The input string for squiggle */ /** The text inside the input (controlled) */
initialSquiggleString?: string; code?: string;
/** The default text inside the input (unControlled) */
defaultCode?: string;
/** when the environment changes. Used again for notebook magic*/ /** when the environment changes. Used again for notebook magic*/
onChange?(expr: bindings | undefined): void; onChange?(expr: bindings | undefined): void;
/** When the code changes */
onCodeChange?(code: string): void;
/** Previously declared variables */ /** Previously declared variables */
bindings?: bindings; bindings?: bindings;
/** If the output requires monte carlo sampling, the amount of samples */ /** If the output requires monte carlo sampling, the amount of samples */
@ -145,19 +61,21 @@ export interface SquigglePartialProps {
} }
export const SquigglePartial: React.FC<SquigglePartialProps> = ({ export const SquigglePartial: React.FC<SquigglePartialProps> = ({
initialSquiggleString = "", code: controlledCode,
defaultCode = "",
onChange, onChange,
onCodeChange,
bindings = defaultBindings, bindings = defaultBindings,
environment, environment,
jsImports = defaultImports, jsImports = defaultImports,
}: SquigglePartialProps) => { }: SquigglePartialProps) => {
const [code, setCode] = useState(initialSquiggleString); const [code, setCode] = useMaybeControlledValue<string>({
React.useEffect( value: controlledCode,
() => setCode(initialSquiggleString), defaultValue: defaultCode,
[initialSquiggleString] onChange: onCodeChange,
); });
const { result, observableRef } = useSquigglePartial({ const result = useSquigglePartial({
code, code,
bindings, bindings,
environment, environment,
@ -166,19 +84,9 @@ export const SquigglePartial: React.FC<SquigglePartialProps> = ({
}); });
return ( return (
<div ref={observableRef}> <SquiggleContainer>
<SquiggleContainer> <WrappedCodeEditor code={code} setCode={setCode} />
<WrappedCodeEditor code={code} setCode={setCode} /> {result.tag !== "Ok" ? <SquiggleErrorAlert error={result.value} /> : null}
{result.tag !== "Ok" ? ( </SquiggleContainer>
<SquiggleErrorAlert error={result.value} />
) : null}
</SquiggleContainer>
</div>
); );
}; };
export function renderSquigglePartialToDom(props: SquigglePartialProps) {
const parent = document.createElement("div");
ReactDOM.render(<SquigglePartial {...props} />, parent);
return parent;
}

43
packages/components/src/components/SquigglePlayground.tsx
View File

@ -1,7 +1,7 @@
import React, { FC, Fragment, useState, useEffect } from "react"; import React, { FC, Fragment, useState, useEffect } from "react";
import ReactDOM from "react-dom";
import { Path, useForm, UseFormRegister, useWatch } from "react-hook-form"; import { Path, useForm, UseFormRegister, useWatch } from "react-hook-form";
import * as yup from "yup"; import * as yup from "yup";
import { useMaybeControlledValue } from "../lib/hooks";
import { yupResolver } from "@hookform/resolvers/yup"; import { yupResolver } from "@hookform/resolvers/yup";
import { Tab } from "@headlessui/react"; import { Tab } from "@headlessui/react";
import { import {
@ -23,7 +23,7 @@ import { SquiggleContainer } from "./SquiggleContainer";
interface PlaygroundProps { interface PlaygroundProps {
/** The initial squiggle string to put in the playground */ /** The initial squiggle string to put in the playground */
initialSquiggleString?: string; defaultCode?: string;
/** How many pixels high is the playground */ /** How many pixels high is the playground */
height?: number; height?: number;
/** Whether to show the types of outputs in the playground */ /** Whether to show the types of outputs in the playground */
@ -205,7 +205,7 @@ function Checkbox<T>({
} }
export const SquigglePlayground: FC<PlaygroundProps> = ({ export const SquigglePlayground: FC<PlaygroundProps> = ({
initialSquiggleString = "", defaultCode = "",
height = 500, height = 500,
showTypes = false, showTypes = false,
showControls = false, showControls = false,
@ -217,9 +217,11 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
onSettingsChange, onSettingsChange,
showEditor = true, showEditor = true,
}) => { }) => {
const [uncontrolledCode, setUncontrolledCode] = useState( const [code, setCode] = useMaybeControlledValue({
initialSquiggleString value: controlledCode,
); defaultValue: defaultCode,
onChange: onCodeChange,
});
const [importString, setImportString] = useState("{}"); const [importString, setImportString] = useState("{}");
const [imports, setImports] = useState({}); const [imports, setImports] = useState({});
const [importsAreValid, setImportsAreValid] = useState(true); const [importsAreValid, setImportsAreValid] = useState(true);
@ -250,11 +252,6 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
onSettingsChange?.(vars); onSettingsChange?.(vars);
}, [vars, onSettingsChange]); }, [vars, onSettingsChange]);
const chartSettings = {
start: Number(vars.diagramStart),
stop: Number(vars.diagramStop),
count: Number(vars.diagramCount),
};
const env: environment = { const env: environment = {
sampleCount: Number(vars.sampleCount), sampleCount: Number(vars.sampleCount),
xyPointLength: Number(vars.xyPointLength), xyPointLength: Number(vars.xyPointLength),
@ -269,8 +266,6 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
} }
}; };
const code = controlledCode ?? uncontrolledCode;
const samplingSettings = ( const samplingSettings = (
<div className="space-y-6 p-3 max-w-xl"> <div className="space-y-6 p-3 max-w-xl">
<div> <div>
@ -423,9 +418,11 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
const squiggleChart = ( const squiggleChart = (
<SquiggleChart <SquiggleChart
squiggleString={code} code={code}
environment={env} environment={env}
chartSettings={chartSettings} diagramStart={Number(vars.diagramStart)}
diagramStop={Number(vars.diagramStop)}
diagramCount={Number(vars.diagramCount)}
height={vars.chartHeight} height={vars.chartHeight}
showTypes={vars.showTypes} showTypes={vars.showTypes}
showControls={vars.showControls} showControls={vars.showControls}
@ -440,14 +437,8 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
const firstTab = vars.showEditor ? ( const firstTab = vars.showEditor ? (
<div className="border border-slate-200"> <div className="border border-slate-200">
<CodeEditor <CodeEditor
value={code} value={code ?? ""}
onChange={(newCode) => { onChange={setCode}
if (controlledCode === undefined) {
// uncontrolled mode
setUncontrolledCode(newCode);
}
onCodeChange?.(newCode);
}}
oneLine={false} oneLine={false}
showGutter={true} showGutter={true}
height={height - 1} height={height - 1}
@ -494,9 +485,3 @@ export const SquigglePlayground: FC<PlaygroundProps> = ({
</SquiggleContainer> </SquiggleContainer>
); );
}; };
export function renderSquigglePlaygroundToDom(props: PlaygroundProps) {
const parent = document.createElement("div");
ReactDOM.render(<SquigglePlayground {...props} />, parent);
return parent;
}

12
packages/components/src/index.ts
View File

@ -1,14 +1,6 @@
export { SquiggleChart } from "./components/SquiggleChart"; export { SquiggleChart } from "./components/SquiggleChart";
export { export { SquiggleEditor, SquigglePartial } from "./components/SquiggleEditor";
SquiggleEditor, export { SquigglePlayground } from "./components/SquigglePlayground";
SquigglePartial,
renderSquiggleEditorToDom,
renderSquigglePartialToDom,
} from "./components/SquiggleEditor";
export {
SquigglePlayground,
renderSquigglePlaygroundToDom,
} from "./components/SquigglePlayground";
export { SquiggleContainer } from "./components/SquiggleContainer"; export { SquiggleContainer } from "./components/SquiggleContainer";
export { mergeBindings } from "@quri/squiggle-lang"; export { mergeBindings } from "@quri/squiggle-lang";

43
packages/components/src/lib/hooks.ts
View File

@ -5,7 +5,7 @@ import {
run, run,
runPartial, runPartial,
} from "@quri/squiggle-lang"; } from "@quri/squiggle-lang";
import { useEffect, useMemo, useRef } from "react"; import { useEffect, useMemo, useState } from "react";
type SquiggleArgs<T extends ReturnType<typeof run | typeof runPartial>> = { type SquiggleArgs<T extends ReturnType<typeof run | typeof runPartial>> = {
code: string; code: string;
@ -19,37 +19,18 @@ const useSquiggleAny = <T extends ReturnType<typeof run | typeof runPartial>>(
args: SquiggleArgs<T>, args: SquiggleArgs<T>,
f: (...args: Parameters<typeof run>) => T f: (...args: Parameters<typeof run>) => T
) => { ) => {
// We're using observable, where div elements can have a `value` property:
// https://observablehq.com/@observablehq/introduction-to-views
//
// This is here to get the 'viewof' part of:
// viewof env = cell('normal(0,1)')
// to work
const ref = useRef<
HTMLDivElement & { value?: Extract<T, { tag: "Ok" }>["value"] }
>(null);
const result: T = useMemo<T>( const result: T = useMemo<T>(
() => f(args.code, args.bindings, args.environment, args.jsImports), () => f(args.code, args.bindings, args.environment, args.jsImports),
[f, args.code, args.bindings, args.environment, args.jsImports] [f, args.code, args.bindings, args.environment, args.jsImports]
); );
useEffect(() => {
if (!ref.current) return;
ref.current.value = result.tag === "Ok" ? result.value : undefined;
ref.current.dispatchEvent(new CustomEvent("input"));
}, [result]);
const { onChange } = args; const { onChange } = args;
useEffect(() => { useEffect(() => {
onChange?.(result.tag === "Ok" ? result.value : undefined); onChange?.(result.tag === "Ok" ? result.value : undefined);
}, [result, onChange]); }, [result, onChange]);
return { return result;
result, // squiggleExpression or externalBindings
observableRef: ref, // can be passed to outermost <div> if you want to use your component as an observablehq's view
};
}; };
export const useSquigglePartial = ( export const useSquigglePartial = (
@ -61,3 +42,23 @@ export const useSquigglePartial = (
export const useSquiggle = (args: SquiggleArgs<ReturnType<typeof run>>) => { export const useSquiggle = (args: SquiggleArgs<ReturnType<typeof run>>) => {
return useSquiggleAny(args, run); return useSquiggleAny(args, run);
}; };
type ControlledValueArgs<T> = {
value?: T;
defaultValue: T;
onChange?: (x: T) => void;
};
export function useMaybeControlledValue<T>(
args: ControlledValueArgs<T>
): [T, (x: T) => void] {
let [uncontrolledValue, setUncontrolledValue] = useState(args.defaultValue);
let value = args.value ?? uncontrolledValue;
let onChange = (newValue: T) => {
if (args.value === undefined) {
// uncontrolled mode
setUncontrolledValue(newValue);
}
args.onChange?.(newValue);
};
return [value, onChange];
}

27
packages/components/src/stories/SquiggleChart.stories.mdx
View File

@ -29,7 +29,7 @@ could be continuous, discrete or mixed.
<Story <Story
name="Continuous Symbolic" name="Continuous Symbolic"
args={{ args={{
squiggleString: "normal(5,2)", code: "normal(5,2)",
width, width,
}} }}
> >
@ -43,7 +43,7 @@ could be continuous, discrete or mixed.
<Story <Story
name="Continuous Pointset" name="Continuous Pointset"
args={{ args={{
squiggleString: "toPointSet(normal(5,2))", code: "toPointSet(normal(5,2))",
width, width,
}} }}
> >
@ -57,7 +57,7 @@ could be continuous, discrete or mixed.
<Story <Story
name="Continuous SampleSet" name="Continuous SampleSet"
args={{ args={{
squiggleString: "toSampleSet(normal(5,2), 1000)", code: "toSampleSet(normal(5,2), 1000)",
width, width,
}} }}
> >
@ -71,7 +71,7 @@ could be continuous, discrete or mixed.
<Story <Story
name="Discrete" name="Discrete"
args={{ args={{
squiggleString: "mx(0, 1, 3, 5, 8, 10, [0.1, 0.8, 0.5, 0.3, 0.2, 0.1])", code: "mx(0, 1, 3, 5, 8, 10, [0.1, 0.8, 0.5, 0.3, 0.2, 0.1])",
width, width,
}} }}
> >
@ -85,8 +85,7 @@ could be continuous, discrete or mixed.
<Story <Story
name="Mixed" name="Mixed"
args={{ args={{
squiggleString: code: "mx(0, 1, 3, 5, 8, normal(8, 1), [0.1, 0.3, 0.4, 0.35, 0.2, 0.8])",
"mx(0, 1, 3, 5, 8, normal(8, 1), [0.1, 0.3, 0.4, 0.35, 0.2, 0.8])",
width, width,
}} }}
> >
@ -103,7 +102,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Constant" name="Constant"
args={{ args={{
squiggleString: "500000000", code: "500000000",
width, width,
}} }}
> >
@ -117,7 +116,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Array" name="Array"
args={{ args={{
squiggleString: "[normal(5,2), normal(10,1), normal(40,2), 400000]", code: "[normal(5,2), normal(10,1), normal(40,2), 400000]",
width, width,
}} }}
> >
@ -131,7 +130,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Error" name="Error"
args={{ args={{
squiggleString: "f(x) = normal(", code: "f(x) = normal(",
width, width,
}} }}
> >
@ -145,7 +144,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Boolean" name="Boolean"
args={{ args={{
squiggleString: "3 == 3", code: "3 == 3",
width, width,
}} }}
> >
@ -159,7 +158,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Function to Distribution" name="Function to Distribution"
args={{ args={{
squiggleString: "foo(t) = normal(t,2)*normal(5,3); foo", code: "foo(t) = normal(t,2)*normal(5,3); foo",
width, width,
}} }}
> >
@ -173,7 +172,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Function to Number" name="Function to Number"
args={{ args={{
squiggleString: "foo(t) = t^2; foo", code: "foo(t) = t^2; foo",
width, width,
}} }}
> >
@ -187,7 +186,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="Record" name="Record"
args={{ args={{
squiggleString: "{foo: 35 to 50, bar: [1,2,3]}", code: "{foo: 35 to 50, bar: [1,2,3]}",
width, width,
}} }}
> >
@ -201,7 +200,7 @@ to allow large and small numbers being printed cleanly.
<Story <Story
name="String" name="String"
args={{ args={{
squiggleString: '"Lucky day!"', code: '"Lucky day!"',
width, width,
}} }}
> >

17
packages/components/src/stories/SquiggleEditor.stories.mdx
View File

@ -14,7 +14,20 @@ the distribution.
<Story <Story
name="Normal" name="Normal"
args={{ args={{
initialSquiggleString: "normal(5,2)", defaultCode: "normal(5,2)",
}}
>
{Template.bind({})}
</Story>
</Canvas>
It's also possible to create a controlled version of the same component
<Canvas>
<Story
name="Controlled"
args={{
code: "normal(5,2)",
}} }}
> >
{Template.bind({})} {Template.bind({})}
@ -27,7 +40,7 @@ You can also name variables like so:
<Story <Story
name="Variables" name="Variables"
args={{ args={{
initialSquiggleString: "x = 2\nnormal(x,2)", defaultCode: "x = 2\nnormal(x,2)",
}} }}
> >
{Template.bind({})} {Template.bind({})}

6
packages/components/src/stories/SquigglePartial.stories.mdx
View File

@ -15,7 +15,7 @@ instead returns bindings that can be used by further Squiggle Editors.
<Story <Story
name="Standalone" name="Standalone"
args={{ args={{
initialSquiggleString: "x = normal(5,2)", defaultCode: "x = normal(5,2)",
}} }}
> >
{Template.bind({})} {Template.bind({})}
@ -36,12 +36,12 @@ instead returns bindings that can be used by further Squiggle Editors.
<> <>
<SquigglePartial <SquigglePartial
{...props} {...props}
initialSquiggleString={props.initialPartialString} defaultCode={props.initialPartialString}
onChange={setBindings} onChange={setBindings}
/> />
<SquiggleEditor <SquiggleEditor
{...props} {...props}
initialSquiggleString={props.initialEditorString} defaultCode={props.initialEditorString}
bindings={bindings} bindings={bindings}
/> />
</> </>

2
packages/components/src/stories/SquigglePlayground.stories.mdx
View File

@ -14,7 +14,7 @@ including sampling settings, in squiggle.
<Story <Story
name="Normal" name="Normal"
args={{ args={{
initialSquiggleString: "normal(5,2)", defaultCode: "normal(5,2)",
height: 800, height: 800,
}} }}
> >

4
packages/website/docs/Discussions/Bugs.mdx
View File

@ -16,7 +16,7 @@ If you take the pointwise mixture of two distributions with very different means
In the following case, the mean of the mixture should be equal to the sum of the means of the parts. These are shown as the first two displayed variables. These variables diverge as the underlying distributions change. In the following case, the mean of the mixture should be equal to the sum of the means of the parts. These are shown as the first two displayed variables. These variables diverge as the underlying distributions change.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = {value: normal(1,1), weight: 1} defaultCode={`dist1 = {value: normal(1,1), weight: 1}
dist2 = {value: normal(100000000000,1), weight: 1} dist2 = {value: normal(100000000000,1), weight: 1}
totalWeight = dist1.weight + dist2.weight totalWeight = dist1.weight + dist2.weight
distMixture = mixture(dist1.value, dist2.value, [dist1.weight, dist2.weight]) distMixture = mixture(dist1.value, dist2.value, [dist1.weight, dist2.weight])
@ -30,7 +30,7 @@ separateMeansCombined = (mean(dist1.value) * (dist1.weight) + mean(dist2.value)
The means of sample set distributions can vary dramatically, especially as the numbers get high. The means of sample set distributions can vary dramatically, especially as the numbers get high.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`symbolicDist = 5 to 50333333 defaultCode={`symbolicDist = 5 to 50333333
sampleSetDist = toSampleSet(symbolicDist) sampleSetDist = toSampleSet(symbolicDist)
[mean(symbolicDist), mean(sampleSetDist), symbolicDist, sampleSetDist]`} [mean(symbolicDist), mean(sampleSetDist), symbolicDist, sampleSetDist]`}
/> />

64
packages/website/docs/Guides/DistributionCreation.mdx
View File

@ -22,22 +22,22 @@ If both values are above zero, a `lognormal` distribution is used. If not, a `no
When <code>5 to 10</code> is entered, both numbers are positive, so it When <code>5 to 10</code> is entered, both numbers are positive, so it
generates a lognormal distribution with 5th and 95th percentiles at 5 and generates a lognormal distribution with 5th and 95th percentiles at 5 and
10. 10.
<SquiggleEditor initialSquiggleString="5 to 10" /> <SquiggleEditor defaultCode="5 to 10" />
</TabItem> </TabItem>
<TabItem value="ex3" label="to(5,10)"> <TabItem value="ex3" label="to(5,10)">
<code>5 to 10</code> does the same thing as <code>to(5,10)</code>. <code>5 to 10</code> does the same thing as <code>to(5,10)</code>.
<SquiggleEditor initialSquiggleString="to(5,10)" /> <SquiggleEditor defaultCode="to(5,10)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="-5 to 5"> <TabItem value="ex2" label="-5 to 5">
When <code>-5 to 5</code> is entered, there's negative values, so it When <code>-5 to 5</code> is entered, there's negative values, so it
generates a normal distribution. This has 5th and 95th percentiles at 5 and generates a normal distribution. This has 5th and 95th percentiles at 5 and
10. 10.
<SquiggleEditor initialSquiggleString="-5 to -3" /> <SquiggleEditor defaultCode="-5 to -3" />
</TabItem> </TabItem>
<TabItem value="ex4" label="1 to 10000"> <TabItem value="ex4" label="1 to 10000">
It's very easy to generate distributions with very long tails. If this It's very easy to generate distributions with very long tails. If this
happens, you can click the "log x scale" box to view this using a log scale. happens, you can click the "log x scale" box to view this using a log scale.
<SquiggleEditor initialSquiggleString="1 to 10000" /> <SquiggleEditor defaultCode="1 to 10000" />
</TabItem> </TabItem>
</Tabs> </Tabs>
@ -76,16 +76,16 @@ The `mixture` mixes combines multiple distributions to create a mixture. You can
<Tabs> <Tabs>
<TabItem value="ex1" label="Simple" default> <TabItem value="ex1" label="Simple" default>
<SquiggleEditor initialSquiggleString="mixture(1 to 2, 5 to 8, 9 to 10)" /> <SquiggleEditor defaultCode="mixture(1 to 2, 5 to 8, 9 to 10)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="With Weights"> <TabItem value="ex2" label="With Weights">
<SquiggleEditor initialSquiggleString="mixture(1 to 2, 5 to 8, 9 to 10, [0.1, 0.1, 0.8])" /> <SquiggleEditor defaultCode="mixture(1 to 2, 5 to 8, 9 to 10, [0.1, 0.1, 0.8])" />
</TabItem> </TabItem>
<TabItem value="ex3" label="With Continuous and Discrete Inputs"> <TabItem value="ex3" label="With Continuous and Discrete Inputs">
<SquiggleEditor initialSquiggleString="mixture(1 to 5, 8 to 10, 1, 3, 20)" /> <SquiggleEditor defaultCode="mixture(1 to 5, 8 to 10, 1, 3, 20)" />
</TabItem> </TabItem>
<TabItem value="ex4" label="Array of Distributions Input"> <TabItem value="ex4" label="Array of Distributions Input">
<SquiggleEditor initialSquiggleString="mx([1 to 2, exponential(1)], [1,1])" /> <SquiggleEditor defaultCode="mx([1 to 2, exponential(1)], [1,1])" />
</TabItem> </TabItem>
</Tabs> </Tabs>
@ -111,7 +111,7 @@ The `mixture` mixes combines multiple distributions to create a mixture. You can
In this case, I have a 20% chance of spending 0 time with it. I might estimate my hours with, In this case, I have a 20% chance of spending 0 time with it. I might estimate my hours with,
</p> </p>
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`hours_the_project_will_take = 5 to 20 defaultCode={`hours_the_project_will_take = 5 to 20
chance_of_doing_anything = 0.8 chance_of_doing_anything = 0.8
mx(hours_the_project_will_take, 0, [chance_of_doing_anything, 1 - chance_of_doing_anything])`} mx(hours_the_project_will_take, 0, [chance_of_doing_anything, 1 - chance_of_doing_anything])`}
/> />
@ -125,7 +125,7 @@ mx(hours_the_project_will_take, 0, [chance_of_doing_anything, 1 - chance_of_doin
very wide, just in case they were dramatically off for some weird reason. very wide, just in case they were dramatically off for some weird reason.
</p> </p>
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`forecast = 3 to 30 defaultCode={`forecast = 3 to 30
chance_completely_wrong = 0.05 chance_completely_wrong = 0.05
forecast_if_completely_wrong = -100 to 200 forecast_if_completely_wrong = -100 to 200
mx(forecast, forecast_if_completely_wrong, [1-chance_completely_wrong, chance_completely_wrong])`} mx(forecast, forecast_if_completely_wrong, [1-chance_completely_wrong, chance_completely_wrong])`}
@ -141,10 +141,10 @@ Creates a [normal distribution](https://en.wikipedia.org/wiki/Normal_distributio
<Tabs> <Tabs>
<TabItem value="ex1" label="normal(5,1)" default> <TabItem value="ex1" label="normal(5,1)" default>
<SquiggleEditor initialSquiggleString="normal(5, 1)" /> <SquiggleEditor defaultCode="normal(5, 1)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="normal(100000000000, 100000000000)"> <TabItem value="ex2" label="normal(100000000000, 100000000000)">
<SquiggleEditor initialSquiggleString="normal(100000000000, 100000000000)" /> <SquiggleEditor defaultCode="normal(100000000000, 100000000000)" />
</TabItem> </TabItem>
</Tabs> </Tabs>
@ -165,7 +165,7 @@ Creates a [log-normal distribution](https://en.wikipedia.org/wiki/Log-normal_dis
you take the log of our lognormal distribution. They can be difficult to directly reason about. you take the log of our lognormal distribution. They can be difficult to directly reason about.
Because of this complexity, we recommend typically using the <a href="#to">to</a> syntax instead of estimating `mu` and `sigma` directly. Because of this complexity, we recommend typically using the <a href="#to">to</a> syntax instead of estimating `mu` and `sigma` directly.
<SquiggleEditor initialSquiggleString="lognormal(0, 0.7)" /> <SquiggleEditor defaultCode="lognormal(0, 0.7)" />
### Arguments ### Arguments
@ -185,7 +185,7 @@ Because of this complexity, we recommend typically using the <a href="#to">to</a
are identical: are identical:
</p> </p>
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`normalMean = 10 defaultCode={`normalMean = 10
normalStdDev = 2 normalStdDev = 2
logOfLognormal = log(lognormal(normalMean, normalStdDev)) logOfLognormal = log(lognormal(normalMean, normalStdDev))
[logOfLognormal, normal(normalMean, normalStdDev)]`} [logOfLognormal, normal(normalMean, normalStdDev)]`}
@ -198,7 +198,7 @@ logOfLognormal = log(lognormal(normalMean, normalStdDev))
Creates a [uniform distribution](<https://en.wikipedia.org/wiki/Uniform_distribution_(continuous)>) with the given low and high values. Creates a [uniform distribution](<https://en.wikipedia.org/wiki/Uniform_distribution_(continuous)>) with the given low and high values.
<SquiggleEditor initialSquiggleString="uniform(3,7)" /> <SquiggleEditor defaultCode="uniform(3,7)" />
### Arguments ### Arguments
@ -236,19 +236,19 @@ with values at 1 and 2. Therefore, this is the same as `mixture(pointMass(1),poi
<Tabs> <Tabs>
<TabItem value="ex1" label="pointMass(3)" default> <TabItem value="ex1" label="pointMass(3)" default>
<SquiggleEditor initialSquiggleString="pointMass(3)" /> <SquiggleEditor defaultCode="pointMass(3)" />
</TabItem> </TabItem>
<TabItem value="ex3" label="mixture(1,3,5)"> <TabItem value="ex3" label="mixture(1,3,5)">
<SquiggleEditor initialSquiggleString="mixture(1,3,5)" /> <SquiggleEditor defaultCode="mixture(1,3,5)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="normal(5,2) * 6"> <TabItem value="ex2" label="normal(5,2) * 6">
<SquiggleEditor initialSquiggleString="normal(5,2) * 6" /> <SquiggleEditor defaultCode="normal(5,2) * 6" />
</TabItem> </TabItem>
<TabItem value="ex4" label="dotAdd(normal(5,2), 6)"> <TabItem value="ex4" label="dotAdd(normal(5,2), 6)">
<SquiggleEditor initialSquiggleString="dotAdd(normal(5,2), 6)" /> <SquiggleEditor defaultCode="dotAdd(normal(5,2), 6)" />
</TabItem> </TabItem>
<TabItem value="ex5" label="dotMultiply(normal(5,2), 6)"> <TabItem value="ex5" label="dotMultiply(normal(5,2), 6)">
<SquiggleEditor initialSquiggleString="dotMultiply(normal(5,2), 6)" /> <SquiggleEditor defaultCode="dotMultiply(normal(5,2), 6)" />
</TabItem> </TabItem>
</Tabs> </Tabs>
@ -264,19 +264,19 @@ Creates a [beta distribution](https://en.wikipedia.org/wiki/Beta_distribution) w
<Tabs> <Tabs>
<TabItem value="ex1" label="beta(10, 20)" default> <TabItem value="ex1" label="beta(10, 20)" default>
<SquiggleEditor initialSquiggleString="beta(10,20)" /> <SquiggleEditor defaultCode="beta(10,20)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="beta(1000, 1000)"> <TabItem value="ex2" label="beta(1000, 1000)">
<SquiggleEditor initialSquiggleString="beta(1000, 2000)" /> <SquiggleEditor defaultCode="beta(1000, 2000)" />
</TabItem> </TabItem>
<TabItem value="ex3" label="beta(1, 10)"> <TabItem value="ex3" label="beta(1, 10)">
<SquiggleEditor initialSquiggleString="beta(1, 10)" /> <SquiggleEditor defaultCode="beta(1, 10)" />
</TabItem> </TabItem>
<TabItem value="ex4" label="beta(10, 1)"> <TabItem value="ex4" label="beta(10, 1)">
<SquiggleEditor initialSquiggleString="beta(10, 1)" /> <SquiggleEditor defaultCode="beta(10, 1)" />
</TabItem> </TabItem>
<TabItem value="ex5" label="beta(0.8, 0.8)"> <TabItem value="ex5" label="beta(0.8, 0.8)">
<SquiggleEditor initialSquiggleString="beta(0.8, 0.8)" /> <SquiggleEditor defaultCode="beta(0.8, 0.8)" />
</TabItem> </TabItem>
</Tabs> </Tabs>
@ -295,16 +295,16 @@ Creates a [beta distribution](https://en.wikipedia.org/wiki/Beta_distribution) w
<summary>Examples</summary> <summary>Examples</summary>
<Tabs> <Tabs>
<TabItem value="ex1" label="beta(0.3, 0.3)" default> <TabItem value="ex1" label="beta(0.3, 0.3)" default>
<SquiggleEditor initialSquiggleString="beta(0.3, 0.3)" /> <SquiggleEditor defaultCode="beta(0.3, 0.3)" />
</TabItem> </TabItem>
<TabItem value="ex2" label="beta(0.5, 0.5)"> <TabItem value="ex2" label="beta(0.5, 0.5)">
<SquiggleEditor initialSquiggleString="beta(0.5, 0.5)" /> <SquiggleEditor defaultCode="beta(0.5, 0.5)" />
</TabItem> </TabItem>
<TabItem value="ex3" label="beta(0.8, 0.8)"> <TabItem value="ex3" label="beta(0.8, 0.8)">
<SquiggleEditor initialSquiggleString="beta(.8,.8)" /> <SquiggleEditor defaultCode="beta(.8,.8)" />
</TabItem> </TabItem>
<TabItem value="ex4" label="beta(0.9, 0.9)"> <TabItem value="ex4" label="beta(0.9, 0.9)">
<SquiggleEditor initialSquiggleString="beta(.9,.9)" /> <SquiggleEditor defaultCode="beta(.9,.9)" />
</TabItem> </TabItem>
</Tabs> </Tabs>
</details> </details>
@ -316,7 +316,7 @@ Creates a [beta distribution](https://en.wikipedia.org/wiki/Beta_distribution) w
Creates an [exponential distribution](https://en.wikipedia.org/wiki/Exponential_distribution) with the given rate. Creates an [exponential distribution](https://en.wikipedia.org/wiki/Exponential_distribution) with the given rate.
<SquiggleEditor initialSquiggleString="exponential(4)" /> <SquiggleEditor defaultCode="exponential(4)" />
### Arguments ### Arguments
@ -334,7 +334,7 @@ Creates a [triangular distribution](https://en.wikipedia.org/wiki/Triangular_dis
- `mode`: Number greater than `low` - `mode`: Number greater than `low`
- `high`: Number greater than `mode` - `high`: Number greater than `mode`
<SquiggleEditor initialSquiggleString="triangular(1, 2, 4)" /> <SquiggleEditor defaultCode="triangular(1, 2, 4)" />
## FromSamples ## FromSamples
@ -342,7 +342,7 @@ Creates a [triangular distribution](https://en.wikipedia.org/wiki/Triangular_dis
Creates a sample set distribution using an array of samples. Creates a sample set distribution using an array of samples.
<SquiggleEditor initialSquiggleString="fromSamples([1,2,3,4,6,5,5,5])" /> <SquiggleEditor defaultCode="fromSamples([1,2,3,4,6,5,5,5])" />
### Arguments ### Arguments

58
packages/website/docs/Guides/Functions.mdx
View File

@ -16,7 +16,7 @@ the value of one random sample chosen from the first distribution and the value
chosen from the second distribution. chosen from the second distribution.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 + dist2`} dist1 + dist2`}
/> />
@ -28,7 +28,7 @@ the distribution of the value of one random sample chosen from the first distrib
the value of one random sample chosen from the second distribution. the value of one random sample chosen from the second distribution.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 - dist2`} dist1 - dist2`}
/> />
@ -40,14 +40,14 @@ the value of one random sample chosen from the first distribution times the valu
chosen from the second distribution. chosen from the second distribution.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 * dist2`} dist1 * dist2`}
/> />
We also provide concatenation of two distributions as a syntax sugar for `*` We also provide concatenation of two distributions as a syntax sugar for `*`
<SquiggleEditor initialSquiggleString="(0.1 to 1) triangular(1,2,3)" /> <SquiggleEditor defaultCode="(0.1 to 1) triangular(1,2,3)" />
### Division ### Division
@ -58,7 +58,7 @@ chosen from the second distribution. If the second distribution has some values
tends to be particularly unstable. tends to be particularly unstable.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 / dist2`} dist1 / dist2`}
/> />
@ -69,12 +69,12 @@ A projection over a contracted x-axis. The exponentiation operation represents t
the exponentiation of the value of one random sample chosen from the first distribution to the power of the exponentiation of the value of one random sample chosen from the first distribution to the power of
the value one random sample chosen from the second distribution. the value one random sample chosen from the second distribution.
<SquiggleEditor initialSquiggleString={`(0.1 to 1) ^ beta(2, 3)`} /> <SquiggleEditor defaultCode={`(0.1 to 1) ^ beta(2, 3)`} />
### Taking the base `e` exponential ### Taking the base `e` exponential
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist = triangular(1,2,3) defaultCode={`dist = triangular(1,2,3)
exp(dist)`} exp(dist)`}
/> />
@ -83,19 +83,19 @@ exp(dist)`}
A projection over a stretched x-axis. A projection over a stretched x-axis.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist = triangular(1,2,3) defaultCode={`dist = triangular(1,2,3)
log(dist)`} log(dist)`}
/> />
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist = beta(1,2) defaultCode={`dist = beta(1,2)
log10(dist)`} log10(dist)`}
/> />
Base `x` Base `x`
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`x = 2 defaultCode={`x = 2
dist = beta(2,3) dist = beta(2,3)
log(dist, x)`} log(dist, x)`}
/> />
@ -114,7 +114,7 @@ For every point on the x-axis, operate the corresponding points in the y axis of
TODO: this isn't in the new interpreter/parser yet. TODO: this isn't in the new interpreter/parser yet.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 .+ dist2`} dist1 .+ dist2`}
/> />
@ -124,7 +124,7 @@ dist1 .+ dist2`}
TODO: this isn't in the new interpreter/parser yet. TODO: this isn't in the new interpreter/parser yet.
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 .- dist2`} dist1 .- dist2`}
/> />
@ -132,7 +132,7 @@ dist1 .- dist2`}
### Pointwise multiplication ### Pointwise multiplication
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 .* dist2`} dist1 .* dist2`}
/> />
@ -140,7 +140,7 @@ dist1 .* dist2`}
### Pointwise division ### Pointwise division
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = uniform(0,20) defaultCode={`dist1 = uniform(0,20)
dist2 = normal(10,8) dist2 = normal(10,8)
dist1 ./ dist2`} dist1 ./ dist2`}
/> />
@ -148,7 +148,7 @@ dist1 ./ dist2`}
### Pointwise exponentiation ### Pointwise exponentiation
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`dist1 = 1 to 10 defaultCode={`dist1 = 1 to 10
dist2 = triangular(1,2,3) dist2 = triangular(1,2,3)
dist1 .^ dist2`} dist1 .^ dist2`}
/> />
@ -160,7 +160,7 @@ dist1 .^ dist2`}
The `pdf(dist, x)` function returns the density of a distribution at the The `pdf(dist, x)` function returns the density of a distribution at the
given point x. given point x.
<SquiggleEditor initialSquiggleString="pdf(normal(0,1),0)" /> <SquiggleEditor defaultCode="pdf(normal(0,1),0)" />
#### Validity #### Validity
@ -172,7 +172,7 @@ given point x.
The `cdf(dist, x)` gives the cumulative probability of the distribution The `cdf(dist, x)` gives the cumulative probability of the distribution
or all values lower than x. It is the inverse of `quantile`. or all values lower than x. It is the inverse of `quantile`.
<SquiggleEditor initialSquiggleString="cdf(normal(0,1),0)" /> <SquiggleEditor defaultCode="cdf(normal(0,1),0)" />
#### Validity #### Validity
@ -185,7 +185,7 @@ The `quantile(dist, prob)` gives the value x or which the probability for all va
lower than x is equal to prob. It is the inverse of `cdf`. In the literature, it lower than x is equal to prob. It is the inverse of `cdf`. In the literature, it
is also known as the quantiles function. is also known as the quantiles function.
<SquiggleEditor initialSquiggleString="quantile(normal(0,1),0.5)" /> <SquiggleEditor defaultCode="quantile(normal(0,1),0.5)" />
#### Validity #### Validity
@ -196,29 +196,29 @@ is also known as the quantiles function.
The `mean(distribution)` function gives the mean (expected value) of a distribution. The `mean(distribution)` function gives the mean (expected value) of a distribution.
<SquiggleEditor initialSquiggleString="mean(normal(5, 10))" /> <SquiggleEditor defaultCode="mean(normal(5, 10))" />
### Sampling a distribution ### Sampling a distribution
The `sample(distribution)` samples a given distribution. The `sample(distribution)` samples a given distribution.
<SquiggleEditor initialSquiggleString="sample(normal(0, 10))" /> <SquiggleEditor defaultCode="sample(normal(0, 10))" />
## Converting between distribution formats ## Converting between distribution formats
Recall the [three formats of distributions](https://develop--squiggle-documentation.netlify.app/docs/Discussions/Three-Types-Of-Distributions). We can force any distribution into `SampleSet` format Recall the [three formats of distributions](https://develop--squiggle-documentation.netlify.app/docs/Discussions/Three-Types-Of-Distributions). We can force any distribution into `SampleSet` format
<SquiggleEditor initialSquiggleString="toSampleSet(normal(5, 10))" /> <SquiggleEditor defaultCode="toSampleSet(normal(5, 10))" />
Or `PointSet` format Or `PointSet` format
<SquiggleEditor initialSquiggleString="toPointSet(normal(5, 10))" /> <SquiggleEditor defaultCode="toPointSet(normal(5, 10))" />
### `toSampleSet` has two signatures ### `toSampleSet` has two signatures
Above, we saw the unary `toSampleSet`, which uses an internal hardcoded number of samples. If you'd like to provide the number of samples, it has a binary signature as well (floored) Above, we saw the unary `toSampleSet`, which uses an internal hardcoded number of samples. If you'd like to provide the number of samples, it has a binary signature as well (floored)
<SquiggleEditor initialSquiggleString="[toSampleSet(0.1 to 1, 100.1), toSampleSet(0.1 to 1, 5000), toSampleSet(0.1 to 1, 20000)]" /> <SquiggleEditor defaultCode="[toSampleSet(0.1 to 1, 100.1), toSampleSet(0.1 to 1, 5000), toSampleSet(0.1 to 1, 20000)]" />
#### Validity #### Validity
@ -230,13 +230,13 @@ Some distribution operations (like horizontal shift) return an unnormalized dist
We provide a `normalize` function We provide a `normalize` function
<SquiggleEditor initialSquiggleString="normalize((0.1 to 1) + triangular(0.1, 1, 10))" /> <SquiggleEditor defaultCode="normalize((0.1 to 1) + triangular(0.1, 1, 10))" />
#### Validity - Input to `normalize` must be a dist #### Validity - Input to `normalize` must be a dist
We provide a predicate `isNormalized`, for when we have simple control flow We provide a predicate `isNormalized`, for when we have simple control flow
<SquiggleEditor initialSquiggleString="isNormalized((0.1 to 1) * triangular(0.1, 1, 10))" /> <SquiggleEditor defaultCode="isNormalized((0.1 to 1) * triangular(0.1, 1, 10))" />
#### Validity #### Validity
@ -246,7 +246,7 @@ We provide a predicate `isNormalized`, for when we have simple control flow
You may like to debug by right clicking your browser and using the _inspect_ functionality on the webpage, and viewing the _console_ tab. Then, wrap your squiggle output with `inspect` to log an internal representation. You may like to debug by right clicking your browser and using the _inspect_ functionality on the webpage, and viewing the _console_ tab. Then, wrap your squiggle output with `inspect` to log an internal representation.
<SquiggleEditor initialSquiggleString="inspect(toSampleSet(0.1 to 1, 100))" /> <SquiggleEditor defaultCode="inspect(toSampleSet(0.1 to 1, 100))" />
Save for a logging side effect, `inspect` does nothing to input and returns it. Save for a logging side effect, `inspect` does nothing to input and returns it.
@ -254,12 +254,12 @@ Save for a logging side effect, `inspect` does nothing to input and returns it.
You can cut off from the left You can cut off from the left
<SquiggleEditor initialSquiggleString="truncateLeft(0.1 to 1, 0.5)" /> <SquiggleEditor defaultCode="truncateLeft(0.1 to 1, 0.5)" />
You can cut off from the right You can cut off from the right
<SquiggleEditor initialSquiggleString="truncateRight(0.1 to 1, 0.5)" /> <SquiggleEditor defaultCode="truncateRight(0.1 to 1, 0.5)" />
You can cut off from both sides You can cut off from both sides
<SquiggleEditor initialSquiggleString="truncate(0.1 to 1, 0.5, 1.5)" /> <SquiggleEditor defaultCode="truncate(0.1 to 1, 0.5, 1.5)" />

12
packages/website/docs/Guides/Language.mdx
View File

@ -9,22 +9,22 @@ import { SquiggleEditor } from "../../src/components/SquiggleEditor";
### Distributions ### Distributions
<SquiggleEditor initialSquiggleString={`mixture(1 to 2, 3, [0.3, 0.7])`} /> <SquiggleEditor defaultCode={`mixture(1 to 2, 3, [0.3, 0.7])`} />
### Numbers ### Numbers
<SquiggleEditor initialSquiggleString="4.32" /> <SquiggleEditor defaultCode="4.32" />
### Arrays ### Arrays
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`[beta(1,10), 4, isNormalized(toSampleSet(1 to 2))]`} defaultCode={`[beta(1,10), 4, isNormalized(toSampleSet(1 to 2))]`}
/> />
### Records ### Records
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`d = {dist: triangular(0, 1, 2), weight: 0.25} defaultCode={`d = {dist: triangular(0, 1, 2), weight: 0.25}
d.dist`} d.dist`}
/> />
@ -33,7 +33,7 @@ d.dist`}
A statement assigns expressions to names. It looks like `<symbol> = <expression>` A statement assigns expressions to names. It looks like `<symbol> = <expression>`
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`value_of_work = 10 to 70 defaultCode={`value_of_work = 10 to 70
5 + value_of_work / 75`} 5 + value_of_work / 75`}
/> />
@ -42,7 +42,7 @@ A statement assigns expressions to names. It looks like `<symbol> = <expression>
We can define functions We can define functions
<SquiggleEditor <SquiggleEditor
initialSquiggleString={`ozzie_estimate(t) = lognormal(t^(1.1), 0.5) defaultCode={`ozzie_estimate(t) = lognormal(t^(1.1), 0.5)
nuno_estimate(t, m) = mixture(normal(-5, 1), lognormal(m, t / 1.25)) nuno_estimate(t, m) = mixture(normal(-5, 1), lognormal(m, t / 1.25))
ozzie_estimate(1) * nuno_estimate(1, 1)`} ozzie_estimate(1) * nuno_estimate(1, 1)`}
/> />

2
packages/website/src/pages/playground.js
View File

@ -37,7 +37,7 @@ function setHashData(data) {
export default function PlaygroundPage() { export default function PlaygroundPage() {
const playgroundProps = { const playgroundProps = {
initialSquiggleString: "normal(0,1)", defaultCode: "normal(0,1)",
height: 700, height: 700,
showTypes: true, showTypes: true,
...getHashData(), ...getHashData(),

2
yarn.lock
View File

@ -4316,7 +4316,7 @@
resolved "https://registry.yarnpkg.com/@types/range-parser/-/range-parser-1.2.4.tgz#cd667bcfdd025213aafb7ca5915a932590acdcdc" resolved "https://registry.yarnpkg.com/@types/range-parser/-/range-parser-1.2.4.tgz#cd667bcfdd025213aafb7ca5915a932590acdcdc"
integrity sha512-EEhsLsD6UsDM1yFhAvy0Cjr6VwmpMWqFBCb9w07wVugF7w9nfajxLuVmngTIpgS6svCnm6Vaw+MZhoDCKnOfsw== integrity sha512-EEhsLsD6UsDM1yFhAvy0Cjr6VwmpMWqFBCb9w07wVugF7w9nfajxLuVmngTIpgS6svCnm6Vaw+MZhoDCKnOfsw==
"@types/react-dom@^18.0.0", "@types/react-dom@^18.0.5": "@types/react-dom@^18.0.0":
version "18.0.5" version "18.0.5"
resolved "https://registry.yarnpkg.com/@types/react-dom/-/react-dom-18.0.5.tgz#330b2d472c22f796e5531446939eacef8378444a" resolved "https://registry.yarnpkg.com/@types/react-dom/-/react-dom-18.0.5.tgz#330b2d472c22f796e5531446939eacef8378444a"
integrity sha512-OWPWTUrY/NIrjsAPkAk1wW9LZeIjSvkXRhclsFO8CZcZGCOg2G0YZy4ft+rOyYxy8B7ui5iZzi9OkDebZ7/QSA== integrity sha512-OWPWTUrY/NIrjsAPkAk1wW9LZeIjSvkXRhclsFO8CZcZGCOg2G0YZy4ft+rOyYxy8B7ui5iZzi9OkDebZ7/QSA==