Commit 24b4bd61 authored by Mart Lubbers's avatar Mart Lubbers

initial throw

parent 952d2341
Pipeline #27144 failed with stage
in 2 minutes and 9 seconds
definition module System.Select
from Data.Error import :: MaybeError
from System.OSError import :: MaybeOSError, :: OSError, :: OSErrorMessage, :: OSErrorCode
from System._Select import :: SelectSet
class Selectable s where
toSelectSet :: !*s !*World -> (!*MaybeOSError *(SelectSet *s), !*World)
:: SelectPair a b = SelectPair a b
instance Selectable (SelectPair a b) | Selectable a & Selectable b
waitForSelectSet :: !*(SelectSet s) -> !*(SelectSet
implementation module System.Select
definition module System._Select
:: SelectSet (:== {#Int})
implementation module System._Select
:: SelectSet :== {#Int}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment