Jikka-5.0.11.1: A transpiler from Python to C++ for competitive programming
Copyright(c) Kimiyuki Onaka 2021
LicenseApache License 2.0
Maintainerkimiyuki95@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Jikka.Core.Convert.PropagateMod

Description

 
Synopsis

Documentation

run :: (MonadAlpha m, MonadError Error m) => Program -> m Program Source #

run propagates FloorMod to leaves of exprs. For example, this converts the following:

mod ((fun x -> x * x + x) y) 1000000007

to:

(fun x -> mod (mod (x * x) 1000000007 + x) 1000000007) y