Skuld.Comp.IHandler behaviour (skuld v0.1.8)

View Source

Behaviour for effect handlers in Skuld.

Implementing this behaviour provides:

  • LSP autocomplete for the handle/3 callback signature
  • Compile-time warnings if the callback is missing or has wrong arity
  • Public handle/3 function that can be referenced as &Module.handle/3

Example

defmodule MyEffect do
  @behaviour Skuld.Comp.IHandler

  @impl Skuld.Comp.IHandler
  def handle(:op, env, k) do
    k.(:result, env)
  end
end

# Install handler:
env |> Env.with_handler(MyEffect, &MyEffect.handle/3)

Summary

Callbacks

handle(args, env, k)

Handle an effect operation.

Callbacks

handle(args, env, k)

@callback handle(args :: term(), env :: Skuld.Comp.Types.env(), k :: Skuld.Comp.Types.k()) ::
  {Skuld.Comp.Types.result(), Skuld.Comp.Types.env()}

Handle an effect operation.

Receives:

  • args - the operation arguments (e.g., %Get{}, %Put{value: v})
  • env - the current environment
  • k - the continuation to invoke with the result

Must return {result, env} - either by calling k.(value, env) or by returning a sentinel like {%Skuld.Comp.Throw{}, env}.