Contents
Index
shimmer-0.1.3.3: The Reflective Lambda Machine
Index
alt
SMR.Source.Parsec
alts
SMR.Source.Parsec
Bag
SMR.Data.Bag
BagElem
SMR.Data.Bag
BagList
SMR.Data.Bag
BagNil
SMR.Data.Bag
BagUnion
SMR.Data.Bag
BindNom
SMR.Core.Exp
BindVar
SMR.Core.Exp
Blocker
1 (Type/Class)
SMR.Source.Parsec
2 (Data Constructor)
SMR.Source.Parsec
blockerExpected
SMR.Source.Parsec
blockerTokens
SMR.Source.Parsec
Build
SMR.Source.Pretty
build
SMR.Source.Pretty
buildCar
SMR.Source.Pretty
buildDecl
SMR.Source.Pretty
buildExp
SMR.Source.Pretty
buildKey
SMR.Source.Pretty
buildParam
SMR.Source.Pretty
buildPrim
SMR.Source.Pretty
buildRef
SMR.Source.Pretty
buildSnv
SMR.Source.Pretty
buildSnvBind
SMR.Source.Pretty
buildText
SMR.Source.Pretty
buildTrain
SMR.Source.Pretty
buildUps
SMR.Source.Pretty
buildUpsBump
SMR.Source.Pretty
Bump
SMR.Core.Exp
Car
SMR.Core.Exp
commit
SMR.Source.Parsec
Config
1 (Type/Class)
SMR.Core.Step
2 (Data Constructor)
SMR.Core.Step
3 (Type/Class)
SMR.Source.Parser
4 (Data Constructor)
SMR.Source.Parser
configDeclsMac
SMR.Core.Step
configHeadArgs
SMR.Core.Step
configPrims
SMR.Core.Step
configReadPrm
SMR.Source.Parser
configReadSym
SMR.Source.Parser
configUnderLambdas
SMR.Core.Step
CRec
SMR.Core.Exp
CSim
SMR.Core.Exp
Ctx
SMR.Source.Pretty
CtxArg
SMR.Source.Pretty
CtxFun
SMR.Source.Pretty
CtxTop
SMR.Source.Pretty
CUps
SMR.Core.Exp
Decl
SMR.Core.Exp
DeclMac
SMR.Core.Exp
DeclSet
SMR.Core.Exp
Depth
SMR.Core.Exp
endOfLocated
SMR.Data.Located
enter
SMR.Source.Parsec
enterOn
SMR.Source.Parsec
Error
SMR.Source.Parser
ExBaseEnd
SMR.Source.Expected
ExBaseMsg
SMR.Source.Expected
ExBaseNameAny
SMR.Source.Expected
ExBaseNameOf
SMR.Source.Expected
ExBaseNat
SMR.Source.Expected
ExBasePunc
SMR.Source.Expected
ExBaseText
SMR.Source.Expected
ExContextBind
SMR.Source.Expected
ExContextDecl
SMR.Source.Expected
Exp
SMR.Core.Exp
Expected
SMR.Source.Expected
expected
SMR.Source.Parsec
fail
SMR.Source.Parsec
Form
SMR.Core.Exp
formOfParam
SMR.Core.Exp
from
SMR.Source.Parsec
incCharOfLocation
SMR.Data.Located
incLineOfLocation
SMR.Data.Located
isKPunc
SMR.Source.Token
isToken
SMR.Source.Token
item
SMR.Source.Parsec
KBox
SMR.Core.Exp
KEnd
SMR.Source.Token
Key
SMR.Core.Exp
KName
SMR.Source.Token
KNat
SMR.Source.Token
KPunc
SMR.Source.Token
KRun
SMR.Core.Exp
KText
SMR.Source.Token
L
SMR.Data.Located
,
SMR.Source.Lexer
lexTokens
SMR.Source.Lexer
list
SMR.Data.Bag
LL
SMR.Data.Located
,
SMR.Source.Lexer
Located
SMR.Data.Located
,
SMR.Source.Lexer
Location
SMR.Data.Located
,
SMR.Source.Lexer
makeXAbs
SMR.Core.Exp
makeXApps
SMR.Core.Exp
makeXBool
SMR.Prim.Name
makeXList
SMR.Prim.Name
makeXNat
SMR.Prim.Name
many
SMR.Source.Parsec
map
SMR.Data.Bag
Name
SMR.Core.Exp
nameOfParam
SMR.Core.Exp
newWorld
SMR.Core.Step
nil
SMR.Data.Bag
Nom
SMR.Core.Exp
packDecl
SMR.Core.Codec
packExp
SMR.Core.Codec
packFileDecls
SMR.Core.Codec
packRef
SMR.Core.Codec
Param
SMR.Core.Exp
parens
SMR.Source.Pretty
parse
SMR.Source.Parsec
parseDecls
SMR.Source.Parser
ParseError
1 (Type/Class)
SMR.Source.Expected
2 (Data Constructor)
SMR.Source.Expected
parseExp
SMR.Source.Parser
ParseFailure
SMR.Source.Parsec
Parser
1 (Type/Class)
SMR.Source.Parsec
2 (Data Constructor)
SMR.Source.Parsec
3 (Type/Class)
SMR.Source.Parser
ParseResult
SMR.Source.Parsec
ParseReturn
SMR.Source.Parsec
ParseSkip
SMR.Source.Parsec
ParseSuccess
SMR.Source.Parsec
pBind
SMR.Source.Parser
pBump
SMR.Source.Parser
pCarSimRec
SMR.Source.Parser
pDecl
SMR.Source.Parser
pDecls
SMR.Source.Parser
Peek
SMR.Core.Codec
peek
SMR.Source.Parsec
peekDecl
SMR.Core.Codec
peekExp
SMR.Core.Codec
peekFileDecls
SMR.Core.Codec
peekRef
SMR.Core.Codec
pEnd
SMR.Source.Parser
PExp
SMR.Core.Exp
pExp
SMR.Source.Parser
pExpApp
SMR.Source.Parser
pExpAtom
SMR.Source.Parser
pName
SMR.Source.Parser
pNameOfSpace
SMR.Source.Parser
pNat
SMR.Source.Parser
Poke
SMR.Core.Codec
pokeDecl
SMR.Core.Codec
pokeExp
SMR.Core.Codec
pokeFileDecls
SMR.Core.Codec
pokeRef
SMR.Core.Codec
PParam
SMR.Core.Exp
pParam
SMR.Source.Parser
pprBlocker
SMR.Source.Expected
pprExpected
SMR.Source.Expected
pprLocation
SMR.Source.Expected
pprParseError
SMR.Source.Expected
pprPrim
SMR.Prim.Name
pPunc
SMR.Source.Parser
pretty
SMR.Source.Pretty
Prim
SMR.Prim.Name
PrimLitBool
SMR.Prim.Name
PrimLitFloat32
SMR.Prim.Name
PrimLitFloat64
SMR.Prim.Name
PrimLitInt
SMR.Prim.Name
PrimLitInt16
SMR.Prim.Name
PrimLitInt32
SMR.Prim.Name
PrimLitInt64
SMR.Prim.Name
PrimLitInt8
SMR.Prim.Name
PrimLitNat
SMR.Prim.Name
PrimLitWord16
SMR.Prim.Name
PrimLitWord32
SMR.Prim.Name
PrimLitWord64
SMR.Prim.Name
PrimLitWord8
SMR.Prim.Name
primNames
SMR.Prim.Op
PrimOp
SMR.Prim.Name
primOps
SMR.Prim.Op
primOpsBool
SMR.Prim.Op
primOpsList
SMR.Prim.Op
primOpsMatch
SMR.Prim.Op
primOpsNat
SMR.Prim.Op
primOpsNom
SMR.Prim.Op
primOpsSym
SMR.Prim.Op
PrimTagList
SMR.Prim.Name
PrimTagUnit
SMR.Prim.Name
pText
SMR.Source.Parser
pTrain
SMR.Source.Parser
pTrainCar
SMR.Source.Parser
pUps
SMR.Source.Parser
pushDeep
SMR.Core.Exp
pushHead
SMR.Core.Exp
PVal
SMR.Core.Exp
readPrim
SMR.Prim.Name
Ref
SMR.Core.Exp
Result
SMR.Core.Step
ResultDone
SMR.Core.Step
ResultError
SMR.Core.Step
RMac
SMR.Core.Exp
RNom
SMR.Core.Exp
RPrm
SMR.Core.Exp
RSet
SMR.Core.Exp
RSym
SMR.Core.Exp
RTxt
SMR.Core.Exp
satisfies
SMR.Source.Parsec
sepBy
SMR.Source.Parsec
sepBy1
SMR.Source.Parsec
singleton
SMR.Data.Bag
sizeOfDecl
SMR.Core.Codec
sizeOfExp
SMR.Core.Codec
sizeOfFileDecls
SMR.Core.Codec
sizeOfRef
SMR.Core.Codec
SKey
SMR.Source.Token
SMac
SMR.Source.Token
SNom
SMR.Source.Token
Snv
SMR.Core.Exp
snvApply
SMR.Core.Exp
SnvBind
SMR.Core.Exp
snvOfNamesArgs
SMR.Core.Exp
some
SMR.Source.Parsec
Space
SMR.Source.Token
SPrm
SMR.Source.Token
SSet
SMR.Source.Token
SSnv
SMR.Core.Exp
SSym
SMR.Source.Token
startOfLocated
SMR.Data.Located
step
SMR.Core.Step
steps
SMR.Core.Step
SVar
SMR.Source.Token
takeAnyNameOfToken
SMR.Source.Token
takeArgBool
SMR.Prim.Name
takeArgNat
SMR.Prim.Name
takeNameOfToken
SMR.Source.Token
takeNatOfToken
SMR.Source.Token
takeTextOfToken
SMR.Source.Token
takeXApps
SMR.Core.Exp
takeXBool
SMR.Prim.Name
takeXNat
SMR.Prim.Name
Text
SMR.Core.Exp
Token
SMR.Source.Token
toList
SMR.Data.Bag
Train
SMR.Core.Exp
trainAppend
SMR.Core.Exp
trainApply
SMR.Core.Exp
trainCons
SMR.Core.Exp
union
SMR.Data.Bag
unpackDecl
SMR.Core.Codec
unpackExp
SMR.Core.Codec
unpackFileDecls
SMR.Core.Codec
unpackRef
SMR.Core.Codec
Ups
SMR.Core.Exp
UpsBump
SMR.Core.Exp
UUps
SMR.Core.Exp
valueOfLocated
SMR.Data.Located
withDelims
SMR.Source.Parsec
World
1 (Type/Class)
SMR.Core.Step
2 (Data Constructor)
SMR.Core.Step
worldNomGen
SMR.Core.Step
worldUser
SMR.Core.Step
XAbs
SMR.Core.Exp
XApp
SMR.Core.Exp
XKey
SMR.Core.Exp
XRef
SMR.Core.Exp
XSub
SMR.Core.Exp
XVar
SMR.Core.Exp