Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Control Flow Abstraction Funcers

fatal

Aborts with an error message

TypeValue
InputAnyany value
OutputVoiddoes not return

Examples

ProgramTypeValueError
1 if ==1 then fatal else true okBoolValue error at 1:15
1 if ==1 then fatal else true ok
^
Code: UnexpectedValue
Message: Component got an unexpected input value.
Got value: 1

must

Aborts with an error message if input is null

TypeValue
InputNull|<A Any>a value that you want to be sure is not null
Output<A Any>the input value, unless it is null

Examples

ProgramTypeValueError
null mustNullValue error at 1:6
null must
^
Code: UnexpectedValue
Message: Component got an unexpected input value.
Got value: null