diff --git a/libs/base/System/Signal.idr b/libs/base/System/Signal.idr index 1f11119f45..24d673f10d 100644 --- a/libs/base/System/Signal.idr +++ b/libs/base/System/Signal.idr @@ -105,6 +105,8 @@ Eq Signal where SigPosix x == SigPosix y = x == y _ == _ = False +||| Converts a `Signal` to its integer representation to be used +||| in FFI calls. export signalCode : Signal -> Int signalCode SigINT = prim__sigint @@ -118,6 +120,7 @@ signalCode (SigPosix SigTRAP ) = prim__sigtrap signalCode (SigPosix SigUser1) = prim__sigusr1 signalCode (SigPosix SigUser2) = prim__sigusr2 +||| Tries to convert an integer to the corresponding `Signal`. export toSignal : Int -> Maybe Signal toSignal (-1) = Nothing