| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Examples.Account.PaymentMod
Documentation
data AccountsMod where Source #
Constructors
| AccountsMod :: (Payment -> Maybe Payment) -> AccountsMod |
Instances
| Semigroup AccountsMod Source # | |
Defined in Examples.Account.PaymentMod Methods (<>) :: AccountsMod -> AccountsMod -> AccountsMod # sconcat :: NonEmpty AccountsMod -> AccountsMod # stimes :: Integral b => b -> AccountsMod -> AccountsMod # | |
| MonadAccounts m => InterpretLtlHigherOrder AccountsMod m MonadAccountsEffect Source # | |
Defined in Examples.Account.PaymentMod Methods interpretLtlHigherOrder :: forall (ops :: [Effect]) a. MonadAccountsEffect (AST ops) a -> LtlInterpHigherOrder AccountsMod m ops a Source # | |
| MonadAccounts m => InterpretMod AccountsMod m MonadAccountsEffect Source # | |
Defined in Examples.Account.PaymentMod Methods interpretMod :: forall (dummy :: [Effect]) a. MonadAccountsEffect (AST dummy) a -> ModInterp AccountsMod m a Source # | |