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

Jikka.CPlusPlus.Language.Util

Documentation

fromLeftExpr :: LeftExpr -> Expr Source #

data NameKind Source #

Constructors

LocalNameKind 
LocalArgumentNameKind 
LoopCounterNameKind 
ConstantNameKind 
FunctionNameKind 
ArgumentNameKind 

Instances

Instances details
Eq NameKind Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Util

Methods

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

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

Ord NameKind Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Util

Methods

compare :: NameKind -> NameKind -> Ordering #

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

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

(>) :: NameKind -> NameKind -> Bool #

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

max :: NameKind -> NameKind -> NameKind #

min :: NameKind -> NameKind -> NameKind #

Read NameKind Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Util

Methods

readsPrec :: Int -> ReadS NameKind #

readList :: ReadS [NameKind] #

readPrec :: ReadPrec NameKind #

readListPrec :: ReadPrec [NameKind] #

Show NameKind Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Util

Methods

showsPrec :: Int -> NameKind -> ShowS #

show :: NameKind -> String #

showList :: [NameKind] -> ShowS #

fromNameKind :: NameKind -> String Source #

newFreshName :: MonadAlpha m => NameKind -> m VarName Source #

renameVarName :: MonadAlpha m => NameKind -> String -> m VarName Source #

freeVars :: Expr -> Set VarName Source #

freeVarsStatements :: [Statement] -> Set VarName Source #

freeVarsStatement :: Statement -> Set VarName Source #

freeVarsDeclareRight :: DeclareRight -> Set VarName Source #

freeVarsAssignExpr :: AssignExpr -> Set VarName Source #

freeVarsLeftExpr :: LeftExpr -> Set VarName Source #

shouldBeArray :: [Type] -> Bool Source #

cinStatement :: Expr -> Statement Source #

coutStatement :: Expr -> Statement Source #

repStatement :: VarName -> Expr -> [Statement] -> Statement Source #

litInt64 :: Integer -> Expr Source #

litInt32 :: Integer -> Expr Source #

incrExpr :: Expr -> Expr Source #

size :: Expr -> Expr Source #

at :: Expr -> Expr -> Expr Source #

cast :: Type -> Expr -> Expr Source #

assignSimple :: VarName -> Expr -> Statement Source #

assignAt :: VarName -> Expr -> Expr -> Statement Source #

callFunction :: FunName -> [Type] -> [Expr] -> Expr Source #

callFunction' :: FunName -> [Type] -> [Expr] -> Statement Source #

callMethod :: Expr -> FunName -> [Expr] -> Expr Source #

callMethod' :: Expr -> FunName -> [Expr] -> Statement Source #

vecCtor :: Type -> [Expr] -> Expr Source #

begin :: Expr -> Expr Source #

end :: Expr -> Expr Source #

mapExprStatementExprM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> Expr -> m Expr Source #

mapExprStatementLeftExprM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> LeftExpr -> m LeftExpr Source #

mapExprStatementAssignExprM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> AssignExpr -> m AssignExpr Source #

mapExprStatementStatementM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> Statement -> m Statement Source #

mapExprStatementToplevelStatementM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> ToplevelStatement -> m ToplevelStatement Source #

mapExprStatementProgramM :: Monad m => (Expr -> m Expr) -> (Statement -> m Statement) -> Program -> m Program Source #

mapExprStatementProgram :: (Expr -> Expr) -> (Statement -> Statement) -> Program -> Program Source #

replaceExpr :: VarName -> Expr -> Expr -> Expr Source #

replaceStatement :: VarName -> Expr -> Statement -> Statement Source #