wiring-0.4.2: Wiring, promotion and demotion of types.
Control.Monad.Wiring
class Wirable a b where Source
Methods
wire :: a -> b Source
Unambiguous conversion from a to b.
Instances
Unit can be obtained from anything.
The "identity" Wirable instance.