disco-0.2: Functional programming language for teaching discrete math.

Index - R

RDisco.AST.Generic, Disco.AST.Surface
RandomizedDisco.Value
RandomnessDisco.Extensions
ratvDisco.Value
RefDisco.Doc
refDisco.Doc
Reference 
1 (Type/Class)Disco.Doc
2 (Data Constructor)Disco.Doc
RefTypeDisco.Doc
refTypeDisco.Doc
RelMap 
1 (Type/Class)Disco.Typecheck.Solve
2 (Data Constructor)Disco.Typecheck.Solve
Rels 
1 (Type/Class)Disco.Typecheck.Solve
2 (Data Constructor)Disco.Typecheck.Solve
renderDocDisco.Pretty.DSL, Disco.Pretty
renderDoc'Disco.Pretty.DSL, Disco.Pretty
REPLDisco.Module
replModInfoDisco.Eval
REPLModuleDisco.Names
ReportDisco.Report
reservedDisco.Parser
reservedOpDisco.Parser
ReservedVarNameDisco.Parser
reservedWordsDisco.Parser
resolveAliasDisco.Exhaustiveness.TypeInfo
resolveModuleDisco.Module
ResolverDisco.Module
restrictKeysDisco.Context
resugarListDisco.Exhaustiveness
resugarPairDisco.Exhaustiveness
resugarStringDisco.Exhaustiveness
resultIsCertainDisco.Value
retSingleDisco.Exhaustiveness.Possibilities
rightDisco.Exhaustiveness.TypeInfo
RListDisco.Report
RNestDisco.Report
rPADisco.Pretty.Prec, Disco.Pretty
RSeqDisco.Report
rtDisco.Pretty
RTxtDisco.Report
runCESKDisco.Interpret.CESK
runCounterDisco.Effects.Counter
runCounter'Disco.Effects.Counter
runDesugarDisco.Desugar
runDiscoDisco.Eval
runFreshDisco.Effects.Fresh
runFresh'Disco.Effects.Fresh
runFresh1Disco.Effects.Fresh
runInputConstDisco.Effects.Input
runInputListDisco.Effects.Input
runInputSemDisco.Effects.Input
runLazyStateDisco.Effects.State
runLFreshDisco.Effects.LFresh
runLFresh'Disco.Effects.LFresh
runParserDisco.Parser
runSolveDisco.Typecheck.Solve
runStateDisco.Effects.State
runStateIORefDisco.Effects.State
runStateSTRefDisco.Effects.State
runStoreDisco.Effects.Store
runTCMDisco.Eval
runTestDisco.Interpret.CESK
RVSeqDisco.Report