nullK :: K a b nullF :: F a b putK :: KCommand a -> K b a -> K b a putF :: a -> F b a -> F b a getK :: Cont (K a b) (KEvent a) getF :: Cont (F a b) a startupK :: [KEvent a] -> K a b -> K a b startupF :: [a] -> F a b -> F a b appendStartK :: [KCommand a] -> K b a -> K b a appendStartF :: [a] -> F b a -> F b a
nullSP
, putSP
, getSP
, etc. The only difference
is that these functions have more specific signatures to make types more
readable.