3 ms·
data State = Unbound | Bound | Listening | … data Socket (s :: State) (s :: State) is a phantom type, yes.
by whateveracct 9y ago
data State = Unbound | Bound | Listening | …
data Socket (s :: State)
(s :: State) is a phantom type, yes.
loading thread…