From 7abe88f9710f13073b4bc2c4b51c7cae12c5d694 Mon Sep 17 00:00:00 2001 From: John Ky Date: Wed, 15 Oct 2025 22:03:13 +1100 Subject: [PATCH] New asTypeFromValue function --- cardano-api/src/Cardano/Api.hs | 3 +++ cardano-api/src/Cardano/Api/HasTypeProxy.hs | 4 ++++ 2 files changed, 7 insertions(+) diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs index 5696d1ab85..82747344a6 100644 --- a/cardano-api/src/Cardano/Api.hs +++ b/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 diff --git a/cardano-api/src/Cardano/Api/HasTypeProxy.hs b/cardano-api/src/Cardano/Api/HasTypeProxy.hs index 7606261220..015bba702b 100644 --- a/cardano-api/src/Cardano/Api/HasTypeProxy.hs +++ b/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