Jikka.CPlusPlus.Language.Expr

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

Documentation

newtype VarName

Constructors

VarName

Fields

• unVarName :: String

Instances

Eq VarName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: VarName -> VarName -> Bool

(/=) :: VarName -> VarName -> Bool

Ord VarName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: VarName -> VarName -> Ordering

(<) :: VarName -> VarName -> Bool

(<=) :: VarName -> VarName -> Bool

(>) :: VarName -> VarName -> Bool

(>=) :: VarName -> VarName -> Bool

max :: VarName -> VarName -> VarName

min :: VarName -> VarName -> VarName

Read VarName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS VarName

readList :: ReadS [VarName]

readPrec :: ReadPrec VarName

readListPrec :: ReadPrec [VarName]

Show VarName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> VarName -> ShowS

show :: VarName -> String

showList :: [VarName] -> ShowS

IsString VarName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

fromString :: String -> VarName

newtype FunName

Constructors

FunName

Fields

• unFunName :: String

Instances

Eq FunName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: FunName -> FunName -> Bool

(/=) :: FunName -> FunName -> Bool

Ord FunName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: FunName -> FunName -> Ordering

(<) :: FunName -> FunName -> Bool

(<=) :: FunName -> FunName -> Bool

(>) :: FunName -> FunName -> Bool

(>=) :: FunName -> FunName -> Bool

max :: FunName -> FunName -> FunName

min :: FunName -> FunName -> FunName

Read FunName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS FunName

readList :: ReadS [FunName]

readPrec :: ReadPrec FunName

readListPrec :: ReadPrec [FunName]

Show FunName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> FunName -> ShowS

show :: FunName -> String

showList :: [FunName] -> ShowS

IsString FunName

Defined in Jikka.CPlusPlus.Language.Expr

Methods

fromString :: String -> FunName

data Type

Constructors

TyAuto

TyVoid

TyBool

TyInt

TyInt32

TyInt64

TyTuple [Type]

TyVector Type

TyArray Type Integer

TyString

TyFunction Type [Type]

TyConvexHullTrick

TySegmentTree Monoid'

TyIntValue Integer

for template parameters

Instances

Eq Type

Defined in Jikka.CPlusPlus.Language.Expr

Methods

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

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

Ord Type

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

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Type

readList :: ReadS [Type]

readPrec :: ReadPrec Type

readListPrec :: ReadPrec [Type]

Show Type

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

data Monoid'

Constructors

MonoidIntPlus

MonoidIntMin

MonoidIntMax

Instances

Eq Monoid'

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: Monoid' -> Monoid' -> Bool

(/=) :: Monoid' -> Monoid' -> Bool

Ord Monoid'

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Monoid' -> Monoid' -> Ordering

(<) :: Monoid' -> Monoid' -> Bool

(<=) :: Monoid' -> Monoid' -> Bool

(>) :: Monoid' -> Monoid' -> Bool

(>=) :: Monoid' -> Monoid' -> Bool

max :: Monoid' -> Monoid' -> Monoid'

min :: Monoid' -> Monoid' -> Monoid'

Read Monoid'

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Monoid'

readList :: ReadS [Monoid']

readPrec :: ReadPrec Monoid'

readListPrec :: ReadPrec [Monoid']

Show Monoid'

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Monoid' -> ShowS

show :: Monoid' -> String

showList :: [Monoid'] -> ShowS

data Literal

Constructors

LitInt32 Integer

LitInt64 Integer

LitBool Bool

LitChar Char

LitString String

Instances

Eq Literal

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: Literal -> Literal -> Bool

(/=) :: Literal -> Literal -> Bool

Ord Literal

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Literal -> Literal -> Ordering

(<) :: Literal -> Literal -> Bool

(<=) :: Literal -> Literal -> Bool

(>) :: Literal -> Literal -> Bool

(>=) :: Literal -> Literal -> Bool

max :: Literal -> Literal -> Literal

min :: Literal -> Literal -> Literal

Read Literal

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Literal

readList :: ReadS [Literal]

readPrec :: ReadPrec Literal

readListPrec :: ReadPrec [Literal]

Show Literal

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

data Function

Constructors

Function FunName [Type]

Method FunName

At

Cast Type

StdTuple [Type]

StdGet Integer

ArrayExt Type

VecExt Type

VecCtor Type

Range

MethodSize

ConvexHullTrickCtor

ConvexHullTrickCopyAddLine

SegmentTreeCtor Monoid'

SegmentTreeCopySetPoint Monoid'

Instances

Eq Function

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: Function -> Function -> Bool

(/=) :: Function -> Function -> Bool

Ord Function

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Function -> Function -> Ordering

(<) :: Function -> Function -> Bool

(<=) :: Function -> Function -> Bool

(>) :: Function -> Function -> Bool

(>=) :: Function -> Function -> Bool

max :: Function -> Function -> Function

min :: Function -> Function -> Function

Read Function

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Function

readList :: ReadS [Function]

readPrec :: ReadPrec Function

readListPrec :: ReadPrec [Function]

Show Function

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

data UnaryOp

Constructors

IntNop

Negate

BitNot

Not

Deref

Instances

Eq UnaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

(/=) :: UnaryOp -> UnaryOp -> Bool

Ord UnaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: UnaryOp -> UnaryOp -> Ordering

(<) :: UnaryOp -> UnaryOp -> Bool

(<=) :: UnaryOp -> UnaryOp -> Bool

(>) :: UnaryOp -> UnaryOp -> Bool

(>=) :: UnaryOp -> UnaryOp -> Bool

max :: UnaryOp -> UnaryOp -> UnaryOp

min :: UnaryOp -> UnaryOp -> UnaryOp

Read UnaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS UnaryOp

readList :: ReadS [UnaryOp]

readPrec :: ReadPrec UnaryOp

readListPrec :: ReadPrec [UnaryOp]

Show UnaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

data BinaryOp

Constructors

Add

Sub

Mul

Div

Mod

BitAnd

BitOr

BitXor

BitLeftShift

BitRightShift

And

Or

LessThan

LessEqual

GreaterThan

GreaterEqual

Equal

NotEqual

Instances

Eq BinaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: BinaryOp -> BinaryOp -> Bool

(/=) :: BinaryOp -> BinaryOp -> Bool

Ord BinaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: BinaryOp -> BinaryOp -> Ordering

(<) :: BinaryOp -> BinaryOp -> Bool

(<=) :: BinaryOp -> BinaryOp -> Bool

(>) :: BinaryOp -> BinaryOp -> Bool

(>=) :: BinaryOp -> BinaryOp -> Bool

max :: BinaryOp -> BinaryOp -> BinaryOp

min :: BinaryOp -> BinaryOp -> BinaryOp

Read BinaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS BinaryOp

readList :: ReadS [BinaryOp]

readPrec :: ReadPrec BinaryOp

readListPrec :: ReadPrec [BinaryOp]

Show BinaryOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> BinaryOp -> ShowS

show :: BinaryOp -> String

showList :: [BinaryOp] -> ShowS

data AssignOp

Constructors

SimpleAssign

AddAssign

SubAssign

MulAssign

DivAssign

ModAssign

BitLeftShiftAssign

BitRightShiftAssign

BitAndAssign

BitOrAssign

BitXorAssign

Instances

Eq AssignOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: AssignOp -> AssignOp -> Bool

(/=) :: AssignOp -> AssignOp -> Bool

Ord AssignOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: AssignOp -> AssignOp -> Ordering

(<) :: AssignOp -> AssignOp -> Bool

(<=) :: AssignOp -> AssignOp -> Bool

(>) :: AssignOp -> AssignOp -> Bool

(>=) :: AssignOp -> AssignOp -> Bool

max :: AssignOp -> AssignOp -> AssignOp

min :: AssignOp -> AssignOp -> AssignOp

Read AssignOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS AssignOp

readList :: ReadS [AssignOp]

readPrec :: ReadPrec AssignOp

readListPrec :: ReadPrec [AssignOp]

Show AssignOp

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> AssignOp -> ShowS

show :: AssignOp -> String

showList :: [AssignOp] -> ShowS

data Expr

Constructors

Var VarName

Lit Literal

UnOp UnaryOp Expr

BinOp BinaryOp Expr Expr

Cond Expr Expr Expr

Lam [(Type, VarName)] Type [Statement]

Call Function [Expr]

CallExpr Expr [Expr]

Instances

Eq Expr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

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

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

Ord Expr

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

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Expr

readList :: ReadS [Expr]

readPrec :: ReadPrec Expr

readListPrec :: ReadPrec [Expr]

Show Expr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

data LeftExpr

Constructors

LeftVar VarName

LeftAt LeftExpr Expr

LeftGet Integer LeftExpr

std::getn

Instances

Eq LeftExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: LeftExpr -> LeftExpr -> Bool

(/=) :: LeftExpr -> LeftExpr -> Bool

Ord LeftExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: LeftExpr -> LeftExpr -> Ordering

(<) :: LeftExpr -> LeftExpr -> Bool

(<=) :: LeftExpr -> LeftExpr -> Bool

(>) :: LeftExpr -> LeftExpr -> Bool

(>=) :: LeftExpr -> LeftExpr -> Bool

max :: LeftExpr -> LeftExpr -> LeftExpr

min :: LeftExpr -> LeftExpr -> LeftExpr

Read LeftExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS LeftExpr

readList :: ReadS [LeftExpr]

readPrec :: ReadPrec LeftExpr

readListPrec :: ReadPrec [LeftExpr]

Show LeftExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> LeftExpr -> ShowS

show :: LeftExpr -> String

showList :: [LeftExpr] -> ShowS

data AssignExpr

Constructors

AssignExpr AssignOp LeftExpr Expr

AssignIncr LeftExpr

AssignDecr LeftExpr

Instances

Eq AssignExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: AssignExpr -> AssignExpr -> Bool

(/=) :: AssignExpr -> AssignExpr -> Bool

Ord AssignExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: AssignExpr -> AssignExpr -> Ordering

(<) :: AssignExpr -> AssignExpr -> Bool

(<=) :: AssignExpr -> AssignExpr -> Bool

(>) :: AssignExpr -> AssignExpr -> Bool

(>=) :: AssignExpr -> AssignExpr -> Bool

max :: AssignExpr -> AssignExpr -> AssignExpr

min :: AssignExpr -> AssignExpr -> AssignExpr

Read AssignExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS AssignExpr

readList :: ReadS [AssignExpr]

readPrec :: ReadPrec AssignExpr

readListPrec :: ReadPrec [AssignExpr]

Show AssignExpr

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> AssignExpr -> ShowS

show :: AssignExpr -> String

showList :: [AssignExpr] -> ShowS

data DeclareRight

Constructors

DeclareDefault

DeclareCopy Expr

DeclareInitialize [Expr]

This is only for better formatting. This should not be used while optimization phases.

Instances

Eq DeclareRight

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: DeclareRight -> DeclareRight -> Bool

(/=) :: DeclareRight -> DeclareRight -> Bool

Ord DeclareRight

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: DeclareRight -> DeclareRight -> Ordering

(<) :: DeclareRight -> DeclareRight -> Bool

(<=) :: DeclareRight -> DeclareRight -> Bool

(>) :: DeclareRight -> DeclareRight -> Bool

(>=) :: DeclareRight -> DeclareRight -> Bool

max :: DeclareRight -> DeclareRight -> DeclareRight

min :: DeclareRight -> DeclareRight -> DeclareRight

Read DeclareRight

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS DeclareRight

readList :: ReadS [DeclareRight]

readPrec :: ReadPrec DeclareRight

readListPrec :: ReadPrec [DeclareRight]

Show DeclareRight

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> DeclareRight -> ShowS

show :: DeclareRight -> String

showList :: [DeclareRight] -> ShowS

data Statement

Constructors

ExprStatement Expr

Block [Statement]

If Expr [Statement] (Maybe [Statement])

For Type VarName Expr Expr AssignExpr [Statement]

ForEach Type VarName Expr [Statement]

While Expr [Statement]

Declare Type VarName DeclareRight

DeclareDestructure [VarName] Expr

Assign AssignExpr

Assert Expr

Return Expr

Instances

Eq Statement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Ord Statement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Statement -> Statement -> Ordering

(<) :: Statement -> Statement -> Bool

(<=) :: Statement -> Statement -> Bool

(>) :: Statement -> Statement -> Bool

(>=) :: Statement -> Statement -> Bool

max :: Statement -> Statement -> Statement

min :: Statement -> Statement -> Statement

Read Statement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Statement

readList :: ReadS [Statement]

readPrec :: ReadPrec Statement

readListPrec :: ReadPrec [Statement]

Show Statement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

data ToplevelStatement

Constructors

VarDef Type VarName Expr

FunDef Type VarName [(Type, VarName)] [Statement]

Instances

Eq ToplevelStatement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: ToplevelStatement -> ToplevelStatement -> Bool

(/=) :: ToplevelStatement -> ToplevelStatement -> Bool

Ord ToplevelStatement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: ToplevelStatement -> ToplevelStatement -> Ordering

(<) :: ToplevelStatement -> ToplevelStatement -> Bool

(<=) :: ToplevelStatement -> ToplevelStatement -> Bool

(>) :: ToplevelStatement -> ToplevelStatement -> Bool

(>=) :: ToplevelStatement -> ToplevelStatement -> Bool

max :: ToplevelStatement -> ToplevelStatement -> ToplevelStatement

min :: ToplevelStatement -> ToplevelStatement -> ToplevelStatement

Read ToplevelStatement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS ToplevelStatement

readList :: ReadS [ToplevelStatement]

readPrec :: ReadPrec ToplevelStatement

readListPrec :: ReadPrec [ToplevelStatement]

Show ToplevelStatement

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> ToplevelStatement -> ShowS

show :: ToplevelStatement -> String

showList :: [ToplevelStatement] -> ShowS

newtype Program

Constructors

Program

Fields

• decls :: [ToplevelStatement]

Instances

Eq Program

Defined in Jikka.CPlusPlus.Language.Expr

Methods

(==) :: Program -> Program -> Bool

(/=) :: Program -> Program -> Bool

Ord Program

Defined in Jikka.CPlusPlus.Language.Expr

Methods

compare :: Program -> Program -> Ordering

(<) :: Program -> Program -> Bool

(<=) :: Program -> Program -> Bool

(>) :: Program -> Program -> Bool

(>=) :: Program -> Program -> Bool

max :: Program -> Program -> Program

min :: Program -> Program -> Program

Read Program

Defined in Jikka.CPlusPlus.Language.Expr

Methods

readsPrec :: Int -> ReadS Program

readList :: ReadS [Program]

readPrec :: ReadPrec Program

readListPrec :: ReadPrec [Program]

Show Program

Defined in Jikka.CPlusPlus.Language.Expr

Methods

showsPrec :: Int -> Program -> ShowS

show :: Program -> String

showList :: [Program] -> ShowS