shimmer-0.1.1: The Reflective Lambda Machine

Index

altSMR.Source.Parsec
altsSMR.Source.Parsec
BagSMR.Data.Bag
BagElemSMR.Data.Bag
BagListSMR.Data.Bag
BagNilSMR.Data.Bag
BagUnionSMR.Data.Bag
BindNomSMR.Core.Exp
BindVarSMR.Core.Exp
Blocker 
1 (Type/Class)SMR.Source.Parsec
2 (Data Constructor)SMR.Source.Parsec
blockerExpectedSMR.Source.Parsec
blockerTokensSMR.Source.Parsec
BuildSMR.Source.Pretty
buildSMR.Source.Pretty
buildCarSMR.Source.Pretty
buildDeclSMR.Source.Pretty
buildExpSMR.Source.Pretty
buildKeySMR.Source.Pretty
buildParamSMR.Source.Pretty
buildPrimSMR.Source.Pretty
buildRefSMR.Source.Pretty
buildSnvSMR.Source.Pretty
buildSnvBindSMR.Source.Pretty
buildTrainSMR.Source.Pretty
buildUpsSMR.Source.Pretty
buildUpsBumpSMR.Source.Pretty
BumpSMR.Core.Exp
CarSMR.Core.Exp
commitSMR.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
configDeclsMacSMR.Core.Step
configHeadArgsSMR.Core.Step
configPrimsSMR.Core.Step
configReadPrmSMR.Source.Parser
configReadSymSMR.Source.Parser
configUnderLambdasSMR.Core.Step
CRecSMR.Core.Exp
CSimSMR.Core.Exp
CtxSMR.Source.Pretty
CtxArgSMR.Source.Pretty
CtxFunSMR.Source.Pretty
CtxTopSMR.Source.Pretty
CUpsSMR.Core.Exp
DeclSMR.Core.Exp
DeclMacSMR.Core.Exp
DeclSetSMR.Core.Exp
DepthSMR.Core.Exp
endOfLocatedSMR.Data.Located
enterSMR.Source.Parsec
enterOnSMR.Source.Parsec
ExBaseEndSMR.Source.Expected
ExBaseMsgSMR.Source.Expected
ExBaseNameAnySMR.Source.Expected
ExBaseNameOfSMR.Source.Expected
ExBaseNatSMR.Source.Expected
ExBasePuncSMR.Source.Expected
ExContextBindSMR.Source.Expected
ExContextDeclSMR.Source.Expected
ExpSMR.Core.Exp
ExpectedSMR.Source.Expected
expectedSMR.Source.Parsec
failSMR.Source.Parsec
FormSMR.Core.Exp
formOfParamSMR.Core.Exp
fromSMR.Source.Parsec
incCharOfLocationSMR.Data.Located
incLineOfLocationSMR.Data.Located
isKPuncSMR.Source.Token
isTokenSMR.Source.Token
itemSMR.Source.Parsec
KBoxSMR.Core.Exp
KEndSMR.Source.Token
KeySMR.Core.Exp
KNameSMR.Source.Token
KNatSMR.Source.Token
KPuncSMR.Source.Token
KRunSMR.Core.Exp
LSMR.Data.Located, SMR.Source.Lexer
lexTokensSMR.Source.Lexer
listSMR.Data.Bag
LLSMR.Data.Located, SMR.Source.Lexer
LocatedSMR.Data.Located, SMR.Source.Lexer
LocationSMR.Data.Located, SMR.Source.Lexer
makeXAbsSMR.Core.Exp
makeXAppsSMR.Core.Exp
makeXBoolSMR.Prim.Op.Base
makeXListSMR.Prim.Op.Base
makeXNatSMR.Prim.Op.Base
manySMR.Source.Parsec
mapSMR.Data.Bag
NameSMR.Core.Exp
nameOfParamSMR.Core.Exp
NatSMR.Prim.Op.Nat
nilSMR.Data.Bag
NomSMR.Core.Exp
ParamSMR.Core.Exp
parensSMR.Source.Pretty
parseSMR.Source.Parsec
parseDeclsSMR.Source.Parser
ParseError 
1 (Type/Class)SMR.Source.Expected
2 (Data Constructor)SMR.Source.Expected
parseExpSMR.Source.Parser
ParseFailureSMR.Source.Parsec
Parser 
1 (Type/Class)SMR.Source.Parsec
2 (Data Constructor)SMR.Source.Parsec
3 (Type/Class)SMR.Source.Parser
ParseResultSMR.Source.Parsec
ParseReturnSMR.Source.Parsec
ParseSkipSMR.Source.Parsec
ParseSuccessSMR.Source.Parsec
pBindSMR.Source.Parser
pBumpSMR.Source.Parser
pCarSimRecSMR.Source.Parser
pDeclSMR.Source.Parser
pDeclsSMR.Source.Parser
peekSMR.Source.Parsec
peekBumpSMR.Codec.Peek
peekCarSMR.Codec.Peek
peekDeclSMR.Codec.Peek
peekExpSMR.Codec.Peek
peekFileDeclsSMR.Codec.Peek
peekKeySMR.Codec.Peek
peekNameSMR.Codec.Peek
peekNomSMR.Codec.Peek
peekParamSMR.Codec.Peek
peekRefSMR.Codec.Peek
peekSnvBindSMR.Codec.Peek
peekUpsBumpSMR.Codec.Peek
peekWord16SMR.Codec.Peek
peekWord32SMR.Codec.Peek
peekWord64SMR.Codec.Peek
peekWord8SMR.Codec.Peek
pEndSMR.Source.Parser
PExpSMR.Core.Exp
pExpSMR.Source.Parser
pExpAppSMR.Source.Parser
pExpAtomSMR.Source.Parser
pNameSMR.Source.Parser
pNameOfSpaceSMR.Source.Parser
pNatSMR.Source.Parser
pokeBumpSMR.Codec.Poke
pokeCarSMR.Codec.Poke
pokeDeclSMR.Codec.Poke
pokeExpSMR.Codec.Poke
pokeFileDeclsSMR.Codec.Poke
pokeKeySMR.Codec.Poke
pokeNameSMR.Codec.Poke
pokeNomSMR.Codec.Poke
pokeParamSMR.Codec.Poke
pokeRefSMR.Codec.Poke
pokeSnvBindSMR.Codec.Poke
pokeUpsBumpSMR.Codec.Poke
pokeWord16SMR.Codec.Poke
pokeWord32SMR.Codec.Poke
pokeWord64SMR.Codec.Poke
pokeWord8SMR.Codec.Poke
PParamSMR.Core.Exp
pParamSMR.Source.Parser
pprBlockerSMR.Source.Expected
pprExpectedSMR.Source.Expected
pprLocationSMR.Source.Expected
pprParseErrorSMR.Source.Expected
pprPrimSMR.Prim.Name
pPuncSMR.Source.Parser
PrimSMR.Prim.Op.Base
PrimEval 
1 (Type/Class)SMR.Prim.Op.Base
2 (Data Constructor)SMR.Prim.Op.Base
primEvalDescSMR.Prim.Op.Base
primEvalFormSMR.Prim.Op.Base
primEvalFunSMR.Prim.Op.Base
primEvalNameSMR.Prim.Op.Base
primEvalsSMR.Prim.Op
PrimLitBoolSMR.Prim.Op.Base
PrimLitNatSMR.Prim.Op.Base
PrimOpSMR.Prim.Op.Base
primOpBool1SMR.Prim.Op.Bool
primOpBool2SMR.Prim.Op.Bool
primOpIfSMR.Prim.Op.Bool
primOpListAppendSMR.Prim.Op.List
primOpListConsSMR.Prim.Op.List
primOpListSnocSMR.Prim.Op.List
primOpListUnconsSMR.Prim.Op.List
primOpListUnsnocSMR.Prim.Op.List
primOpMatchAbsSMR.Prim.Op.Match
primOpMatchAbs1SMR.Prim.Op.Match
primOpMatchAppSMR.Prim.Op.Match
primOpMatchSymSMR.Prim.Op.Match
primOpNat2BoolSMR.Prim.Op.Nat
primOpNat2NatSMR.Prim.Op.Nat
primOpNomCloseSMR.Prim.Op.Nom
primOpNomEqSMR.Prim.Op.Nom
primOpNomFreshSMR.Prim.Op.Nom
primOpsBoolSMR.Prim.Op.Bool
primOpsListSMR.Prim.Op.List
primOpsMatchSMR.Prim.Op.Match
primOpsNatSMR.Prim.Op.Nat
primOpsNomSMR.Prim.Op.Nom
primOpsSymSMR.Prim.Op.Sym
primOpSymEqSMR.Prim.Op.Sym
primOpTextNamesSMR.Prim.Op
PrimTagListSMR.Prim.Op.Base
PrimTagUnitSMR.Prim.Op.Base
pTrainSMR.Source.Parser
pTrainCarSMR.Source.Parser
pUpsSMR.Source.Parser
pushDeepSMR.Core.Exp
pushHeadSMR.Core.Exp
PValSMR.Core.Exp
readPrimSMR.Prim.Name
RefSMR.Core.Exp
ResultSMR.Core.Step
ResultDoneSMR.Core.Step
ResultErrorSMR.Core.Step
RMacSMR.Core.Exp
RNomSMR.Core.Exp
RPrmSMR.Core.Exp
RSetSMR.Core.Exp
RSymSMR.Core.Exp
satisfiesSMR.Source.Parsec
sepBySMR.Source.Parsec
sepBy1SMR.Source.Parsec
singletonSMR.Data.Bag
sizeOfBumpSMR.Codec.Size
sizeOfCarSMR.Codec.Size
sizeOfDeclSMR.Codec.Size
sizeOfExpSMR.Codec.Size
sizeOfFileSMR.Codec.Size
sizeOfNameSMR.Codec.Size
sizeOfNomSMR.Codec.Size
sizeOfParamSMR.Codec.Size
sizeOfRefSMR.Codec.Size
sizeOfSeqSMR.Codec.Size
sizeOfSnvBindSMR.Codec.Size
sizeOfUpsBumpSMR.Codec.Size
SKeySMR.Source.Token
SMacSMR.Source.Token
SNomSMR.Source.Token
SnvSMR.Core.Exp
snvApplySMR.Core.Exp
SnvBindSMR.Core.Exp
snvOfNamesArgsSMR.Core.Exp
someSMR.Source.Parsec
SpaceSMR.Source.Token
SPrmSMR.Source.Token
SSetSMR.Source.Token
SSnvSMR.Core.Exp
SSymSMR.Source.Token
startOfLocatedSMR.Data.Located
stepSMR.Core.Step
stepsSMR.Core.Step
SVarSMR.Source.Token
takeAnyNameOfTokenSMR.Source.Token
takeArgBoolSMR.Prim.Op.Base
takeArgExpSMR.Prim.Op.Base
takeArgNatSMR.Prim.Op.Base
takeNameOfTokenSMR.Source.Token
takeNatOfTokenSMR.Source.Token
takeXAppsSMR.Core.Exp
takeXBoolSMR.Prim.Op.Base
takeXNatSMR.Prim.Op.Base
TextSMR.Core.Exp
TokenSMR.Source.Token
toListSMR.Data.Bag
TrainSMR.Core.Exp
trainAppendSMR.Core.Exp
trainApplySMR.Core.Exp
trainConsSMR.Core.Exp
unionSMR.Data.Bag
UpsSMR.Core.Exp
UpsBumpSMR.Core.Exp
UUpsSMR.Core.Exp
valueOfLocatedSMR.Data.Located
withDelimsSMR.Source.Parsec
World 
1 (Type/Class)SMR.Core.World
2 (Data Constructor)SMR.Core.World
worldInitSMR.Core.World
worldNomGenSMR.Core.World
worldUserSMR.Core.World
XAbsSMR.Core.Exp
XAppSMR.Core.Exp
XKeySMR.Core.Exp
XRefSMR.Core.Exp
XSubSMR.Core.Exp
XVarSMR.Core.Exp