New asTypeFromValue function

Author: newhoggy

cardano-api/src/Cardano/Api.hs

@@ -48,6 +48,9 @@ module Cardano.Api
   , module Cardano.Api.Key
   , module Cardano.Api.Hash
 
+    -- * HasTypeProxy
+  , module Cardano.Api.HasTypeProxy
+
     -- * Transaction building
   , module Cardano.Api.Tx
 

cardano-api/src/Cardano/Api/HasTypeProxy.hs

@@ -9,6 +9,7 @@ module Cardano.Api.HasTypeProxy
   , AsType (..)
   , Proxy (..)
   , FromSomeType (..)
+  , asTypeFromValue
   )
 where
 
@@ -39,6 +40,9 @@ instance HasTypeProxy BS.ByteString where
   data AsType BS.ByteString = AsByteString
   proxyToAsType _ = AsByteString
 
+asTypeFromValue :: HasTypeProxy t => t -> AsType t
+asTypeFromValue _ = proxyToAsType Proxy
+
 data FromSomeType (c :: Type -> Constraint) b where
   FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b