¤ getSP, getK, et al

Types

getSP :: Cont (SP a b) a
getK :: Cont (K a b) (KEvent a)
getF :: Cont (F a b) a

Synopsis

getSP insp

type KCommand a = Message XCommand a

type FCommand a = Message TCommand a

Description

Arguments

insp :: ??

When a value x has been read from the input stream, getSP insp behaves like insp x.

Example

 getSP (\x->putSP x nullSP)

See Also