Safe Haskell	None
Language	GHC2024

Drasil.GOOL.LanguageRenderer.CSharpRenderer

Contents

C# Code Configuration -- defines syntax of all C# code

Description

The logic to render C# code is contained in this module

Synopsis

newtype CSharpCode a = CSC {
- unCSC :: a
}
csName :: String
csVersion :: String

C# Code Configuration -- defines syntax of all C# code

newtype CSharpCode a Source #

Constructors

CSC
Fields unCSC :: a

Instances

Instances details

BinaryOpSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods equalOp :: VSBinOp CSharpCode Source # notEqualOp :: VSBinOp CSharpCode Source # greaterOp :: VSBinOp CSharpCode Source # greaterEqualOp :: VSBinOp CSharpCode Source # lessOp :: VSBinOp CSharpCode Source # lessEqualOp :: VSBinOp CSharpCode Source # plusOp :: VSBinOp CSharpCode Source # minusOp :: VSBinOp CSharpCode Source # multOp :: VSBinOp CSharpCode Source # divideOp :: VSBinOp CSharpCode Source # powerOp :: VSBinOp CSharpCode Source # moduloOp :: VSBinOp CSharpCode Source # andOp :: VSBinOp CSharpCode Source # orOp :: VSBinOp CSharpCode Source #
BlockCommentElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods blockComment' :: CSharpCode Doc -> Doc Source #
BlockCommentSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods blockComment :: [String] -> CSharpCode Doc Source # docComment :: State a [String] -> State a (CSharpCode Doc) Source #
ImportSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods langImport :: Label -> CSharpCode Doc Source # modImport :: Label -> CSharpCode Doc Source #
OpElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods uOp :: CSharpCode OpData -> Doc Source # bOp :: CSharpCode OpData -> Doc Source # uOpPrec :: CSharpCode OpData -> Int Source # bOpPrec :: CSharpCode OpData -> Int Source #
UnaryOpSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notOp :: VSUnOp CSharpCode Source # negateOp :: VSUnOp CSharpCode Source # sqrtOp :: VSUnOp CSharpCode Source # absOp :: VSUnOp CSharpCode Source # logOp :: VSUnOp CSharpCode Source # lnOp :: VSUnOp CSharpCode Source # expOp :: VSUnOp CSharpCode Source # sinOp :: VSUnOp CSharpCode Source # cosOp :: VSUnOp CSharpCode Source # tanOp :: VSUnOp CSharpCode Source # asinOp :: VSUnOp CSharpCode Source # acosOp :: VSUnOp CSharpCode Source # atanOp :: VSUnOp CSharpCode Source # floorOp :: VSUnOp CSharpCode Source # ceilOp :: VSUnOp CSharpCode Source #
Applicative CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pure :: a -> CSharpCode a # (<>) :: CSharpCode (a -> b) -> CSharpCode a -> CSharpCode b # liftA2 :: (a -> b -> c) -> CSharpCode a -> CSharpCode b -> CSharpCode c # (>) :: CSharpCode a -> CSharpCode b -> CSharpCode b # (<*) :: CSharpCode a -> CSharpCode b -> CSharpCode a #
Functor CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods fmap :: (a -> b) -> CSharpCode a -> CSharpCode b # (<$) :: a -> CSharpCode b -> CSharpCode a #
Monad CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (>>=) :: CSharpCode a -> (a -> CSharpCode b) -> CSharpCode b # (>>) :: CSharpCode a -> CSharpCode b -> CSharpCode b # return :: a -> CSharpCode a #
UnRepr CSharpCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods unRepr :: CSharpCode contents -> contents Source #
FunctionElim CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods functionType :: CSharpCode FuncData -> CSharpCode TypeData Source # function :: CSharpCode FuncData -> Doc Source #
RenderFunction CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods funcFromData :: Doc -> VS (CSharpCode TypeData) -> VS (CSharpCode FuncData) Source #
RenderMethod CSharpCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods commentedFunc :: MS (CSharpCode Doc) -> MS (CSharpCode MethodData) -> MS (CSharpCode MethodData) Source # mthdFromData :: VisibilityTag -> Doc -> MS (CSharpCode MethodData) Source #
ScopeElim CSharpCode ScopeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods scopeData :: CSharpCode ScopeData -> ScopeData Source #
AttachmentSym CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classLevel :: CSharpCode Doc Source # instanceLevel :: CSharpCode Doc Source #
OOFunctionSym CSharpCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods func :: Label -> VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> VS (CSharpCode FuncData) Source # objAccess :: VS (CSharpCode Value) -> VS (CSharpCode FuncData) -> VS (CSharpCode Value) Source #
OOTypeSym CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods obj :: ClassName -> VS (CSharpCode TypeData) Source #
ObserverPattern CSharpCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notifyObservers :: VS (CSharpCode FuncData) -> VS (CSharpCode TypeData) -> MS (CSharpCode Statement) Source #
SelfSym CSharpCode Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods self :: VS (CSharpCode Variable) Source #
ClassElim CSharpCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods class' :: CSharpCode Class -> Doc Source #
ModuleElim CSharpCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods module' :: CSharpCode ModData -> Doc Source #
OOMethodTypeSym CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods construct :: Label -> MS (CSharpCode TypeData) Source #
PermElim CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods perm :: CSharpCode Doc -> Doc Source # binding :: CSharpCode Doc -> AttachmentTag Source #
RenderFile CSharpCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods top :: CSharpCode ModData -> CSharpCode Block Source # bottom :: CSharpCode Block Source # commentedMod :: FS (CSharpCode FileData) -> FS (CSharpCode Doc) -> FS (CSharpCode FileData) Source # fileFromData :: FilePath -> FS (CSharpCode ModData) -> FS (CSharpCode FileData) Source #
RenderMod CSharpCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods modFromData :: String -> FS Doc -> FS (CSharpCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> CSharpCode ModData -> CSharpCode ModData Source #
StateVarElim CSharpCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode StateVar -> Doc Source #
Argument CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pointerArg :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
BooleanExpression CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?!) :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?&&) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?\|\|) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
CommandLineArgs CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arg :: Integer -> VS (CSharpCode Value) Source # argsList :: VS (CSharpCode Value) Source # argExists :: Integer -> VS (CSharpCode Value) Source #
CommentStatement CSharpCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods comment :: String -> MS (CSharpCode Statement) Source #
Comparison CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?<) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?<=) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?>) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?>=) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?==) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (?!=) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
EmptyStatement CSharpCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods emptyStmt :: MS (CSharpCode Statement) Source #
IndexTranslator CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intToIndex :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # indexToInt :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
List CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSize :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # listAccess :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # indexOf :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
MathConstant CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pi :: VS (CSharpCode Value) Source #
MultiStatement CSharpCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multi :: [MS (CSharpCode Statement)] -> MS (CSharpCode Statement) Source #
NumericExpression CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (#~) :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#/^) :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#\|) :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#+) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#-) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#*) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#/) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#%) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # (#^) :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # log :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # ln :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # exp :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # sin :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # cos :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # tan :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # csc :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # sec :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # cot :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # arcsin :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # arccos :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # arctan :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # floor :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # ceil :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
Reference CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods makeRef :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # maybeDeref :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
ScopeSym CSharpCode ScopeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods global :: CSharpCode ScopeData Source # mainFn :: CSharpCode ScopeData Source # local :: CSharpCode ScopeData Source #
Set CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods contains :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # setAdd :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # setRemove :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # setUnion :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
TypeElim CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getCodeType :: CSharpCode TypeData -> CodeType Source #
TypeSym CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods bool :: VS (CSharpCode TypeData) Source # int :: VS (CSharpCode TypeData) Source # float :: VS (CSharpCode TypeData) Source # double :: VS (CSharpCode TypeData) Source # char :: VS (CSharpCode TypeData) Source # string :: VS (CSharpCode TypeData) Source # infile :: VS (CSharpCode TypeData) Source # outfile :: VS (CSharpCode TypeData) Source # referenceType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # listType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # setType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # arrayType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # innerType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # funcType :: [VS (CSharpCode TypeData)] -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # void :: VS (CSharpCode TypeData) Source #
VisibilitySym CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods private :: CSharpCode Doc Source # public :: CSharpCode Doc Source #
BlockElim CSharpCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods block :: CSharpCode Block -> Doc Source #
BodyElim CSharpCode Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods body :: CSharpCode Body -> Doc Source #
InternalBinderElim CSharpCode BinderD Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binderElim :: CSharpCode BinderD -> Doc Source #
InternalListFunc CSharpCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listAccessFunc :: VS (CSharpCode TypeData) -> VS (CSharpCode Value) -> VS (CSharpCode FuncData) Source #
InternalVarElim CSharpCode Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods variableBind :: CSharpCode Variable -> AttachmentTag Source # variable :: CSharpCode Variable -> Doc Source #
MethodElim CSharpCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods method :: CSharpCode MethodData -> Doc Source #
MethodTypeSym CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods mType :: VS (CSharpCode TypeData) -> MS (CSharpCode TypeData) Source #
RenderBlock CSharpCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiBlock :: [MS (CSharpCode Block)] -> MS (CSharpCode Block) Source #
RenderBody CSharpCode Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiBody :: [MS (CSharpCode Body)] -> MS (CSharpCode Body) Source #
RenderStatement CSharpCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stmt :: MS (CSharpCode Statement) -> MS (CSharpCode Statement) Source # loopStmt :: MS (CSharpCode Statement) -> MS (CSharpCode Statement) Source # stmtFromData :: Doc -> Terminator -> MS (CSharpCode Statement) Source #
RenderType CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiType :: [VS (CSharpCode TypeData)] -> VS (CSharpCode TypeData) Source #
RenderVisibility CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods visibilityFromData :: VisibilityTag -> Doc -> CSharpCode Doc Source #
StatementElim CSharpCode Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods statement :: CSharpCode Statement -> Doc Source # statementTerm :: CSharpCode Statement -> Terminator Source #
ValueElim CSharpCode Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valuePrec :: CSharpCode Value -> Maybe Int Source # valueInt :: CSharpCode Value -> Maybe Integer Source # value :: CSharpCode Value -> Doc Source #
VisibilityElim CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods visibility :: CSharpCode Doc -> Doc Source #
FileSym CSharpCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods fileDoc :: FS (CSharpCode ModData) -> FS (CSharpCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (CSharpCode FileData) -> FS (CSharpCode FileData) Source #
GetSet CSharpCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods get :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) Source # set :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
ProgramSym CSharpCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods prog :: Label -> Label -> [FS (CSharpCode FileData)] -> GSProgram CSharpCode ProgData Source #
InternalGetSet CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFunc :: VS (CSharpCode Variable) -> VS (CSharpCode FuncData) Source # setFunc :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> VS (CSharpCode FuncData) Source #
Array CSharpCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arrayElem :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Variable) Source # arrayLength :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # arrayCopy :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
BinderElim CSharpCode BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binderName :: CSharpCode BinderD -> String Source # binderType :: CSharpCode BinderD -> CSharpCode TypeData Source #
BinderSym CSharpCode BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binder :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode BinderD) Source #
BlockSym CSharpCode Block Statement Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods block :: [MS (CSharpCode Statement)] -> MS (CSharpCode Block) Source #
BodySym CSharpCode Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods body :: [MS (CSharpCode Block)] -> MS (CSharpCode Body) Source # addComments :: Label -> MS (CSharpCode Body) -> MS (CSharpCode Body) Source #
ListStatement CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listAdd :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # listAppend :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # listSet :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
Literal CSharpCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods litTrue :: VS (CSharpCode Value) Source # litFalse :: VS (CSharpCode Value) Source # litChar :: Char -> VS (CSharpCode Value) Source # litDouble :: Double -> VS (CSharpCode Value) Source # litFloat :: Float -> VS (CSharpCode Value) Source # litInt :: Integer -> VS (CSharpCode Value) Source # litString :: String -> VS (CSharpCode Value) Source # litArray :: VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> VS (CSharpCode Value) Source # litList :: VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> VS (CSharpCode Value) Source # litSet :: VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> VS (CSharpCode Value) Source #
ParameterSym CSharpCode ParamData Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods param :: VS (CSharpCode Variable) -> MS (CSharpCode ParamData) Source # pointerParam :: VS (CSharpCode Variable) -> MS (CSharpCode ParamData) Source #
PrintConsole CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods print :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # printLn :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # printStr :: String -> MS (CSharpCode Statement) Source # printStrLn :: String -> MS (CSharpCode Statement) Source #
PrintFile CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods printFile :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # printFileLn :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # printFileStr :: VS (CSharpCode Value) -> String -> MS (CSharpCode Statement) Source # printFileStrLn :: VS (CSharpCode Value) -> String -> MS (CSharpCode Statement) Source #
ReadConsole CSharpCode Statement Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getInput :: VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source # discardInput :: MS (CSharpCode Statement) Source #
ValueStatement CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valStmt :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
ValueSym CSharpCode Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueType :: CSharpCode Value -> CSharpCode TypeData Source #
VariableElim CSharpCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods variableName :: CSharpCode Variable -> String Source # variableType :: CSharpCode Variable -> CSharpCode TypeData Source #
VariableSym CSharpCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods var :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # constant :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # extVar :: Library -> Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source #
VariableValue CSharpCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueOf :: VS (CSharpCode Variable) -> VS (CSharpCode Value) Source #
InternalControlStmt CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiReturn :: [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source #
InternalIOStmt CSharpCode Statement Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods printSt :: Bool -> Maybe (VS (CSharpCode Value)) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
ParamElim CSharpCode ParamData TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods parameterName :: CSharpCode ParamData -> Label Source # parameterType :: CSharpCode ParamData -> CSharpCode TypeData Source # parameter :: CSharpCode ParamData -> Doc Source #
RenderParam CSharpCode ParamData Variable Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods paramFromData :: VS (CSharpCode Variable) -> Doc -> MS (CSharpCode ParamData) Source #
RenderVariable CSharpCode Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods varFromData :: AttachmentTag -> String -> VS (CSharpCode TypeData) -> Doc -> VS (CSharpCode Variable) Source #
ClassSym CSharpCode Class StateVar MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildClass :: Maybe Label -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # docClass :: String -> CS (CSharpCode Class) -> CS (CSharpCode Class) Source #
InternalValueExp CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Value) -> [VS (CSharpCode Value)] -> NamedArgs CSharpCode Variable Value -> VS (CSharpCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> NamedArgs CSharpCode Variable Value -> VS (CSharpCode Value) Source #
ModuleSym CSharpCode ModData Class MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildModule :: Label -> [Label] -> [MS (CSharpCode MethodData)] -> [CS (CSharpCode Class)] -> FS (CSharpCode ModData) Source #
OOFuncAppStatement CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfInOutCall :: InOutCall CSharpCode Statement Variable Value Source #
OOValueExpression CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods newObjMixedArgs :: MixedCtorCall CSharpCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Variable Value TypeData Source #
OOVariableSym CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classVar :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # classConst :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # classVarAccess :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source # extClassVarAccess :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source # instanceVarAccess :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source #
RenderClass CSharpCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intClass :: Label -> CSharpCode Doc -> CSharpCode ParentSpec -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # inherit :: Maybe Label -> CSharpCode ParentSpec Source # implements :: [Label] -> CSharpCode ParentSpec Source # commentedClass :: CS (CSharpCode Doc) -> CS (CSharpCode Class) -> CS (CSharpCode Class) Source #
AssignStatement CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (&-=) :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # (&+=) :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # (&++) :: VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source # (&--) :: VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source # assign :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
FileHandling CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods openFileR :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # openFileW :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # openFileA :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # closeFile :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
FuncAppStatement CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inOutCall :: InOutCall CSharpCode Statement Variable Value Source # extInOutCall :: Library -> InOutCall CSharpCode Statement Variable Value Source #
InternalList CSharpCode Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSlice' :: Maybe (VS (CSharpCode Value)) -> Maybe (VS (CSharpCode Value)) -> Maybe (VS (CSharpCode Value)) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Block) Source #
ReadFile CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFileInput :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source # discardFileInput :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # getFileInputLine :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source # discardFileLine :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # getFileInputAll :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> MS (CSharpCode Statement) Source #
StringStatement CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stringSplit :: Char -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # stringListVals :: [VS (CSharpCode Variable)] -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # stringListLists :: [VS (CSharpCode Variable)] -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
InternalAssignStmt CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiAssign :: [VS (CSharpCode Variable)] -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source #
RenderValue CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inputFunc :: VS (CSharpCode Value) Source # printFunc :: VS (CSharpCode Value) Source # printLnFunc :: VS (CSharpCode Value) Source # printFileFunc :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # printFileLnFunc :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source # cast :: VS (CSharpCode TypeData) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # call :: Maybe Library -> Maybe Doc -> MixedCall CSharpCode Variable Value TypeData Source # valFromData :: Maybe Int -> Maybe Integer -> VS (CSharpCode TypeData) -> Doc -> VS (CSharpCode Value) Source #
OODeclStatement CSharpCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # objDecNew :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source # extObjDecNew :: Library -> VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source #
StrategyPattern CSharpCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods runStrategy :: Label -> [(Label, MS (CSharpCode Body))] -> Maybe (VS (CSharpCode Value)) -> Maybe (VS (CSharpCode Variable)) -> MS (CSharpCode Block) Source #
ControlStatement CSharpCode Body Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods break :: MS (CSharpCode Statement) Source # continue :: MS (CSharpCode Statement) Source # returnStmt :: VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # throw :: Label -> MS (CSharpCode Statement) Source # ifCond :: [(VS (CSharpCode Value), MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # switch :: VS (CSharpCode Value) -> [(VS (CSharpCode Value), MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # ifExists :: VS (CSharpCode Value) -> MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # for :: MS (CSharpCode Statement) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # forRange :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # forEach :: VS (CSharpCode Variable) -> VS (CSharpCode Value) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # while :: VS (CSharpCode Value) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # tryCatch :: MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source # assert :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source #
ValueExpression CSharpCode Variable Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inlineIf :: VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # funcAppMixedArgs :: MixedCall CSharpCode Variable Value TypeData Source # extFuncAppMixedArgs :: Library -> MixedCall CSharpCode Variable Value TypeData Source # libFuncAppMixedArgs :: Library -> MixedCall CSharpCode Variable Value TypeData Source # lambda :: [VS (CSharpCode BinderD)] -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source # notNull :: VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
StateVarSym CSharpCode StateVar Doc Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode Variable) -> CSStateVar CSharpCode StateVar Source # stateVarDef :: CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> CSStateVar CSharpCode StateVar Source # constVar :: CSharpCode Doc -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> CSStateVar CSharpCode StateVar Source #
DeclStatement CSharpCode Body Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods varDec :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> MS (CSharpCode Statement) Source # varDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # listDec :: Integer -> VS (CSharpCode Variable) -> CSharpCode ScopeData -> MS (CSharpCode Statement) Source # listDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source # setDec :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> MS (CSharpCode Statement) Source # setDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # arrayDec :: Integer -> VS (CSharpCode Value) -> VS (CSharpCode Variable) -> CSharpCode ScopeData -> MS (CSharpCode Statement) Source # arrayDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source # constDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # funcDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Variable)] -> MS (CSharpCode Body) -> MS (CSharpCode Statement) Source #
OORenderMethod CSharpCode MethodData Doc Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intMethod :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # intFunc :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # destructor :: [CSStateVar CSharpCode stvr] -> MS (CSharpCode MethodData) Source #
MethodSym CSharpCode MethodData Doc ParamData Body Variable TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods docMain :: MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # function :: Label -> CSharpCode Doc -> VS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # mainFunction :: MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (CSharpCode MethodData) -> MS (CSharpCode MethodData) Source # inOutFunc :: Label -> CSharpCode Doc -> InOutFunc CSharpCode MethodData Body Variable Source # docInOutFunc :: Label -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Variable Source #
OOMethodSym CSharpCode MethodData Doc Doc ParamData Body Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods method :: Label -> CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # getMethod :: VS (CSharpCode Variable) -> MS (CSharpCode MethodData) Source # setMethod :: VS (CSharpCode Variable) -> MS (CSharpCode MethodData) Source # constructor :: [MS (CSharpCode ParamData)] -> Initializers CSharpCode Variable Value -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # inOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> InOutFunc CSharpCode MethodData Body Variable Source # docInOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Variable Source #
CommonRenderSym CSharpCode MethodData Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OORenderSym CSharpCode FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg CSharpCode ProgData FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
Eq a => Eq (CSharpCode a) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (==) :: CSharpCode a -> CSharpCode a -> Bool # (/=) :: CSharpCode a -> CSharpCode a -> Bool #

csName :: String Source #

csVersion :: String Source #