Safe Haskell	Safe-Inferred
Language	Haskell2010

GOOL.Drasil.LanguageRenderer.LanguagePolymorphic

Description

Implementations defined here are valid for any language renderer.

Synopsis

fileFromData :: RenderSym r => (FilePath -> r (Module r) -> r (File r)) -> FilePath -> FSModule r -> SFile r
multiBody :: (RenderSym r, Monad r) => [MSBody r] -> MS (r Doc)
block :: (RenderSym r, Monad r) => [MSStatement r] -> MS (r Doc)
multiBlock :: (RenderSym r, Monad r) => [MSBlock r] -> MS (r Doc)
listInnerType :: RenderSym r => VSType r -> VSType r
obj :: RenderSym r => ClassName -> VSType r
negateOp :: Monad r => VSOp r
csc :: RenderSym r => SValue r -> SValue r
sec :: RenderSym r => SValue r -> SValue r
cot :: RenderSym r => SValue r -> SValue r
equalOp :: Monad r => VSOp r
notEqualOp :: Monad r => VSOp r
greaterOp :: Monad r => VSOp r
greaterEqualOp :: Monad r => VSOp r
lessOp :: Monad r => VSOp r
lessEqualOp :: Monad r => VSOp r
plusOp :: Monad r => VSOp r
minusOp :: Monad r => VSOp r
multOp :: Monad r => VSOp r
divideOp :: Monad r => VSOp r
moduloOp :: Monad r => VSOp r
var :: RenderSym r => Label -> VSType r -> SVariable r
staticVar :: RenderSym r => Label -> VSType r -> SVariable r
objVar :: RenderSym r => SVariable r -> SVariable r -> SVariable r
classVarCheckStatic :: RenderSym r => r (Variable r) -> r (Variable r)
arrayElem :: RenderSym r => SValue r -> SVariable r -> SVariable r
litChar :: RenderSym r => (Doc -> Doc) -> Char -> SValue r
litDouble :: RenderSym r => Double -> SValue r
litInt :: RenderSym r => Integer -> SValue r
litString :: RenderSym r => String -> SValue r
valueOf :: RenderSym r => SVariable r -> SValue r
arg :: RenderSym r => SValue r -> SValue r -> SValue r
argsList :: RenderSym r => String -> SValue r
call :: RenderSym r => Doc -> Maybe Library -> Maybe Doc -> MixedCall r
funcAppMixedArgs :: RenderSym r => MixedCall r
selfFuncAppMixedArgs :: RenderSym r => Doc -> SVariable r -> MixedCall r
newObjMixedArgs :: RenderSym r => String -> MixedCtorCall r
lambda :: RenderSym r => ([r (Variable r)] -> r (Value r) -> Doc) -> [SVariable r] -> SValue r -> SValue r
objAccess :: RenderSym r => SValue r -> VSFunction r -> SValue r
objMethodCall :: RenderSym r => Label -> VSType r -> SValue r -> [SValue r] -> NamedArgs r -> SValue r
func :: RenderSym r => Label -> VSType r -> [SValue r] -> VSFunction r
get :: RenderSym r => SValue r -> SVariable r -> SValue r
set :: RenderSym r => SValue r -> SVariable r -> SValue r -> SValue r
listAdd :: RenderSym r => SValue r -> SValue r -> SValue r -> SValue r
listAppend :: RenderSym r => SValue r -> SValue r -> SValue r
listAccess :: RenderSym r => SValue r -> SValue r -> SValue r
listSet :: RenderSym r => SValue r -> SValue r -> SValue r -> SValue r
getFunc :: RenderSym r => SVariable r -> VSFunction r
setFunc :: RenderSym r => VSType r -> SVariable r -> SValue r -> VSFunction r
listAppendFunc :: RenderSym r => Label -> SValue r -> VSFunction r
stmt :: RenderSym r => MSStatement r -> MSStatement r
loopStmt :: RenderSym r => MSStatement r -> MSStatement r
emptyStmt :: RenderSym r => MSStatement r
assign :: RenderSym r => Terminator -> SVariable r -> SValue r -> MSStatement r
subAssign :: RenderSym r => Terminator -> SVariable r -> SValue r -> MSStatement r
increment :: RenderSym r => SVariable r -> SValue r -> MSStatement r
objDecNew :: RenderSym r => SVariable r -> [SValue r] -> MSStatement r
print :: RenderSym r => Bool -> Maybe (SValue r) -> SValue r -> SValue r -> MSStatement r
closeFile :: RenderSym r => Label -> SValue r -> MSStatement r
returnStmt :: RenderSym r => Terminator -> SValue r -> MSStatement r
valStmt :: RenderSym r => Terminator -> SValue r -> MSStatement r
comment :: RenderSym r => Doc -> Label -> MSStatement r
throw :: RenderSym r => (r (Value r) -> Doc) -> Terminator -> Label -> MSStatement r
ifCond :: RenderSym r => (Doc -> Doc) -> Doc -> OptionalSpace -> Doc -> Doc -> [(SValue r, MSBody r)] -> MSBody r -> MSStatement r
tryCatch :: RenderSym r => (r (Body r) -> r (Body r) -> Doc) -> MSBody r -> MSBody r -> MSStatement r
construct :: RenderSym r => Label -> MS (r (Type r))
param :: RenderSym r => (r (Variable r) -> Doc) -> SVariable r -> MSParameter r
method :: RenderSym r => Label -> r (Scope r) -> r (Permanence r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r
getMethod :: RenderSym r => SVariable r -> SMethod r
setMethod :: RenderSym r => SVariable r -> SMethod r
initStmts :: RenderSym r => Initializers r -> MSBody r
function :: RenderSym r => Label -> r (Scope r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r
docFuncRepr :: RenderSym r => FuncDocRenderer -> String -> [String] -> [String] -> SMethod r -> SMethod r
docFunc :: RenderSym r => FuncDocRenderer -> String -> [String] -> Maybe String -> SMethod r -> SMethod r
buildClass :: RenderSym r => Maybe Label -> [CSStateVar r] -> [SMethod r] -> SClass r
implementingClass :: RenderSym r => Label -> [Label] -> [CSStateVar r] -> [SMethod r] -> SClass r
docClass :: RenderSym r => ClassDocRenderer -> String -> SClass r -> SClass r
commentedClass :: (RenderSym r, Monad r) => CS (r (BlockComment r)) -> SClass r -> CS (r Doc)
modFromData :: Label -> (Doc -> r (Module r)) -> FS Doc -> FSModule r
fileDoc :: RenderSym r => String -> (r (Module r) -> r (Block r)) -> r (Block r) -> FSModule r -> SFile r
docMod :: RenderSym r => ModuleDocRenderer -> String -> String -> [String] -> String -> SFile r -> SFile r
newtype OptionalSpace = OSpace {
- oSpace :: Doc
}
defaultOptSpace :: OptionalSpace

Documentation

fileFromData :: RenderSym r => (FilePath -> r (Module r) -> r (File r)) -> FilePath -> FSModule r -> SFile r Source #

multiBody :: (RenderSym r, Monad r) => [MSBody r] -> MS (r Doc) Source #

block :: (RenderSym r, Monad r) => [MSStatement r] -> MS (r Doc) Source #

multiBlock :: (RenderSym r, Monad r) => [MSBlock r] -> MS (r Doc) Source #

listInnerType :: RenderSym r => VSType r -> VSType r Source #

obj :: RenderSym r => ClassName -> VSType r Source #

negateOp :: Monad r => VSOp r Source #

csc :: RenderSym r => SValue r -> SValue r Source #

sec :: RenderSym r => SValue r -> SValue r Source #

cot :: RenderSym r => SValue r -> SValue r Source #

equalOp :: Monad r => VSOp r Source #

notEqualOp :: Monad r => VSOp r Source #

greaterOp :: Monad r => VSOp r Source #

greaterEqualOp :: Monad r => VSOp r Source #

lessOp :: Monad r => VSOp r Source #

lessEqualOp :: Monad r => VSOp r Source #

plusOp :: Monad r => VSOp r Source #

minusOp :: Monad r => VSOp r Source #

multOp :: Monad r => VSOp r Source #

divideOp :: Monad r => VSOp r Source #

moduloOp :: Monad r => VSOp r Source #

var :: RenderSym r => Label -> VSType r -> SVariable r Source #

staticVar :: RenderSym r => Label -> VSType r -> SVariable r Source #

objVar :: RenderSym r => SVariable r -> SVariable r -> SVariable r Source #

classVarCheckStatic :: RenderSym r => r (Variable r) -> r (Variable r) Source #

To be used in classVar implementations. Throws an error if the variable is not static since classVar is for accessing static variables from a class

arrayElem :: RenderSym r => SValue r -> SVariable r -> SVariable r Source #

litChar :: RenderSym r => (Doc -> Doc) -> Char -> SValue r Source #

litDouble :: RenderSym r => Double -> SValue r Source #

litInt :: RenderSym r => Integer -> SValue r Source #

litString :: RenderSym r => String -> SValue r Source #

valueOf :: RenderSym r => SVariable r -> SValue r Source #

arg :: RenderSym r => SValue r -> SValue r -> SValue r Source #

argsList :: RenderSym r => String -> SValue r Source #

call :: RenderSym r => Doc -> Maybe Library -> Maybe Doc -> MixedCall r Source #

First parameter is separator between name and value for named arguments, rest similar to call from ClassInterface

funcAppMixedArgs :: RenderSym r => MixedCall r Source #

selfFuncAppMixedArgs :: RenderSym r => Doc -> SVariable r -> MixedCall r Source #

newObjMixedArgs :: RenderSym r => String -> MixedCtorCall r Source #

lambda :: RenderSym r => ([r (Variable r)] -> r (Value r) -> Doc) -> [SVariable r] -> SValue r -> SValue r Source #

objAccess :: RenderSym r => SValue r -> VSFunction r -> SValue r Source #

objMethodCall :: RenderSym r => Label -> VSType r -> SValue r -> [SValue r] -> NamedArgs r -> SValue r Source #

func :: RenderSym r => Label -> VSType r -> [SValue r] -> VSFunction r Source #

get :: RenderSym r => SValue r -> SVariable r -> SValue r Source #

set :: RenderSym r => SValue r -> SVariable r -> SValue r -> SValue r Source #

listAdd :: RenderSym r => SValue r -> SValue r -> SValue r -> SValue r Source #

listAppend :: RenderSym r => SValue r -> SValue r -> SValue r Source #

listAccess :: RenderSym r => SValue r -> SValue r -> SValue r Source #

listSet :: RenderSym r => SValue r -> SValue r -> SValue r -> SValue r Source #

getFunc :: RenderSym r => SVariable r -> VSFunction r Source #

setFunc :: RenderSym r => VSType r -> SVariable r -> SValue r -> VSFunction r Source #

listAppendFunc :: RenderSym r => Label -> SValue r -> VSFunction r Source #

stmt :: RenderSym r => MSStatement r -> MSStatement r Source #

loopStmt :: RenderSym r => MSStatement r -> MSStatement r Source #

emptyStmt :: RenderSym r => MSStatement r Source #

assign :: RenderSym r => Terminator -> SVariable r -> SValue r -> MSStatement r Source #

subAssign :: RenderSym r => Terminator -> SVariable r -> SValue r -> MSStatement r Source #

increment :: RenderSym r => SVariable r -> SValue r -> MSStatement r Source #

objDecNew :: RenderSym r => SVariable r -> [SValue r] -> MSStatement r Source #

print :: RenderSym r => Bool -> Maybe (SValue r) -> SValue r -> SValue r -> MSStatement r Source #

closeFile :: RenderSym r => Label -> SValue r -> MSStatement r Source #

returnStmt :: RenderSym r => Terminator -> SValue r -> MSStatement r Source #

valStmt :: RenderSym r => Terminator -> SValue r -> MSStatement r Source #

comment :: RenderSym r => Doc -> Label -> MSStatement r Source #

throw :: RenderSym r => (r (Value r) -> Doc) -> Terminator -> Label -> MSStatement r Source #

ifCond :: RenderSym r => (Doc -> Doc) -> Doc -> OptionalSpace -> Doc -> Doc -> [(SValue r, MSBody r)] -> MSBody r -> MSStatement r Source #

tryCatch :: RenderSym r => (r (Body r) -> r (Body r) -> Doc) -> MSBody r -> MSBody r -> MSStatement r Source #

construct :: RenderSym r => Label -> MS (r (Type r)) Source #

param :: RenderSym r => (r (Variable r) -> Doc) -> SVariable r -> MSParameter r Source #

method :: RenderSym r => Label -> r (Scope r) -> r (Permanence r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r Source #

getMethod :: RenderSym r => SVariable r -> SMethod r Source #

setMethod :: RenderSym r => SVariable r -> SMethod r Source #

initStmts :: RenderSym r => Initializers r -> MSBody r Source #

function :: RenderSym r => Label -> r (Scope r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r Source #

docFuncRepr :: RenderSym r => FuncDocRenderer -> String -> [String] -> [String] -> SMethod r -> SMethod r Source #

docFunc :: RenderSym r => FuncDocRenderer -> String -> [String] -> Maybe String -> SMethod r -> SMethod r Source #

buildClass :: RenderSym r => Maybe Label -> [CSStateVar r] -> [SMethod r] -> SClass r Source #

implementingClass :: RenderSym r => Label -> [Label] -> [CSStateVar r] -> [SMethod r] -> SClass r Source #

docClass :: RenderSym r => ClassDocRenderer -> String -> SClass r -> SClass r Source #

commentedClass :: (RenderSym r, Monad r) => CS (r (BlockComment r)) -> SClass r -> CS (r Doc) Source #

modFromData :: Label -> (Doc -> r (Module r)) -> FS Doc -> FSModule r Source #

fileDoc :: RenderSym r => String -> (r (Module r) -> r (Block r)) -> r (Block r) -> FSModule r -> SFile r Source #

docMod :: RenderSym r => ModuleDocRenderer -> String -> String -> [String] -> String -> SFile r -> SFile r Source #

newtype OptionalSpace Source #

Constructors

OSpace
Fields oSpace :: Doc

defaultOptSpace :: OptionalSpace Source #