Skuld.Comp.Types (skuld v0.1.8)

View Source

Type definitions for Skuld.Comp.

These types define the core abstractions of the evidence-passing effect system.

Summary

Types

computation()

A computation awaiting execution

env()

The environment carrying evidence, state, and leave-scope

handler()

A handler interprets effect operations

k()

Continuation after an effect

leave_scope()

Leave-scope handler - cleans up or redirects

result()

Any result value - opaque to the framework

sig()

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

Types

computation()

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

A computation awaiting execution

env()

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

The environment carrying evidence, state, and leave-scope

handler()

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

A handler interprets effect operations

k()

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

Continuation after an effect

leave_scope()

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

Leave-scope handler - cleans up or redirects

result()

@type result() :: term()

Any result value - opaque to the framework

sig()

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

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