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

Index

AlgebraicDataMatcherExprLanguage.Egison.Types, Language.Egison
AndPatLanguage.Egison.Types, Language.Egison
ApplyLanguage.Egison.Types, Language.Egison
ApplyExprLanguage.Egison.Types, Language.Egison
applyFuncLanguage.Egison.Core
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
DFSModeLanguage.Egison.Types, Language.Egison
DivLanguage.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
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
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
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
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
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
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
InitTensorExprLanguage.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
isNumberLanguage.Egison.Types, Language.Egison
isNumber'Language.Egison.Types, Language.Egison
isRationalLanguage.Egison.Types, Language.Egison
isRational'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
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
makeTensorLanguage.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
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
mathReduceFractionLanguage.Egison.Types, Language.Egison
mathReduceSymbolFractionLanguage.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
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
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
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
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
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
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
refArrayLanguage.Egison.Core
refVarLanguage.Egison.Types, Language.Egison
RegexPatLanguage.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
ScalarData 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
scalarToTensorLanguage.Egison.Types, Language.Egison
scalarToUnitTensorLanguage.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
SymbolLanguage.Egison.Types, Language.Egison
SymbolExprLanguage.Egison.Types, Language.Egison
symbolScalarDataLanguage.Egison.Types, Language.Egison
tCheckIndexLanguage.Egison.Types, Language.Egison
tContractLanguage.Egison.Types, Language.Egison
TDataLanguage.Egison.Types, Language.Egison
Tensor 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.Egison.Types, Language.Egison
TensorData 
1 (Type/Class)Language.Egison.Types, Language.Egison
2 (Data Constructor)Language.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
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
toEgisonLanguage.Egison.Types, Language.Egison
toWHNFLanguage.Egison.Types, Language.Egison
trefLanguage.Egison.Types, Language.Egison
tref'Language.Egison.Types, Language.Egison
tSizeLanguage.Egison.Types, Language.Egison
tToListLanguage.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
UndefinedLanguage.Egison.Types, Language.Egison
UndefinedExprLanguage.Egison.Types, Language.Egison
unEgisonMLanguage.Egison.Types, Language.Egison
unFreshTLanguage.Egison.Types, Language.Egison
unsnocCollectionLanguage.Egison.Core
UserMatcherLanguage.Egison.Types, Language.Egison
ValueLanguage.Egison.Types, Language.Egison
ValuePatLanguage.Egison.Types, Language.Egison
VarLanguage.Egison.Types, Language.Egison
VarExprLanguage.Egison.Types, Language.Egison
VarPatLanguage.Egison.Types, Language.Egison
versionLanguage.Egison
WHNFLanguage.Egison.Types, Language.Egison
WHNFDataLanguage.Egison.Types, Language.Egison
WildCardLanguage.Egison.Types, Language.Egison
WorldLanguage.Egison.Types, Language.Egison