Copyright	(c) Kimiyuki Onaka 2020
License	Apache License 2.0
Maintainer	kimiyuki95@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

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 unVarName :: String

Instances

Instances details

Eq VarName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: VarName -> VarName -> Bool # (/=) :: VarName -> VarName -> Bool #
Ord VarName Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS VarName # readList :: ReadS [VarName] # readPrec :: ReadPrec VarName # readListPrec :: ReadPrec [VarName] #
Show VarName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> VarName -> ShowS # show :: VarName -> String # showList :: [VarName] -> ShowS #
IsString VarName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods fromString :: String -> VarName #

newtype FunName Source #

Constructors

FunName
Fields unFunName :: String

Instances

Instances details

Eq FunName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: FunName -> FunName -> Bool # (/=) :: FunName -> FunName -> Bool #
Ord FunName Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS FunName # readList :: ReadS [FunName] # readPrec :: ReadPrec FunName # readListPrec :: ReadPrec [FunName] #
Show FunName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> FunName -> ShowS # show :: FunName -> String # showList :: [FunName] -> ShowS #
IsString FunName Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods fromString :: String -> FunName #

data Type Source #

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

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 Methods readsPrec :: Int -> ReadS Type # readList :: ReadS [Type] # readPrec :: ReadPrec Type # readListPrec :: ReadPrec [Type] #
Show Type Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data Monoid' Source #

Constructors

MonoidIntPlus
MonoidIntMin
MonoidIntMax

Instances

Instances details

Eq Monoid' Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: Monoid' -> Monoid' -> Bool # (/=) :: Monoid' -> Monoid' -> Bool #
Ord Monoid' Source #
Instance details 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' Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS Monoid' # readList :: ReadS [Monoid'] # readPrec :: ReadPrec Monoid' # readListPrec :: ReadPrec [Monoid'] #
Show Monoid' Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Monoid' -> ShowS # show :: Monoid' -> String # showList :: [Monoid'] -> ShowS #

data Literal Source #

Constructors

LitInt32 Integer
LitInt64 Integer
LitBool Bool
LitChar Char
LitString String

Instances

Instances details

Eq Literal Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS Literal # readList :: ReadS [Literal] # readPrec :: ReadPrec Literal # readListPrec :: ReadPrec [Literal] #
Show Literal Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #

data Function Source #

Instances

Instances details

Eq Function Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Ord Function Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS Function # readList :: ReadS [Function] # readPrec :: ReadPrec Function # readListPrec :: ReadPrec [Function] #
Show Function Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #

data UnaryOp Source #

Constructors

IntNop
Negate
BitNot
Not
Deref

Instances

Instances details

Eq UnaryOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: UnaryOp -> UnaryOp -> Bool # (/=) :: UnaryOp -> UnaryOp -> Bool #
Ord UnaryOp Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS UnaryOp # readList :: ReadS [UnaryOp] # readPrec :: ReadPrec UnaryOp # readListPrec :: ReadPrec [UnaryOp] #
Show UnaryOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> UnaryOp -> ShowS # show :: UnaryOp -> String # showList :: [UnaryOp] -> ShowS #

data BinaryOp Source #

Constructors

Add
Sub
Mul
Div
Mod
BitAnd
BitOr
BitXor
BitLeftShift
BitRightShift
And
Or
LessThan
LessEqual
GreaterThan
GreaterEqual
Equal
NotEqual

Instances

Instances details

Eq BinaryOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: BinaryOp -> BinaryOp -> Bool # (/=) :: BinaryOp -> BinaryOp -> Bool #
Ord BinaryOp Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS BinaryOp # readList :: ReadS [BinaryOp] # readPrec :: ReadPrec BinaryOp # readListPrec :: ReadPrec [BinaryOp] #
Show BinaryOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> BinaryOp -> ShowS # show :: BinaryOp -> String # showList :: [BinaryOp] -> ShowS #

data AssignOp Source #

Constructors

SimpleAssign
AddAssign
SubAssign
MulAssign
DivAssign
ModAssign
BitLeftShiftAssign
BitRightShiftAssign
BitAndAssign
BitOrAssign
BitXorAssign

Instances

Instances details

Eq AssignOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Ord AssignOp Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS AssignOp # readList :: ReadS [AssignOp] # readPrec :: ReadPrec AssignOp # readListPrec :: ReadPrec [AssignOp] #
Show AssignOp Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #

data Expr Source #

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

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 Methods readsPrec :: Int -> ReadS Expr # readList :: ReadS [Expr] # readPrec :: ReadPrec Expr # readListPrec :: ReadPrec [Expr] #
Show Expr Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

data LeftExpr Source #

Constructors

LeftVar VarName
LeftAt LeftExpr Expr
LeftGet Integer LeftExpr	std::getn

Instances

Instances details

Eq LeftExpr Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: LeftExpr -> LeftExpr -> Bool # (/=) :: LeftExpr -> LeftExpr -> Bool #
Ord LeftExpr Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS LeftExpr # readList :: ReadS [LeftExpr] # readPrec :: ReadPrec LeftExpr # readListPrec :: ReadPrec [LeftExpr] #
Show LeftExpr Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> LeftExpr -> ShowS # show :: LeftExpr -> String # showList :: [LeftExpr] -> ShowS #

data AssignExpr Source #

Constructors

AssignExpr AssignOp LeftExpr Expr
AssignIncr LeftExpr
AssignDecr LeftExpr

Instances

Instances details

Eq AssignExpr Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: AssignExpr -> AssignExpr -> Bool # (/=) :: AssignExpr -> AssignExpr -> Bool #
Ord AssignExpr Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS AssignExpr # readList :: ReadS [AssignExpr] # readPrec :: ReadPrec AssignExpr # readListPrec :: ReadPrec [AssignExpr] #
Show AssignExpr Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> AssignExpr -> ShowS # show :: AssignExpr -> String # showList :: [AssignExpr] -> ShowS #

data DeclareRight Source #

Constructors

DeclareDefault
DeclareCopy Expr
DeclareInitialize [Expr]	This is only for better formatting. This should not be used while optimization phases.

Instances

Instances details

Eq DeclareRight Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: DeclareRight -> DeclareRight -> Bool # (/=) :: DeclareRight -> DeclareRight -> Bool #
Ord DeclareRight Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS DeclareRight # readList :: ReadS [DeclareRight] # readPrec :: ReadPrec DeclareRight # readListPrec :: ReadPrec [DeclareRight] #
Show DeclareRight Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> DeclareRight -> ShowS # show :: DeclareRight -> String # showList :: [DeclareRight] -> ShowS #

data Statement Source #

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

Instances details

Eq Statement Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Ord Statement Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS Statement # readList :: ReadS [Statement] # readPrec :: ReadPrec Statement # readListPrec :: ReadPrec [Statement] #
Show Statement Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #

data ToplevelStatement Source #

Constructors

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

Instances

Instances details

Eq ToplevelStatement Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: ToplevelStatement -> ToplevelStatement -> Bool # (/=) :: ToplevelStatement -> ToplevelStatement -> Bool #
Ord ToplevelStatement Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS ToplevelStatement # readList :: ReadS [ToplevelStatement] # readPrec :: ReadPrec ToplevelStatement # readListPrec :: ReadPrec [ToplevelStatement] #
Show ToplevelStatement Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> ToplevelStatement -> ShowS # show :: ToplevelStatement -> String # showList :: [ToplevelStatement] -> ShowS #

newtype Program Source #

Constructors

Program
Fields decls :: [ToplevelStatement]

Instances

Instances details

Eq Program Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #
Ord Program Source #
Instance details 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 Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods readsPrec :: Int -> ReadS Program # readList :: ReadS [Program] # readPrec :: ReadPrec Program # readListPrec :: ReadPrec [Program] #
Show Program Source #
Instance details Defined in Jikka.CPlusPlus.Language.Expr Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #

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'