Documentation

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

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

renderMethod :: (BodyElim r, ParamElim r, PermElim r att, UnRepr r TypeData, VisibilityElim r vis) => String -> r vis -> r att -> r TypeData -> [r ParamData] -> r Body -> 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 #