Fuzion • Library Modules • base • choice • apply

choice.apply

apply

(

type

: Typed_Function R,

f F

)

R¶

[src]

apply -- apply `f.call` to the value stored in this choice

This can be used to perform operation on values of arbitray choice types.

Example:

# This is a feature that can be called with an argument of any choice
# type with two type parameters, i.e, two variants.
#
reflect_on_choice(X, Y type,
                  C type : choice X Y,
                  c C)
=>
  c.apply T,v->
    if T : numeric then
      say "c is numeric $v, c² is $(v*v)"
    else if T : String then
      say "c is String '$v' length $(v.codepoint_count)"
    else
      say "c is of type $T value $v"
reflect_on_choice true
reflect_on_choice _ _ (option String) "hi!"
reflect_on_choice _ _ (option String) nil
reflect_on_choice _ _ (choice (num.complex f64) (num.fraction i64)) (num.complex -1.0 1.0)
reflect_on_choice _ _ (choice (num.complex f64) (num.fraction i64)) (3⁄4)

What are effects?

which prints

Type Parameters

Arguments

F¶

[src]

0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)

last changed: 2026-11-03