Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming

Copyright	(c) Kimiyuki Onaka 2020
License	Apache License 2.0
Maintainer	kimiyuki95@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Jikka.Core.Language.Lint

Description

Lint module checks the invariants of data types. Mainly, this checks types of Expr.

Synopsis

precondition :: MonadError Error m => m a -> m a
postcondition :: MonadError Error m => m a -> m a
ensureEagerlyEvaluatable :: MonadError Error m => Program -> m ()
ensureWellTyped :: MonadError Error m => Program -> m ()

Documentation

precondition :: MonadError Error m => m a -> m a Source #

postcondition :: MonadError Error m => m a -> m a Source #

ensureEagerlyEvaluatable :: MonadError Error m => Program -> m () Source #

TODO: implement this

ensureWellTyped :: MonadError Error m => Program -> m () Source #