kleisli.io kli blog docs

Navigation

Guide Introduction Getting Started Proof Guide Theory Trampoline Systems Architecture Kernel Architecture Kernel Formal Specification

Reference

Core API Adapt Binds Comp Kernel Pipeline Queue Trampoline

Effects Acc Choice Conditions Error HasHandler Linear Reader Scope State Typecheck Writer

Types Constructors Dependent Foundation Linear Primitives Refinement Universe

Streams Combine Core Limit Reduce Transform

Type Checker Check Conv Elaborate Eval Hoas Quote Term Value Verified

A freer-monad effect layer with a dependent type checker, all in pure Nix.

all pages, single document

Guide Introduction Getting Started Proof Guide Theory Trampoline Systems Architecture Kernel Architecture Kernel Formal Specification

Reference

Core API Adapt Binds Comp Kernel Pipeline Queue Trampoline

Effects Acc Choice Conditions Error HasHandler Linear Reader Scope State Typecheck Writer

Types Constructors Dependent Foundation Linear Primitives Refinement Universe

Streams Combine Core Limit Reduce Transform

Type Checker Check Conv Elaborate Eval Hoas Quote Term Value Verified

docs/nix-effects/Effects/HasHandler

HasHandler

Reference

Auto-generated API reference from nix-effects source.

Check if a handler with given name exists in current scope.

hasHandler : String -> Computation Bool

prevError Linearnext

kleisli.io kli blog docs source