add internal proxy type to create witnesses

2016-12-02 15:00:05 +00:00 · 2016-12-02 15:00:05 +00:00 · 955f010bff
commit 955f010bff
parent 11e42a256d
2 changed files with 14 additions and 0 deletions
--- a/Crypto/Internal/Proxy.hs
+++ b/Crypto/Internal/Proxy.hs
@ -0,0 +1,13 @@
+-- |
+-- Module      : Crypto.Internal.Proxy
+-- License     : BSD-style
+-- Maintainer  : Vincent Hanquez <vincent@snarc.org>
+-- Stability   : experimental
+-- Portability : Good
+--
+module Crypto.Internal.Proxy
+    ( Proxy(..)
+    ) where
+
+-- | A type witness for 'a' as phantom type
+data Proxy a = Proxy
--- a/cryptonite.cabal
+++ b/cryptonite.cabal
@ -188,6 +188,7 @@ Library
                     Crypto.PubKey.ElGamal
                     Crypto.ECC.Simple.Types
                     Crypto.ECC.Simple.Prim
+                     Crypto.Internal.Proxy
                     Crypto.Internal.ByteArray
                     Crypto.Internal.Compat
                     Crypto.Internal.CompatPrim