With older versions of the network library (version 2.6.0.2 or earlier) on Windows operating systems, the networking subsystem must be initialised using withSocketsDo before any networking operations can be used..  Наверно WSAStartup()

если честно с новыми тоже надо

но там по смыслу код это:

initialize f = unsafePerformIO $ do
   once $ WSAStartup
   return f

function = initialize Internal.function

Поэтому вызов любой функции из netowork на винде инициализирует рантайн а платишь это 1 раз на вызов функции в течении работы программы

Но на винде всё равно всё плохо, так что не страшно

ну below вроде нормально документирован, с остальным не так весело все
про without написано довольно мутно, но грубо говоря, как alongside делает делает линзу для пары

> (Left a, Right b)^.alongside chosen chosen
(a,b)

так without делает призму для Either

> Left (Just 2) ^? without _Just _Right
Just (Left 2)
> Right (Right 3) ^? without _Just _Right
Just (Right 3)
> Left (Nothing) ^? without _Just _Right 
Nothing
> Right (Left 3) ^? without _Just _Right 
Nothing

ну вот у меня есть data Dep = Before Text | After Text | Nodeps,  и я пытаюсь выбрать призмой Before и/или after (но я еще пытаюсь это через overloaded labels делать)

(выбрать из списка [Deps])

в смысле что выбрать-то? вот так

> [Left 1, Right (Just 2), Right Nothing] ^.. each . filteredBy ((_Right . _Just) `failing` _Left)
[Left 1,Right (Just 2)]

т.е.

> [After "foo", Nodeps, Before "bar"] ^.. each . filteredBy (#_Before `failing` #_After)
[After "foo", Before "bar"]

или так чтоб ["foo", "bar"] получилось?

угу имеено чтоб "распаковать" по возможности

тогда просто

> [Left 1, Right (Just 2), Right Nothing] ^.. each . ((_Right . _Just) `failing` _Left)           
[1,2]

без фильтеред

кстати типдырки достаточно умные чтоб подсказать вот тут

> ([Left 1, Right (Just 2), Right Nothing]::[Either Int (Maybe Int)]) ^.. each . ((_Right . _Just) `_` _Left) :: [Int]

failing

или, к примеру, вот тут

[("foo", Just (1::Int)),("bar", Nothing),("baz", Just 2)] ^.. each . _ _Just :: [(String, Int)]

aside и below

спасибо, попробую это грокнуть теперь ;)

А зачем там () =>?

пустой констрейнт — тоже констрейнт?

Угу, но зачем? 🙂

haddock пишет: withSocketsDo :: IO a -> IO a

Мне кажется кто-то руками очепятался

Больше похоже на баг в хугле