Bind(Instruction, string ➜ Instruction) ➜ Instruction;
Transforms the result of an instruction into a new instruction. Also implemented as
SelectMany
.
Map(Instruction, string ➜ string) ➜ Instruction;
Transforms the result of an instruction. Also implemented as
Select
.
SelectMany(Instruction, string ➜ Instruction, (string, string) ➜ string) ➜ Instruction;
Transforms the result of an instruction into a new instruction, then combines their results.