Module `Call_kind.Effect`

Algebraic effect operations. The corresponding Apply_expr will have the callee set to None and an empty argument list for these. This is done to ensure there is no confusion between the different Simples.

type t = private

| Perform of {
1. eff : Flambda2_term_basics.Simple.t;
}
| Reperform of {
1. eff : Flambda2_term_basics.Simple.t;
2. cont : Flambda2_term_basics.Simple.t;
3. last_fiber : Flambda2_term_basics.Simple.t;
}
| Run_stack of {
1. stack : Flambda2_term_basics.Simple.t;
2. f : Flambda2_term_basics.Simple.t;
3. arg : Flambda2_term_basics.Simple.t;
}
| Resume of {
1. stack : Flambda2_term_basics.Simple.t;
2. f : Flambda2_term_basics.Simple.t;
3. arg : Flambda2_term_basics.Simple.t;
4. last_fiber : Flambda2_term_basics.Simple.t;
}

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_terms.Call_kind.Effect.t

val free_names : 
  Flambda2_terms.Call_kind.Effect.t ->
  Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : 
  Flambda2_terms.Call_kind.Effect.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Call_kind.Effect.t

Apply a renaming throughout a term.

val perform : 
  eff:Flambda2_term_basics.Simple.t ->
  Flambda2_terms.Call_kind.Effect.t

val reperform : 
  eff:Flambda2_term_basics.Simple.t ->
  cont:Flambda2_term_basics.Simple.t ->
  last_fiber:Flambda2_term_basics.Simple.t ->
  Flambda2_terms.Call_kind.Effect.t

val run_stack : 
  stack:Flambda2_term_basics.Simple.t ->
  f:Flambda2_term_basics.Simple.t ->
  arg:Flambda2_term_basics.Simple.t ->
  Flambda2_terms.Call_kind.Effect.t

val resume : 
  stack:Flambda2_term_basics.Simple.t ->
  f:Flambda2_term_basics.Simple.t ->
  arg:Flambda2_term_basics.Simple.t ->
  last_fiber:Flambda2_term_basics.Simple.t ->
  Flambda2_terms.Call_kind.Effect.t

Module Call_kind.Effect

Module `Call_kind.Effect`