Ctl.Internal.BalanceTx.Types

type BalanceTxM (a :: Type) = ExceptT BalanceTxError (ReaderT BalanceTxMContext Contract) a

type BalanceTxMContext = { constraints :: BalanceTxConstraints, ownAddresses :: Set Address }

askCoinsPerUtxoUnit :: BalanceTxM Coin

askCostModelsForLanguages :: Set Language -> BalanceTxM (Map Language CostModel)

askNetworkId :: BalanceTxM NetworkId

asksConstraints :: forall (a :: Type). Lens' BalanceTxConstraints a -> BalanceTxM a

liftEitherContract :: forall (a :: Type). Contract (Either BalanceTxError a) -> BalanceTxM a

liftContract :: forall (a :: Type). Contract a -> BalanceTxM a

withBalanceTxConstraints :: forall (a :: Type). BalanceTxConstraintsBuilder -> ReaderT BalanceTxMContext Contract a -> Contract a