¤ K, KSP, et al

The fudget kernel type

Types

data K a b = K (KSP a b)
  instance FudgetIO K
  instance StreamProcIO K
type KSP a b = SP (KEvent a) (KCommand b)
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?