Index - R

RecBottom 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RecBottomELanguage.Rzk.Free.Syntax
RecBottomFLanguage.Rzk.Free.Syntax
RecBottomTLanguage.Rzk.Free.Syntax
recBottomTRzk.TypeCheck
RecBottomTELanguage.Rzk.Free.Syntax
RecOr 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RecOrDeprecatedLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
RecOrELanguage.Rzk.Free.Syntax
RecOrFLanguage.Rzk.Free.Syntax
RecOrTLanguage.Rzk.Free.Syntax
recOrTRzk.TypeCheck
RecOrTELanguage.Rzk.Free.Syntax
Refl 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
ReflELanguage.Rzk.Free.Syntax
ReflFLanguage.Rzk.Free.Syntax
ReflTLanguage.Rzk.Free.Syntax
reflTRzk.TypeCheck
ReflTELanguage.Rzk.Free.Syntax
ReflTermLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
ReflTermTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
refreshVarLanguage.Rzk.Free.Syntax
renderLanguage.Rzk.Syntax.Print
RenderBackendRzk.TypeCheck
renderBackendRzk.TypeCheck
renderCubeRzk.TypeCheck
renderForSubShapeSVGRzk.TypeCheck
renderForSVGRzk.TypeCheck
RenderLaTeXRzk.TypeCheck
RenderObjectData 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
renderObjectDataColorRzk.TypeCheck
renderObjectDataFullLabelRzk.TypeCheck
renderObjectDataLabelRzk.TypeCheck
renderObjectsForRzk.TypeCheck
renderObjectsInSubShapeForRzk.TypeCheck
RenderSVGRzk.TypeCheck
renderTermSVGRzk.TypeCheck
renderTermSVG'Rzk.TypeCheck
renderTermSVGForRzk.TypeCheck
replicateSLanguage.Rzk.Syntax.Print
resetCacheForAllFilesLanguage.Rzk.VSCode.Env
resetCacheForFilesLanguage.Rzk.VSCode.Env
resolveLayout 
1 (Function)Language.Rzk.Syntax.Layout
2 (Function)Language.Rzk.Syntax
Restriction 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
Restriction'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
resWordsLanguage.Rzk.Syntax.Lex
rotateXRzk.TypeCheck
rotateYRzk.TypeCheck
rotateZRzk.TypeCheck
runLspLanguage.Rzk.VSCode.Lsp
Rzk1Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
RzkCachedModule 
1 (Type/Class)Language.Rzk.VSCode.Env
2 (Data Constructor)Language.Rzk.VSCode.Env
RzkEnv 
1 (Type/Class)Language.Rzk.VSCode.Env
2 (Data Constructor)Language.Rzk.VSCode.Env
rzkEnvTypecheckCacheLanguage.Rzk.VSCode.Env
rzkFilePathLanguage.Rzk.Free.Syntax
rzkLineColLanguage.Rzk.Free.Syntax
RzkPosition 
1 (Type/Class)Language.Rzk.Free.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
RzkTypecheckCacheLanguage.Rzk.VSCode.Env