diff --git a/libs/base/System/Signal.idr b/libs/base/System/Signal.idr index c738a54762..1f11119f45 100644 --- a/libs/base/System/Signal.idr +++ b/libs/base/System/Signal.idr @@ -105,6 +105,7 @@ Eq Signal where SigPosix x == SigPosix y = x == y _ == _ = False +export signalCode : Signal -> Int signalCode SigINT = prim__sigint signalCode SigABRT = prim__sigabrt @@ -117,6 +118,7 @@ signalCode (SigPosix SigTRAP ) = prim__sigtrap signalCode (SigPosix SigUser1) = prim__sigusr1 signalCode (SigPosix SigUser2) = prim__sigusr2 +export toSignal : Int -> Maybe Signal toSignal (-1) = Nothing toSignal x = lookup x codes