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

Jikka.RestrictedPython.Language.VariableAnalysis

Synopsis

Documentation

newtype ReadList Source #

Constructors

ReadList [VarName] 

Instances

Instances details
Eq ReadList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

(==) :: ReadList -> ReadList -> Bool #

(/=) :: ReadList -> ReadList -> Bool #

Ord ReadList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

compare :: ReadList -> ReadList -> Ordering #

(<) :: ReadList -> ReadList -> Bool #

(<=) :: ReadList -> ReadList -> Bool #

(>) :: ReadList -> ReadList -> Bool #

(>=) :: ReadList -> ReadList -> Bool #

max :: ReadList -> ReadList -> ReadList #

min :: ReadList -> ReadList -> ReadList #

Read ReadList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

readsPrec :: Int -> ReadS ReadList #

readList :: ReadS [ReadList] #

readPrec :: ReadPrec ReadList #

readListPrec :: ReadPrec [ReadList] #

Show ReadList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

showsPrec :: Int -> ReadList -> ShowS #

show :: ReadList -> String #

showList :: [ReadList] -> ShowS #

newtype WriteList Source #

Constructors

WriteList [VarName] 

Instances

Instances details
Eq WriteList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

(==) :: WriteList -> WriteList -> Bool #

(/=) :: WriteList -> WriteList -> Bool #

Ord WriteList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

compare :: WriteList -> WriteList -> Ordering #

(<) :: WriteList -> WriteList -> Bool #

(<=) :: WriteList -> WriteList -> Bool #

(>) :: WriteList -> WriteList -> Bool #

(>=) :: WriteList -> WriteList -> Bool #

max :: WriteList -> WriteList -> WriteList #

min :: WriteList -> WriteList -> WriteList #

Read WriteList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

readsPrec :: Int -> ReadS WriteList #

readList :: ReadS [WriteList] #

readPrec :: ReadPrec WriteList #

readListPrec :: ReadPrec [WriteList] #

Show WriteList Source # 
Instance details

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

showsPrec :: Int -> WriteList -> ShowS #

show :: WriteList -> String #

showList :: [WriteList] -> ShowS #

haveWriteReadIntersection :: WriteList -> ReadList -> Bool Source #

analyzeExpr :: Expr' -> ReadList Source #

analyzeTargetRead :: Target' -> ReadList Source #

analyzeTargetWrite :: Target' -> WriteList Source #

analyzeStatementGeneric :: Bool -> Statement -> (ReadList, WriteList) Source #

analyzeStatementsGeneric :: Bool -> [Statement] -> (ReadList, WriteList) Source #

analyzeStatementMax :: Statement -> (ReadList, WriteList) Source #

analyzeStatementMax returns lists of variables which are possibly read or written in given statements.

analyzeStatementsMax :: [Statement] -> (ReadList, WriteList) Source #

analyzeStatementMin :: Statement -> (ReadList, WriteList) Source #

analyzeStatementMin returns lists of variables which are always read or written in given statements.

analyzeStatementsMin :: [Statement] -> (ReadList, WriteList) Source #