Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
deriveInstance :: forall m. MonadError MultipleErrors m => MonadState CheckState m => MonadSupply m => MonadWriter MultipleErrors m => SourceType -> Qualified (ProperName 'ClassName) -> InstanceDerivationStrategy -> m Expr Source #