Documentation

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

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

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

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

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