egison-3.7.3: Programming language with non-linear pattern-matching against non-free data

Index

AlgebraicDataMatcherExprLanguage.Egison.Types, Language.Egison
AndPatLanguage.Egison.Types, Language.Egison
appendDFscriptsLanguage.Egison.Types, Language.Egison
ApplyLanguage.Egison.Types, Language.Egison
ApplyExprLanguage.Egison.Types, Language.Egison
applyFuncLanguage.Egison.Core
ArgLanguage.Egison.Types, Language.Egison
ArgumentsNumLanguage.Egison.Types, Language.Egison
ArgumentsNumPrimitiveLanguage.Egison.Types, Language.Egison
ArgumentsNumWithNamesLanguage.Egison.Types, Language.Egison
ArrayLanguage.Egison.Types, Language.Egison
arrayBoundsLanguage.Egison.Core
ArrayBoundsExprLanguage.Egison.Types, Language.Egison
ArrayExprLanguage.Egison.Types, Language.Egison
ArrayRefExprLanguage.Egison.Types, Language.Egison
AssertionLanguage.Egison.Types, Language.Egison
BFSModeLanguage.Egison.Types, Language.Egison
BindingLanguage.Egison.Types, Language.Egison
BindingExprLanguage.Egison.Types, Language.Egison
BoolLanguage.Egison.Types, Language.Egison
BoolExprLanguage.Egison.Types, Language.Egison
CambdaExprLanguage.Egison.Types, Language.Egison
CApplyExprLanguage.Egison.Types, Language.Egison
CFuncLanguage.Egison.Types, Language.Egison
CharLanguage.Egison.Types, Language.Egison
CharExprLanguage.Egison.Types, Language.Egison
CharHashLanguage.Egison.Types, Language.Egison
CollectionLanguage.Egison.Types, Language.Egison
CollectionExprLanguage.Egison.Types, Language.Egison
collectionToListLanguage.Egison.Core
completeEgisonLanguage.Egison.Util
ContPatLanguage.Egison.Types, Language.Egison
DApplyPatLanguage.Egison.Types, Language.Egison
DefaultLanguage.Egison.Types, Language.Egison
DefineLanguage.Egison.Types, Language.Egison
DesugarLanguage.Egison.Types, Language.Egison
desugarLanguage.Egison.Desugar
desugarExprLanguage.Egison.Desugar
DesugarMLanguage.Egison.Desugar
desugarTopExprLanguage.Egison.Desugar
DFscriptLanguage.Egison.Types, Language.Egison
DFSModeLanguage.Egison.Types, Language.Egison
DivLanguage.Egison.Types, Language.Egison
DivPatLanguage.Egison.Types, Language.Egison
DoExprLanguage.Egison.Types, Language.Egison
EgisonBugLanguage.Egison.Types, Language.Egison
EgisonDataLanguage.Egison.Types, Language.Egison
EgisonErrorLanguage.Egison.Types, Language.Egison
EgisonExprLanguage.Egison.Types, Language.Egison
EgisonM 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
EgisonPatternLanguage.Egison.Types, Language.Egison
EgisonTopExprLanguage.Egison.Types, Language.Egison
egisonToScalarDataLanguage.Egison.Types, Language.Egison
EgisonValueLanguage.Egison.Types, Language.Egison
EgisonWHNFLanguage.Egison.Types, Language.Egison
ElementExprLanguage.Egison.Types, Language.Egison
enumTensorIndicesLanguage.Egison.Types, Language.Egison
Env 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
EOFLanguage.Egison.Types, Language.Egison
evalEgisonExprLanguage.Egison
evalEgisonTopExprLanguage.Egison
evalEgisonTopExprsLanguage.Egison
evalEgisonTopExprsTestOnlyLanguage.Egison
evalExprLanguage.Egison.Core
evalExprDeepLanguage.Egison.Core
evalRefLanguage.Egison.Core
evalRefDeepLanguage.Egison.Core
evalTopExprLanguage.Egison.Core
evalTopExprsLanguage.Egison.Core
evalTopExprsNoIOLanguage.Egison.Core
evalTopExprsTestOnlyLanguage.Egison.Core
evalWHNFLanguage.Egison.Core
ExecuteLanguage.Egison.Types, Language.Egison
extendEnvLanguage.Egison.Types, Language.Egison
extractScalarLanguage.Egison.Types, Language.Egison
extractScalar'Language.Egison.Types, Language.Egison
FloatLanguage.Egison.Types, Language.Egison
FloatExprLanguage.Egison.Types, Language.Egison
FreshLanguage.Egison.Types, Language.Egison
freshLanguage.Egison.Types, Language.Egison
FreshT 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
FreshVarExprLanguage.Egison.Types, Language.Egison
fromEgisonLanguage.Egison.Types, Language.Egison
fromEgisonMLanguage.Egison.Types, Language.Egison
fromListLanguage.Egison.Types, Language.Egison
fromMListLanguage.Egison.Types, Language.Egison
fromSeqLanguage.Egison.Types, Language.Egison
fromTensorLanguage.Egison.Types, Language.Egison
fromWHNFLanguage.Egison.Types, Language.Egison
FuncLanguage.Egison.Types, Language.Egison
GenerateArrayExprLanguage.Egison.Types, Language.Egison
GenerateTensorExprLanguage.Egison.Types, Language.Egison
getEgisonExprLanguage.Egison.Util
getEgisonExprOrNewLineLanguage.Egison.Util
HashExprLanguage.Egison.Types, Language.Egison
HasTensorLanguage.Egison.Types, Language.Egison
IArrayLanguage.Egison.Types, Language.Egison
ICharHashLanguage.Egison.Types, Language.Egison
ICollectionLanguage.Egison.Types, Language.Egison
IElementLanguage.Egison.Types, Language.Egison
IfExprLanguage.Egison.Types, Language.Egison
IInductiveDataLanguage.Egison.Types, Language.Egison
IIntHashLanguage.Egison.Types, Language.Egison
InconsistentTensorIndexLanguage.Egison.Types, Language.Egison
InconsistentTensorSizeLanguage.Egison.Types, Language.Egison
IndexLanguage.Egison.Types, Language.Egison
IndexedExprLanguage.Egison.Types, Language.Egison
IndexedPatLanguage.Egison.Types, Language.Egison
InductiveDataLanguage.Egison.Types, Language.Egison
InductiveDataExprLanguage.Egison.Types, Language.Egison
InductivePatLanguage.Egison.Types, Language.Egison
initialEnvLanguage.Egison
initialEnvNoIOLanguage.Egison
initTensorLanguage.Egison.Types, Language.Egison
InnerLanguage.Egison.Types, Language.Egison
InnerExprLanguage.Egison.Types, Language.Egison
IntegerExprLanguage.Egison.Types, Language.Egison
Intermediate 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
IntHashLanguage.Egison.Types, Language.Egison
IoExprLanguage.Egison.Types, Language.Egison
IOFuncLanguage.Egison.Types, Language.Egison
isArray'Language.Egison.Types, Language.Egison
isBoolLanguage.Egison.Types, Language.Egison
isBool'Language.Egison.Types, Language.Egison
isChar'Language.Egison.Types, Language.Egison
isCollection'Language.Egison.Types, Language.Egison
isComplex'Language.Egison.Types, Language.Egison
isEmptyCollectionLanguage.Egison.Core
isFloat'Language.Egison.Types, Language.Egison
isHash'Language.Egison.Types, Language.Egison
isIntegerLanguage.Egison.Types, Language.Egison
isInteger'Language.Egison.Types, Language.Egison
isRationalLanguage.Egison.Types, Language.Egison
isRational'Language.Egison.Types, Language.Egison
isScalarLanguage.Egison.Types, Language.Egison
isScalar'Language.Egison.Types, Language.Egison
isString'Language.Egison.Types, Language.Egison
isSymbolLanguage.Egison.Types, Language.Egison
isTensorLanguage.Egison.Types, Language.Egison
isTensor'Language.Egison.Types, Language.Egison
isTensorWithIndexLanguage.Egison.Types, Language.Egison
isTensorWithIndex'Language.Egison.Types, Language.Egison
IStrHashLanguage.Egison.Types, Language.Egison
ISubCollectionLanguage.Egison.Types, Language.Egison
ITensorLanguage.Egison.Types, Language.Egison
ITupleLanguage.Egison.Types, Language.Egison
LambdaExprLanguage.Egison.Types, Language.Egison
LetExprLanguage.Egison.Types, Language.Egison
LetPatLanguage.Egison.Types, Language.Egison
LetRecExprLanguage.Egison.Types, Language.Egison
LetStarExprLanguage.Egison.Types, Language.Egison
liftEgisonMLanguage.Egison.Types, Language.Egison
liftErrorLanguage.Egison.Types, Language.Egison
LoadLanguage.Egison.Types, Language.Egison
loadEgisonFileLanguage.Egison
loadEgisonLibraryLanguage.Egison
LoadFileLanguage.Egison.Types, Language.Egison
loadFileLanguage.Egison.Parser, Language.Egison
loadLibraryFileLanguage.Egison.Parser, Language.Egison
LoopPatLanguage.Egison.Types, Language.Egison
LoopPatContext 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
LoopRange 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
MacroLanguage.Egison.Types, Language.Egison
MacroExprLanguage.Egison.Types, Language.Egison
mappendLanguage.Egison.Types, Language.Egison
Match 
1 (Data Constructor)Language.Egison.Types, Language.Egison
2 (Type/Class)Language.Egison.Types, Language.Egison
MatchAllExprLanguage.Egison.Types, Language.Egison
MatchAllLambdaExprLanguage.Egison.Types, Language.Egison
MatchClauseLanguage.Egison.Types, Language.Egison
MatcherLanguage.Egison.Types, Language.Egison
MatcherBFSExprLanguage.Egison.Types, Language.Egison
MatcherDFSExprLanguage.Egison.Types, Language.Egison
MatcherInfoLanguage.Egison.Types, Language.Egison
MatchExprLanguage.Egison.Types, Language.Egison
matchFailLanguage.Egison.Types, Language.Egison
MatchingStateLanguage.Egison.Types, Language.Egison
MatchingTreeLanguage.Egison.Types, Language.Egison
MatchLambdaExprLanguage.Egison.Types, Language.Egison
MatchMLanguage.Egison.Types, Language.Egison
mathDenominatorLanguage.Egison.Types, Language.Egison
mathDivideLanguage.Egison.Types, Language.Egison
mathExprToEgisonLanguage.Egison.Types, Language.Egison
mathFoldLanguage.Egison.Types, Language.Egison
mathMultLanguage.Egison.Types, Language.Egison
mathNegateLanguage.Egison.Types, Language.Egison
mathNormalize'Language.Egison.Types, Language.Egison
mathNumeratorLanguage.Egison.Types, Language.Egison
mathPlusLanguage.Egison.Types, Language.Egison
mathRemoveZeroLanguage.Egison.Types, Language.Egison
mathSymbolFoldLanguage.Egison.Types, Language.Egison
mathTermFoldLanguage.Egison.Types, Language.Egison
MAtomLanguage.Egison.Types, Language.Egison
mconcatLanguage.Egison.Types, Language.Egison
MConsLanguage.Egison.Types, Language.Egison
MemoizedFuncLanguage.Egison.Types, Language.Egison
MemoizedLambdaExprLanguage.Egison.Types, Language.Egison
MemoizeExprLanguage.Egison.Types, Language.Egison
mfoldrLanguage.Egison.Types, Language.Egison
mforLanguage.Egison.Types, Language.Egison
MListLanguage.Egison.Types, Language.Egison
mmapLanguage.Egison.Types, Language.Egison
MNilLanguage.Egison.Types, Language.Egison
MNodeLanguage.Egison.Types, Language.Egison
MonadFreshLanguage.Egison.Types, Language.Egison
msingletonLanguage.Egison.Types, Language.Egison
MStateLanguage.Egison.Types, Language.Egison
MultPatLanguage.Egison.Types, Language.Egison
NextMatchAllExprLanguage.Egison.Types, Language.Egison
NextMatchAllLambdaExprLanguage.Egison.Types, Language.Egison
NextMatchExprLanguage.Egison.Types, Language.Egison
NextMatchLambdaExprLanguage.Egison.Types, Language.Egison
NotImplementedLanguage.Egison.Types, Language.Egison
NotPatLanguage.Egison.Types, Language.Egison
nullEnvLanguage.Egison.Types, Language.Egison
ObjectLanguage.Egison.Types, Language.Egison
ObjectRefLanguage.Egison.Types, Language.Egison
OrderedOrPatLanguage.Egison.Types, Language.Egison
OrPatLanguage.Egison.Types, Language.Egison
packStringValueLanguage.Egison.Core
PApplyPatLanguage.Egison.Types, Language.Egison
parallelMapMLanguage.Egison.Types, Language.Egison
ParExprLanguage.Egison.Types, Language.Egison
parseExprLanguage.Egison.Parser, Language.Egison
parseExprsLanguage.Egison.Parser, Language.Egison
ParserLanguage.Egison.Types, Language.Egison
parseTopExprLanguage.Egison.Parser, Language.Egison
parseTopExprsLanguage.Egison.Parser, Language.Egison
PartialExprLanguage.Egison.Types, Language.Egison
PartialFuncLanguage.Egison.Types, Language.Egison
PartialVarExprLanguage.Egison.Types, Language.Egison
PatternBindingLanguage.Egison.Types, Language.Egison
PatternFuncLanguage.Egison.Types, Language.Egison
PatternFunctionExprLanguage.Egison.Types, Language.Egison
patternMatchLanguage.Egison.Core
PatVarLanguage.Egison.Types, Language.Egison
PDConsPatLanguage.Egison.Types, Language.Egison
PDConstantPatLanguage.Egison.Types, Language.Egison
PDEmptyPatLanguage.Egison.Types, Language.Egison
PDInductivePatLanguage.Egison.Types, Language.Egison
PDPatVarLanguage.Egison.Types, Language.Egison
PDSnocPatLanguage.Egison.Types, Language.Egison
PDTuplePatLanguage.Egison.Types, Language.Egison
PDWildCardLanguage.Egison.Types, Language.Egison
PlusLanguage.Egison.Types, Language.Egison
PlusPatLanguage.Egison.Types, Language.Egison
PmapExprLanguage.Egison.Types, Language.Egison
PMModeLanguage.Egison.Types, Language.Egison
pmModeLanguage.Egison.Types, Language.Egison
PolyExprLanguage.Egison.Types, Language.Egison
PortLanguage.Egison.Types, Language.Egison
PowerExprLanguage.Egison.Types, Language.Egison
PowerPatLanguage.Egison.Types, Language.Egison
PPInductivePatLanguage.Egison.Types, Language.Egison
PPPatVarLanguage.Egison.Types, Language.Egison
PPValuePatLanguage.Egison.Types, Language.Egison
PPWildCardLanguage.Egison.Types, Language.Egison
PredPatLanguage.Egison.Types, Language.Egison
PrimitiveDataPatternLanguage.Egison.Types, Language.Egison
primitiveEnvLanguage.Egison.Primitives, Language.Egison
primitiveEnvNoIOLanguage.Egison.Primitives, Language.Egison
PrimitiveFunc 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
PrimitivePatPatternLanguage.Egison.Types, Language.Egison
ProcLanguage.Egison.Types, Language.Egison
ProcedureExprLanguage.Egison.Types, Language.Egison
PseqExprLanguage.Egison.Types, Language.Egison
QuoteLanguage.Egison.Types, Language.Egison
QuotedFuncLanguage.Egison.Types, Language.Egison
QuoteExprLanguage.Egison.Types, Language.Egison
QuoteFunctionExprLanguage.Egison.Types, Language.Egison
readExprLanguage.Egison.Parser, Language.Egison
readExprsLanguage.Egison.Parser, Language.Egison
readTopExprLanguage.Egison.Parser, Language.Egison
readTopExprsLanguage.Egison.Parser, Language.Egison
recursiveBindLanguage.Egison.Core
RecVarExprLanguage.Egison.Types, Language.Egison
RedefineLanguage.Egison.Types, Language.Egison
refArrayLanguage.Egison.Core
refVarLanguage.Egison.Types, Language.Egison
removeDFscriptsLanguage.Egison.Types, Language.Egison
runDesugarMLanguage.Egison.Desugar
runEgisonExprLanguage.Egison
runEgisonMLanguage.Egison.Types, Language.Egison
runEgisonTopExprLanguage.Egison
runEgisonTopExprsLanguage.Egison
runEgisonTopExprsNoIOLanguage.Egison
runFreshTLanguage.Egison.Types, Language.Egison
ScalarLanguage.Egison.Types, Language.Egison
ScalarArgLanguage.Egison.Types, Language.Egison
ScalarData 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
SeqExprLanguage.Egison.Types, Language.Egison
showTSVLanguage.Egison.Types, Language.Egison
SomethingLanguage.Egison.Types, Language.Egison
SomethingExprLanguage.Egison.Types, Language.Egison
StrHashLanguage.Egison.Types, Language.Egison
StringLanguage.Egison.Types, Language.Egison
StringExprLanguage.Egison.Types, Language.Egison
SubCollectionExprLanguage.Egison.Types, Language.Egison
SubrefsExprLanguage.Egison.Types, Language.Egison
SubscriptLanguage.Egison.Types, Language.Egison
SuperscriptLanguage.Egison.Types, Language.Egison
SuprefsExprLanguage.Egison.Types, Language.Egison
SupSubscriptLanguage.Egison.Types, Language.Egison
SymbolLanguage.Egison.Types, Language.Egison
SymbolExprLanguage.Egison.Types, Language.Egison
symbolScalarDataLanguage.Egison.Types, Language.Egison
tClearIndexLanguage.Egison.Types, Language.Egison
tClearIndex'Language.Egison.Types, Language.Egison
tConcatLanguage.Egison.Types, Language.Egison
tConcat'Language.Egison.Types, Language.Egison
tContractLanguage.Egison.Types, Language.Egison
tContract'Language.Egison.Types, Language.Egison
Tensor 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
TensorArgLanguage.Egison.Types, Language.Egison
TensorContractExprLanguage.Egison.Types, Language.Egison
TensorDataLanguage.Egison.Types, Language.Egison
tensorElemsLanguage.Egison.Types, Language.Egison
TensorExprLanguage.Egison.Types, Language.Egison
TensorIndexOutOfBoundsLanguage.Egison.Types, Language.Egison
tensorIndicesLanguage.Egison.Types, Language.Egison
TensorMap2ExprLanguage.Egison.Types, Language.Egison
TensorMapExprLanguage.Egison.Types, Language.Egison
tensorSizeLanguage.Egison.Types, Language.Egison
TermLanguage.Egison.Types, Language.Egison
TermExprLanguage.Egison.Types, Language.Egison
TestLanguage.Egison.Types, Language.Egison
ThunkLanguage.Egison.Types, Language.Egison
tIndexLanguage.Egison.Types, Language.Egison
tMapLanguage.Egison.Types, Language.Egison
tMap2Language.Egison.Types, Language.Egison
tMapNLanguage.Egison.Types, Language.Egison
toEgisonLanguage.Egison.Types, Language.Egison
toTensorLanguage.Egison.Types, Language.Egison
toWHNFLanguage.Egison.Types, Language.Egison
tProductLanguage.Egison.Types, Language.Egison
TransposeExprLanguage.Egison.Types, Language.Egison
trefLanguage.Egison.Types, Language.Egison
tSizeLanguage.Egison.Types, Language.Egison
tSumLanguage.Egison.Types, Language.Egison
tToListLanguage.Egison.Types, Language.Egison
tTranspose'Language.Egison.Types, Language.Egison
TupleLanguage.Egison.Types, Language.Egison
TupleExprLanguage.Egison.Types, Language.Egison
TuplePatLanguage.Egison.Types, Language.Egison
tupleToListLanguage.Egison.Core
TypeMismatchLanguage.Egison.Types, Language.Egison
UnboundVariableLanguage.Egison.Types, Language.Egison
unconsCollectionLanguage.Egison.Core
undefLanguage.Egison.Types, Language.Egison
UndefinedLanguage.Egison.Types, Language.Egison
UndefinedExprLanguage.Egison.Types, Language.Egison
unEgisonMLanguage.Egison.Types, Language.Egison
unFreshTLanguage.Egison.Types, Language.Egison
unsnocCollectionLanguage.Egison.Core
UserIndexLanguage.Egison.Types, Language.Egison
UserIndexedDataLanguage.Egison.Types, Language.Egison
UserIndexedExprLanguage.Egison.Types, Language.Egison
UserMatcherLanguage.Egison.Types, Language.Egison
UserscriptLanguage.Egison.Types, Language.Egison
ValueLanguage.Egison.Types, Language.Egison
ValuePatLanguage.Egison.Types, Language.Egison
Var 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
VarExprLanguage.Egison.Types, Language.Egison
VarPatLanguage.Egison.Types, Language.Egison
VarWithIndices 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
VectorExprLanguage.Egison.Types, Language.Egison
versionLanguage.Egison
WedgeApplyExprLanguage.Egison.Types, Language.Egison
WedgeExprLanguage.Egison.Types, Language.Egison
WHNFLanguage.Egison.Types, Language.Egison
WHNFDataLanguage.Egison.Types, Language.Egison
WildCardLanguage.Egison.Types, Language.Egison
WithSymbolsExprLanguage.Egison.Types, Language.Egison
WorldLanguage.Egison.Types, Language.Egison