Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.MockChain.GenerateTx.Common

Synopsis

data GenerateTxError
type TxGen context a = ReaderT context (Either GenerateTxError) a
class Transform a b where
- transform :: a -> b
throwOnLookup :: Ord k => String -> k -> Map k a -> TxGen context a
throwOnString :: String -> TxGen context a
throwOnToCardanoErrorOrApply :: String -> (a -> b) -> Either ToCardanoError a -> TxGen context b
throwOnToCardanoError :: String -> Either ToCardanoError a -> TxGen context a
liftTxGen :: Transform context' context => TxGen context a -> TxGen context' a

Documentation

data GenerateTxError Source #

Errors that can arise during transaction generation

Constructors

ToCardanoError String ToCardanoError
TxBodyError String TxBodyError
GenerateTxErrorGeneral String

Instances

Instances details

Show GenerateTxError Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Common Methods showsPrec :: Int -> GenerateTxError -> ShowS # show :: GenerateTxError -> String # showList :: [GenerateTxError] -> ShowS #
Eq GenerateTxError Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Common Methods (==) :: GenerateTxError -> GenerateTxError -> Bool # (/=) :: GenerateTxError -> GenerateTxError -> Bool #

type TxGen context a = ReaderT context (Either GenerateTxError) a Source #

The domain in which transaction parts are generated.

class Transform a b where Source #

Methods

transform :: a -> b Source #

Instances

Instances details

Transform TxContext NetworkId Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> NetworkId Source #
Transform TxContext CollateralContext Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> CollateralContext Source #
Transform TxContext InputContext Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> InputContext Source #
Transform TxContext WithdrawalsContext Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> WithdrawalsContext Source #
Transform TxContext (Map TxOutRef TxOut) Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> Map TxOutRef TxOut Source #
Transform TxContext (PParams, Map TxOutRef TxOut) Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Body Methods transform :: TxContext -> (PParams, Map TxOutRef TxOut) Source #
Transform InputContext (Map TxOutRef TxOut) Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Input Methods transform :: InputContext -> Map TxOutRef TxOut Source #
Transform WithdrawalsContext (Map TxOutRef TxOut) Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Withdrawals Methods transform :: WithdrawalsContext -> Map TxOutRef TxOut Source #
Transform (a, b) a Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Common Methods transform :: (a, b) -> a Source #
Transform (a, b) b Source #
Instance details Defined in Cooked.MockChain.GenerateTx.Common Methods transform :: (a, b) -> b Source #

throwOnLookup :: Ord k => String -> k -> Map k a -> TxGen context a Source #

Looks up a key in a map. Throws a GenerateTxErrorGeneral error with a given message when the key is absent, returns the associated value otherwise.

throwOnString :: String -> TxGen context a Source #

Throws a general error from a String.

throwOnToCardanoErrorOrApply :: String -> (a -> b) -> Either ToCardanoError a -> TxGen context b Source #

Lifts a ToCardanoError with an associated error message, or apply a function if a value exists.

throwOnToCardanoError :: String -> Either ToCardanoError a -> TxGen context a Source #

Lifts a ToCardanoError with an associated error message, or leaves the value unchanged if it exists.

liftTxGen :: Transform context' context => TxGen context a -> TxGen context' a Source #

Lifts a computation from a smaller context