lux/codata/cont

Types

Cont

Delimited continuations.

(type: (Cont a)
  (All [b] (-> (-> a c) c)))

Macros

@lazy

## Delays the evaluation of an expression, by wrapping it in a continuation 'thunk'.
(@lazy (some-computation some-input))

Structs

Applicative<Cont>

(lux/control/applicative;Applicative Cont)

Functor<Cont>

(lux/control/functor;Functor Cont)

Monad<Cont>

(lux/control/monad;Monad Cont)

Values

(call/cc f)

Call with current continuation.

(All [a b c] (-> (-> (-> a (Cont b c)) (Cont a c)) (Cont a c)))

(run thunk)

Forces a continuation thunk to be evaluated.

(All [a] (-> (Cont a) a))