rand | Language.Hakaru.CodeGen.AST |
Range | Language.Hakaru.Parser.Maple |
range | Language.Hakaru.Parser.Maple |
Rational | Language.Hakaru.Parser.Maple |
rational | Language.Hakaru.Parser.Maple |
readFromFile | Language.Hakaru.Command |
Real | Language.Hakaru.Parser.AST |
RealPow | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
RealProb | Language.Hakaru.Syntax.Prelude |
real_ | |
1 (Function) | Language.Hakaru.Runtime.Prelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
Recip | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
recip | Language.Hakaru.Syntax.Prelude |
Reduce | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
reduce | Language.Hakaru.Syntax.Prelude |
reductionCG | Language.Hakaru.CodeGen.CodeGenMonad |
Refl | Language.Hakaru.Syntax.IClasses |
reflect | Language.Hakaru.Evaluation.Lazy |
regBeta | Language.Hakaru.Inference |
reify | Language.Hakaru.Evaluation.Lazy |
reifyPair | Language.Hakaru.Evaluation.Lazy |
reject | |
1 (Function) | Language.Hakaru.Runtime.Prelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
Reject_ | |
1 (Data Constructor) | Language.Hakaru.Syntax.AST |
2 (Data Constructor) | Language.Hakaru.Parser.AST |
rename | |
1 (Function) | Language.Hakaru.Syntax.ABT |
2 (Function) | Language.Hakaru.Parser.Maple |
renames | Language.Hakaru.Syntax.ABT |
reserved | Language.Hakaru.Parser.Parser |
reservedNames | Language.Hakaru.CodeGen.CodeGenMonad |
reservedOp | Language.Hakaru.Parser.Parser |
reserveName | Language.Hakaru.CodeGen.CodeGenMonad |
residualizeExpectListContext | Language.Hakaru.Evaluation.ExpectMonad |
residualizePureListContext | Language.Hakaru.Evaluation.EvalMonad |
resolveAST | Language.Hakaru.Parser.SymbolResolve |
resolveAST' | Language.Hakaru.Parser.SymbolResolve |
resolveBinder | Language.Hakaru.Parser.SymbolResolve |
resolveVar | Language.Hakaru.Syntax.ABT |
return_expr | Language.Hakaru.Parser.Parser |
right | Language.Hakaru.Syntax.Prelude |
RightAssoc | Language.Hakaru.Pretty.Haskell |
run | Language.Hakaru.Runtime.Prelude |
runCodeGen | Language.Hakaru.CodeGen.CodeGenMonad |
runCodeGenBlock | Language.Hakaru.CodeGen.CodeGenMonad |
runCodeGenWith | Language.Hakaru.CodeGen.CodeGenMonad |
runDis | Language.Hakaru.Evaluation.DisintegrationMonad |
runEval | Language.Hakaru.Evaluation.EvalMonad |
runEvaluate | Language.Hakaru.Sample |
runExpect | Language.Hakaru.Evaluation.ExpectMonad |
runExpectEval | Language.Hakaru.Evaluation.PEvalMonad |
runImpureEval | Language.Hakaru.Evaluation.PEvalMonad |
runPureEval | Language.Hakaru.Evaluation.PEvalMonad |
runPureEvaluate | Language.Hakaru.Evaluation.EvalMonad |
runTCM | Language.Hakaru.Syntax.TypeCheck |