Add Sodium monad

haskell-mafia · Jan 3, 2017 · e73e5b2 · e73e5b2
1 parent 9e1ce69
commit e73e5b2
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/ambiata-tinfoil.cabal b/ambiata-tinfoil.cabal
@@ -50,6 +50,7 @@ library
                        Tinfoil.Data.Verify
                        Tinfoil.Encode
                        Tinfoil.Hash
+                       Tinfoil.Internal.Sodium
                        Tinfoil.Internal.Sodium.Data
                        Tinfoil.Internal.Sodium.Foreign
                        Tinfoil.KDF

diff --git a/src/Tinfoil/Internal/Sodium.hs b/src/Tinfoil/Internal/Sodium.hs
@@ -0,0 +1,28 @@
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+module Tinfoil.Internal.Sodium (
+    Sodium(..)
+  , runSodium
+  ) where
+
+import           P
+
+import           System.IO (IO)
+
+import           Tinfoil.Internal.Sodium.Data
+import           Tinfoil.Internal.Sodium.Foreign
+
+newtype Sodium a =
+    Sodium (IO a)
+  deriving (Monad, Functor, Applicative)
+
+runSodium :: Sodium a -> IO (Maybe' a)
+runSodium (Sodium s) =
+  sodiumInit >>= \x -> case x of
+    SodiumInitialised ->
+      Just' <$> s
+    SodiumNotInitialised ->
+      pure Nothing'