Navigation
GuideIntroductionGetting StartedSugarProof GuideTheoryTrampolineSystems ArchitectureKernel ArchitectureKernel Formal Specification
Reference
Core APIAdaptBindsBuildCompDiagKernelPipelineQueueSugarTrampoline
EffectsAccChoiceConditionsErrorHasHandlerLinearReaderScopeStateTypecheckWriter
TypesConstructorsDependentFoundationLinearPrimitivesRefinementUniverse
StreamsCombineCoreLimitReduceTransform
Type CheckerCheckConvElaborateEvalHoasQuoteTermValueVerified

Sugar

Reference
Auto-generated API reference from nix-effects source.

Opt-in syntax-livability layer for nix-effects.

  • fx.sugar.do / fx.sugar.letM — combinator forms
  • fx.sugar.operators.__div — / as reverse-apply (bind)
  • re-exports of pure bind run handle map seq pipe kleisli

See book/src/sugar.md for the opt-in matrix and caveats.

prevQueueTrampolinenext