From bf1c245e83d01da00e2cc964fa28348b635fb937 Mon Sep 17 00:00:00 2001 From: stefan-hoeck Date: Sun, 18 Aug 2024 09:23:50 +0200 Subject: [PATCH 1/3] [ refactor ] export signal to code conversions --- libs/base/System/Signal.idr | 2 ++ 1 file changed, 2 insertions(+) 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 From dc042ab92fbffd1f512c2cd2cccc0f1a07259842 Mon Sep 17 00:00:00 2001 From: stefan-hoeck Date: Sun, 18 Aug 2024 09:33:49 +0200 Subject: [PATCH 2/3] [ doc ] add documentation --- libs/base/System/Signal.idr | 3 +++ 1 file changed, 3 insertions(+) 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 From 88e77bc3a3b7969b808ee5ccf7ff1600108b5d28 Mon Sep 17 00:00:00 2001 From: stefan-hoeck Date: Sun, 18 Aug 2024 09:35:22 +0200 Subject: [PATCH 3/3] [ admin ] update CHANGELOG --- CHANGELOG_NEXT.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md index 6677e61cc6..61689f1c21 100644 --- a/CHANGELOG_NEXT.md +++ b/CHANGELOG_NEXT.md @@ -213,6 +213,8 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO * Added `fromRight` and `fromLeft` for extracting values out of `Either`, equivalent to `fromJust` for `Just`. +* Export `System.Signal.signalCode` and `System.Signal.toSignal`. + #### Contrib * `Data.List.Lazy` was moved from `contrib` to `base`.