package algebras
Type Members
- trait TransactionAuthorizationVerifier[F[_]] extends ContextualValidation[F, TransactionAuthorizationError, IoTransaction, DynamicContext[F, String, Datum]]
- trait TransactionCostCalculator extends AnyRef
- trait TransactionSyntaxVerifier[F[_]] extends ContextlessValidation[F, NonEmptyChain[TransactionSyntaxError], IoTransaction]