Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.TypeChecker.Deriving
Documentation
deriveInstance :: (MonadError MultipleErrors m, MonadState CheckState m, MonadSupply m, MonadWriter MultipleErrors m) => SourceType -> Qualified (ProperName 'ClassName) -> InstanceDerivationStrategy -> m Expr #