Documentation

renderType :: UnRepr r TypeData => r TypeData -> Doc Source #

renderParam :: (InternalVarElim r, UnRepr r TypeData, VariableElim r) => r Variable -> Doc Source #

renderMethod :: (BodyElim r bod, ParamElim r, PermElim r attch, UnRepr r TypeData, VisibilityElim r vis) => String -> r vis -> r attch -> r TypeData -> [r ParamData] -> r bod -> Doc Source #

renderListDec :: (UnRepr r TypeData, ValueElim r, VariableElim r) => r Variable -> r Value -> Doc Source #

renderConstDecDef :: (InternalVarElim r, UnRepr r TypeData, ValueElim r, VariableElim r) => r Variable -> r Value -> Doc Source #