| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Examples.Account.Scenarios
Synopsis
- policyAlwaysReceives :: Policy
- policyNeverNegative :: Policy
- policyOtherNeverNegative :: Policy
- policyPositivePayments :: Policy
- registerPolicies :: MonadAccounts m => m ()
- addAndSubscribe :: MonadAccounts m => String -> Integer -> [String] -> m ()
- registerUsers :: MonadAccounts m => m ()
- firstPayments :: MonadAccounts m => m ()
- scenario1 :: MonadAccounts m => String -> m Integer
- negateScenario1 :: [Either AccountsError Integer]
- scenario2 :: MonadAccounts m => m ()
- negateScenario2 :: [Either AccountsError ()]
- increaseJudithPaymentsScenario1 :: [Either AccountsError Integer]
- scenario3 :: MonadAccounts m => m ()
- increaseJudithPaymentsScenario3 :: [Either AccountsError ()]
Some policies, some of them purposely bugged
A few scenarios helpers and scenarios
registerPolicies :: MonadAccounts m => m () Source #
addAndSubscribe :: MonadAccounts m => String -> Integer -> [String] -> m () Source #
registerUsers :: MonadAccounts m => m () Source #
firstPayments :: MonadAccounts m => m () Source #
scenario2 :: MonadAccounts m => m () Source #
negateScenario2 :: [Either AccountsError ()] Source #
scenario3 :: MonadAccounts m => m () Source #