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

Jikka.CPlusPlus.Language.Expr

Description

Expr module has the basic data types for C++ language. The data types are intended to use for the code generation.

Documentation

newtype VarName Source #

Constructors

VarName 

Fields

newtype FunName Source #

Constructors

FunName 

Fields

data Type Source #

Instances

Instances details
Eq Type Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

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

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

Ord Type Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Type -> Type -> Ordering #

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

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

(>) :: Type -> Type -> Bool #

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

max :: Type -> Type -> Type #

min :: Type -> Type -> Type #

Read Type Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Show Type Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

data Expr Source #

Instances

Instances details
Eq Expr Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

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

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

Ord Expr Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Expr -> Expr -> Ordering #

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

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

(>) :: Expr -> Expr -> Bool #

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

max :: Expr -> Expr -> Expr #

min :: Expr -> Expr -> Expr #

Read Expr Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Show Expr Source # 
Instance details

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Expr -> ShowS #

show :: Expr -> String #

showList :: [Expr] -> ShowS #

newtype Program Source #

Constructors

Program