User Manual

Contents:

• Dependency
  • Sbt Example
  • Compiler Plugin
  • Loom support on JVM
• Licensing and commercial support
• Basic Usage
  • Traditional async/await interface
  • Direct context encoding. (experimental)
  • Alternative names
• High-order functions.
  • Async shift substitution.
  • Loom-based runtime await.
  • How to provide shifted functions.
• Non-local returns
• Monads interoperability.
  • Future Examples
  • js.Promise
  • Monad Context Inclusion
• Automatic Coloring (deprecated)
  • Overview
  • Automatic Coloring & Memoization (deprecated)
  • Safety rules for using memoized effect.
  • Custom value discard (deprecated)
  • Migration from automatic coloring.
• Generators
  • Async Streaming
  • Writing generator adapters for custom streams
• Integrations
  • io.github.dotty-cps-async/cps-async-connect
  • typelevel/cats-effect-cps
  • Call for additions:
• Monad Context
• Runtime Await.
• Additional Features
  • Short syntax for await
  • SIP-22 compatible interface
• Migration from previous versions.
  • 0.9.17
  • 0.9.16
• LogicStream: Monadic Logic Programming
  • Dependency
  • Basic Usage
  • Logical operators
  • Synchronous style
  • Asynchronous style
  • LogicT References
• Random Notes
  • CPS-Async transformations
  • Categorical interpretation for substitutions in async call chains:
• FAQ
• References
  • Presentations
  • Related work in Scala 2
  • Related work in Scala 3
  • Related work in other languages
  • Monadic Computations in Functional Programming (unrelated to PO Syntax, most examples are Haskell).

API docs

• cps for JVM

• cps for JS

• Logic

Indices and tables

• Index

• Module Index

• Search Page