curry.toolchain.flat2icurry.icurrytypes module

The ICurry data types, as in ICurry.Types of the Curry package icurry. A name is a triple (module, name, index).

class curry.toolchain.flat2icurry.icurrytypes.IAssign(*args)[source]: Bases: Term

class curry.toolchain.flat2icurry.icurrytypes.IBlock(*args)

Bases: Term

property assigns

property decls

property statement

class curry.toolchain.flat2icurry.icurrytypes.ICCall(*args)

Bases: IExpr

property args

property name

class curry.toolchain.flat2icurry.icurrytypes.ICPCall(*args)

Bases: IExpr

property args

property missing

property name

class curry.toolchain.flat2icurry.icurrytypes.ICaseCons(*args)

Bases: IStatement

property branches

property var

class curry.toolchain.flat2icurry.icurrytypes.ICaseLit(*args)

Bases: IStatement

property branches

property var

class curry.toolchain.flat2icurry.icurrytypes.IChar(*args)

Bases: ILiteral

property value

class curry.toolchain.flat2icurry.icurrytypes.IConsBranch(*args)

Bases: Term

property arity

property block

property name

class curry.toolchain.flat2icurry.icurrytypes.IDataType(*args)

Bases: Term

property constructors

property name

class curry.toolchain.flat2icurry.icurrytypes.IDecl(*args)[source]: Bases: Term

class curry.toolchain.flat2icurry.icurrytypes.IExpr(*args)[source]: Bases: Term

class curry.toolchain.flat2icurry.icurrytypes.IExternal(*args)

Bases: IFuncBodyDecl

property name

class curry.toolchain.flat2icurry.icurrytypes.IFCall(*args)

Bases: IExpr

property args

property name

class curry.toolchain.flat2icurry.icurrytypes.IFPCall(*args)

Bases: IExpr

property args

property missing

property name

class curry.toolchain.flat2icurry.icurrytypes.IFloat(*args)

Bases: ILiteral

property value

class curry.toolchain.flat2icurry.icurrytypes.IFreeDecl(*args)

Bases: IDecl

property var

class curry.toolchain.flat2icurry.icurrytypes.IFuncBody(*args)

Bases: IFuncBodyDecl

property block

class curry.toolchain.flat2icurry.icurrytypes.IFunction(*args)

Bases: Term

property arity

property body

property demanded

property name

property visibility

class curry.toolchain.flat2icurry.icurrytypes.IInt(*args)

Bases: ILiteral

property value

class curry.toolchain.flat2icurry.icurrytypes.ILit(*args)

Bases: IExpr

property literal

class curry.toolchain.flat2icurry.icurrytypes.ILitBranch(*args)

Bases: Term

property block

property literal

class curry.toolchain.flat2icurry.icurrytypes.ILiteral(*args)[source]: Bases: Term

class curry.toolchain.flat2icurry.icurrytypes.INodeAssign(*args)

Bases: IAssign

property expr

property path

property var

class curry.toolchain.flat2icurry.icurrytypes.IOr(*args)

Bases: IExpr

property lhs

property rhs

class curry.toolchain.flat2icurry.icurrytypes.IProg(*args)

Bases: Term

property functions

property imports

property name

property types

class curry.toolchain.flat2icurry.icurrytypes.IReturn(*args)

Bases: IStatement

property expr

class curry.toolchain.flat2icurry.icurrytypes.IStatement(*args)[source]: Bases: Term

class curry.toolchain.flat2icurry.icurrytypes.IVar(*args)

Bases: IExpr

property var

class curry.toolchain.flat2icurry.icurrytypes.IVarAccess(*args)

Bases: IExpr

property path

property var

class curry.toolchain.flat2icurry.icurrytypes.IVarAssign(*args)

Bases: IAssign

property expr

property var

class curry.toolchain.flat2icurry.icurrytypes.IVarDecl(*args)

Bases: IDecl

property var

class curry.toolchain.flat2icurry.icurrytypes.IVisibility(*args)[source]: Bases: Term