module Data.Proof.Proof ( HasAuthGetBody , HasGetBalanceBody , HasCreatePublicTokenBody , HasTransactionsGetBody , HasIdentityGetBody , HasIncomeGetBody , name , unWrapNamed , proveAuthGetBody , proveTransactionsGetBody , proveIdentityGetBody , proveGetBalanceBody , proveCreatePublicTokenBody , proveIncomeGetBody ) where import Data.Proof.AuthGetBody (HasAuthGetBody, proveAuthGetBody) import Data.Proof.BalanceGetBody (HasGetBalanceBody, proveGetBalanceBody) import Data.Proof.IdentityGetBody (HasIdentityGetBody, proveIdentityGetBody) import Data.Proof.IncomeGetBody (HasIncomeGetBody, proveIncomeGetBody) import Data.Proof.Named (name, unWrapNamed) import Data.Proof.PublicTokenCreate (HasCreatePublicTokenBody, proveCreatePublicTokenBody) import Data.Proof.TransactionsGetBody (HasTransactionsGetBody, proveTransactionsGetBody)