@type computation(_result) :: (env(), k() -> {result(), env()})

A computation awaiting execution.

The type parameter documents what the computation produces when run. Dialyzer erases it (it's a phantom parameter), but it appears in hover docs, ExDoc, and generated specs for readability.

Examples

@spec get_todo(String.t()) :: computation({:ok, Todo.t()} | {:error, term()})
@spec get_todo!(String.t()) :: computation(Todo.t())

@type env() :: Skuld.Comp.Env.t()

The environment carrying evidence, state, and leave-scope

@type handler() :: (args :: term(), env(), k() -> {result(), env()})

A handler interprets effect operations

@type k() :: (term(), env() -> {result(), env()})

Continuation after an effect

@type leave_scope() :: (result(), env() -> {result(), env()})

Leave-scope handler - cleans up or redirects

@type result() :: term()

Any result value - opaque to the framework

@type sig() :: atom() | {atom(), atom()}

Effect signature - identifies which handler handles an operation. Can be a simple atom or a tuple for tagged effects.

@type transform_suspend() :: (Skuld.Comp.ExternalSuspend.t(), env() ->
                          {Skuld.Comp.ExternalSuspend.t(), env()})

Transform-suspend handler - decorates ExternalSuspend values when yielding