expreduceapi

Documentation

Index

• type Attributes
• type Def
• type DefinitionMap
• type DownValue
• type EvalFnType
• type EvalStateInterface
• type Ex
• type ExpressionInterface
• type LoggingInterface
• type StreamManager
• type StringInterface
• type ToStringFnType
• type ToStringParams

Types

type Attributes

type Attributes struct {
	Orderless       bool
	Flat            bool
	OneIdentity     bool
	Listable        bool
	Constant        bool
	NumericFunction bool
	Protected       bool
	Locked          bool
	ReadProtected   bool
	HoldFirst       bool
	HoldRest        bool
	HoldAll         bool
	HoldAllComplete bool
	NHoldFirst      bool
	NHoldRest       bool
	NHoldAll        bool
	SequenceHold    bool
	Temporary       bool
	Stub            bool
}

type Def

type Def struct {
	Downvalues  []DownValue
	Attributes  Attributes
	DefaultExpr Ex

	// A function defined here will override downvalues.
	LegacyEvalFn EvalFnType
}

type DefinitionMap

type DefinitionMap interface {
	Set(key string, value Def)
	Get(key string) (Def, bool)
	GetDef(key string) Def
	LockKey(key string)
	UnlockKey(key string)
	Keys() []string
	CopyDefs() DefinitionMap
}

type DownValue

type DownValue struct {
	Rule        ExpressionInterface
	Specificity int
}

type EvalFnType

type EvalFnType (func(ExpressionInterface, EvalStateInterface) Ex)

type EvalStateInterface

type EvalStateInterface interface {
	LoggingInterface

	Eval(expr Ex) Ex

	GetDefined(name string) (Def, bool)
	SetDefined(name string, def Def)
	GetStringFn(headStr string) (ToStringFnType, bool)
	Init(loadAllDefs bool)
	IsDef(name string) bool
	GetDef(name string, lhs Ex) (Ex, bool, ExpressionInterface)
	GetSymDef(name string) (Ex, bool)
	MarkSeen(name string)
	Define(lhs Ex, rhs Ex)
	ClearAll()
	Clear(name string)
	GetDefinedSnapshot() DefinitionMap
	IsFrozen() bool
	SetFrozen(frozen bool)
	IsInterrupted() bool
	GetStringDef(name string, defaultVal string) string
	GetListDef(name string) ExpressionInterface
	Throw(e ExpressionInterface)
	HasThrown() bool
	Thrown() ExpressionInterface
	ProcessTopLevelResult(in Ex, out Ex) Ex

	GetLogger() LoggingInterface
	GetTrace() ExpressionInterface
	SetTrace(newTrace ExpressionInterface)
	GetDefinedMap() DefinitionMap
	GetReapSown() ExpressionInterface
	SetReapSown(ex ExpressionInterface)

	GetTimeCounter() *timecounter.Group
	GetStreamManager() StreamManager
}

type Ex

type Ex interface {
	StringForm(params ToStringParams) string
	IsEqual(b Ex) string
	DeepCopy() Ex
	Copy() Ex
	NeedsEval() bool
	Hash() uint64
}

Ex is the interface that fundamental types must implement.

type ExpressionInterface

type ExpressionInterface interface {
	Ex

	GetParts() []Ex
	GetPart(i int) Ex
	SetParts(newParts []Ex)
	ClearHashes()

	Len() int
	Less(i, j int) bool
	Swap(i, j int)
	AppendEx(e Ex)
	AppendExArray(e []Ex)
	HeadStr() string
}

type LoggingInterface

type LoggingInterface interface {
	Debugf(fmt string, args ...interface{})
	Infof(fmt string, args ...interface{})
	Errorf(fmt string, args ...interface{})
	DebugOn(level gologging.Level)
	DebugOff()
	SetDebugState(newState bool)
	IsProfiling() bool
	SetProfiling(profiling bool)
	SetUpLogging()
}

type StreamManager

type StreamManager interface {
	WriteString(streamName string, streamIndex int64, toWrite string) bool
	AsExpr() Ex
}

type StringInterface

type StringInterface interface {
	Ex

	GetValue() string
}

type ToStringFnType

type ToStringFnType (func(ExpressionInterface, ToStringParams) (bool, string))

type ToStringParams

type ToStringParams struct {
	Form         string
	Context      StringInterface
	ContextPath  ExpressionInterface
	PreviousHead string
	Esi          evalStateForStringer
}