Control.Wire.Types
data family Wire :: * -> (* -> * -> *) -> * -> * -> *
type WireM e m
class WireGen (>~)
class WirePure (>~)
class WireToGen (>~)
mkFixM
toGenM
type LastException
inhibitException
inhibitMsg
mapInputM