ยค K, KSP, et al

The fudget kernel type

Types

data K hi ho = K (KSP hi ho)
instance StreamProcIO K
instance FudgetIO K

type KSP hi ho = SP (KEvent hi) (KCommand ho)

type Fa a b c d = SP (Message a c) (Message b d)

type KEvent a = Message FResponse a

type KCommand a = Message FRequest a

Description

K a b is the Fudget Kernel type, which is what atomic fudgets are built from.

See Also

Uses of fudget kernel: windowF, groupF, shellKF.

Fudget kernel constructors: putK, getK, nullK.

Bugs

Perhaps fudget kernels should go away?