Pandora.Paradigm.Controlflow.Observable

Documentation

type Observable t a r = (Continuation r < Capture r t) < a

observe :: Continuation r t a -> Observable t a r

Make continuation observable

notify :: Observable t a r -> (a -> t r) -> t r

Listen only first event, call back just once

follow :: Applicative t => Observable t a r -> (a -> t r) -> t r

Listen only first event, call back loop

subscribe :: Applicative t => Observable t a r -> (a -> t r) -> t r

Listen all events from action, call back just once

watch :: Applicative t => Observable t a r -> (a -> t r) -> t r

Listen all events from action, call back loop

(.:~.) :: Observable t a r -> (a -> t r) -> t r

Infix version of notify

(.:~*) :: Applicative t => Observable t a r -> (a -> t r) -> t r

Infix version of follow

(*:~.) :: Applicative t => Observable t a r -> (a -> t r) -> t r

Infix version of subscribe

(*:~*) :: Applicative t => Observable t a r -> (a -> t r) -> t r

Infix version of watch