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

GetSet CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods get :: SValue CSharpCode -> SVariable CSharpCode -> SValue CSharpCode Source # set :: SValue CSharpCode -> SVariable CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
InternalValueExp CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> SValue CSharpCode -> [SValue CSharpCode] -> NamedArgs CSharpCode -> SValue CSharpCode Source # classMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) -> [SValue CSharpCode] -> NamedArgs CSharpCode -> SValue CSharpCode Source #
OOFunctionSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods func :: Label -> VS (CSharpCode TypeData) -> [SValue CSharpCode] -> VS (CSharpCode FuncData) Source # objAccess :: SValue CSharpCode -> VS (CSharpCode FuncData) -> SValue CSharpCode Source #
OOTypeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods obj :: ClassName -> VS (CSharpCode TypeData) Source #
OOValueExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods newObjMixedArgs :: MixedCtorCall CSharpCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Source #
OOValueSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOVariableSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classVar :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # classConst :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # classVarAccess :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SVariable CSharpCode Source # extClassVarAccess :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SVariable CSharpCode Source # instanceVarAccess :: SValue CSharpCode -> SVariable CSharpCode -> SVariable CSharpCode Source #
OOVariableValue CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
SelfSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods self :: SVariable CSharpCode Source #
ClassElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods class' :: CSharpCode Class -> Doc Source #
InternalGetSet CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFunc :: SVariable CSharpCode -> VS (CSharpCode FuncData) Source # setFunc :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SValue CSharpCode -> VS (CSharpCode FuncData) Source #
OOMethodTypeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods construct :: Label -> MSMthdType CSharpCode Source #
Argument CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pointerArg :: SValue CSharpCode -> SValue CSharpCode Source #
Array CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arrayElem :: SValue CSharpCode -> SValue CSharpCode -> SVariable CSharpCode Source # arrayLength :: SValue CSharpCode -> SValue CSharpCode Source # arrayCopy :: SValue CSharpCode -> SValue CSharpCode Source #
BinderElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binderName :: CSharpCode BinderD -> String Source # binderType :: CSharpCode BinderD -> CSharpCode TypeData Source #
BinderSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binder :: Label -> VS (CSharpCode TypeData) -> VSBinder CSharpCode Source #
BooleanExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?!) :: SValue CSharpCode -> SValue CSharpCode Source # (?&&) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?\|\|) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
CommandLineArgs CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arg :: Integer -> SValue CSharpCode Source # argsList :: SValue CSharpCode Source # argExists :: Integer -> SValue CSharpCode Source #
Comparison CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?<) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?<=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?>) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?>=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?==) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?!=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
FunctionSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
IndexTranslator CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intToIndex :: SValue CSharpCode -> SValue CSharpCode Source # indexToInt :: SValue CSharpCode -> SValue CSharpCode Source #
List CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSize :: SValue CSharpCode -> SValue CSharpCode Source # listAccess :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # indexOf :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
Literal CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods litTrue :: SValue CSharpCode Source # litFalse :: SValue CSharpCode Source # litChar :: Char -> SValue CSharpCode Source # litDouble :: Double -> SValue CSharpCode Source # litFloat :: Float -> SValue CSharpCode Source # litInt :: Integer -> SValue CSharpCode Source # litString :: String -> SValue CSharpCode Source # litArray :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source # litList :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source # litSet :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source #
MathConstant CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pi :: SValue CSharpCode Source #
NumericExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (#~) :: SValue CSharpCode -> SValue CSharpCode Source # (#/^) :: SValue CSharpCode -> SValue CSharpCode Source # (#\|) :: SValue CSharpCode -> SValue CSharpCode Source # (#+) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#-) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#*) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#/) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#%) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#^) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # log :: SValue CSharpCode -> SValue CSharpCode Source # ln :: SValue CSharpCode -> SValue CSharpCode Source # exp :: SValue CSharpCode -> SValue CSharpCode Source # sin :: SValue CSharpCode -> SValue CSharpCode Source # cos :: SValue CSharpCode -> SValue CSharpCode Source # tan :: SValue CSharpCode -> SValue CSharpCode Source # csc :: SValue CSharpCode -> SValue CSharpCode Source # sec :: SValue CSharpCode -> SValue CSharpCode Source # cot :: SValue CSharpCode -> SValue CSharpCode Source # arcsin :: SValue CSharpCode -> SValue CSharpCode Source # arccos :: SValue CSharpCode -> SValue CSharpCode Source # arctan :: SValue CSharpCode -> SValue CSharpCode Source # floor :: SValue CSharpCode -> SValue CSharpCode Source # ceil :: SValue CSharpCode -> SValue CSharpCode Source #
ParameterSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods param :: SVariable CSharpCode -> MS (CSharpCode ParamData) Source # pointerParam :: SVariable CSharpCode -> MS (CSharpCode ParamData) Source #
Reference CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods makeRef :: SValue CSharpCode -> SValue CSharpCode Source # maybeDeref :: SValue CSharpCode -> SValue CSharpCode Source #
ScopeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods global :: CSharpCode ScopeData Source # mainFn :: CSharpCode ScopeData Source # local :: CSharpCode ScopeData Source #
Set CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods contains :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setAdd :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setRemove :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setUnion :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
TypeElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getCodeType :: CSharpCode TypeData -> CodeType Source #
TypeSym CSharpCode 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 #
ValueExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inlineIf :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # funcAppMixedArgs :: MixedCall CSharpCode Source # extFuncAppMixedArgs :: Library -> MixedCall CSharpCode Source # libFuncAppMixedArgs :: Library -> MixedCall CSharpCode Source # lambda :: [VSBinder CSharpCode] -> SValue CSharpCode -> SValue CSharpCode Source # notNull :: SValue CSharpCode -> SValue CSharpCode Source #
ValueSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueType :: CSharpCode Value -> CSharpCode TypeData Source #
VariableElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods variableName :: CSharpCode Variable -> String Source # variableType :: CSharpCode Variable -> CSharpCode TypeData Source #
VariableSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods var :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # constant :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # extVar :: Library -> Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source #
VariableValue CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueOf :: SVariable CSharpCode -> SValue CSharpCode Source #
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 #
FunctionElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods functionType :: CSharpCode FuncData -> CSharpCode TypeData Source # function :: CSharpCode FuncData -> Doc Source #
ImportSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods langImport :: Label -> CSharpCode Doc Source # modImport :: Label -> CSharpCode Doc Source #
InternalBinderElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binderElim :: CSharpCode BinderD -> Doc Source #
InternalListFunc CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listAccessFunc :: VS (CSharpCode TypeData) -> SValue CSharpCode -> VS (CSharpCode FuncData) Source #
InternalVarElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods variableBind :: CSharpCode Variable -> AttachmentTag Source # variable :: CSharpCode Variable -> Doc Source #
MethodTypeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods mType :: VS (CSharpCode TypeData) -> MSMthdType CSharpCode 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 #
ParamElim CSharpCode 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 #
RenderFunction CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods funcFromData :: Doc -> VS (CSharpCode TypeData) -> VS (CSharpCode FuncData) Source #
RenderParam CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods paramFromData :: SVariable CSharpCode -> Doc -> MS (CSharpCode ParamData) Source #
RenderType CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiType :: [VS (CSharpCode TypeData)] -> VS (CSharpCode TypeData) Source #
RenderValue CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inputFunc :: SValue CSharpCode Source # printFunc :: SValue CSharpCode Source # printLnFunc :: SValue CSharpCode Source # printFileFunc :: SValue CSharpCode -> SValue CSharpCode Source # printFileLnFunc :: SValue CSharpCode -> SValue CSharpCode Source # cast :: VS (CSharpCode TypeData) -> SValue CSharpCode -> SValue CSharpCode Source # call :: Maybe Library -> Maybe Doc -> MixedCall CSharpCode Source # valFromData :: Maybe Int -> Maybe Integer -> VS (CSharpCode TypeData) -> Doc -> SValue CSharpCode Source #
RenderVariable CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods varFromData :: AttachmentTag -> String -> VS (CSharpCode TypeData) -> Doc -> SVariable CSharpCode Source #
ScopeElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods scopeData :: CSharpCode ScopeData -> ScopeData 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 #
ValueElim CSharpCode 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 #
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 #
InternalList CSharpCode Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSlice' :: Maybe (SValue CSharpCode) -> Maybe (SValue CSharpCode) -> Maybe (SValue CSharpCode) -> SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode Block) Source #
UnRepr CSharpCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods unRepr :: CSharpCode contents -> contents 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 #
AttachmentSym CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classLevel :: CSharpCode Doc Source # instanceLevel :: CSharpCode Doc Source #
ModuleSym CSharpCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildModule :: Label -> [Label] -> [MS (CSharpCode MethodData)] -> [CS (CSharpCode Class)] -> FS (CSharpCode ModData) Source #
StrategyPattern CSharpCode Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods runStrategy :: Label -> [(Label, MS (CSharpCode Body))] -> Maybe (SValue CSharpCode) -> Maybe (SVariable CSharpCode) -> MS (CSharpCode Block) Source #
ModuleElim CSharpCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods module' :: CSharpCode ModData -> Doc 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 #
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 #
MethodElim CSharpCode MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods method :: CSharpCode MethodData -> Doc 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 #
RenderVisibility CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods visibilityFromData :: VisibilityTag -> Doc -> CSharpCode 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 #
ProgramSym CSharpCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods prog :: Label -> Label -> [FS (CSharpCode FileData)] -> GSProgram CSharpCode ProgData Source #
StateVarSym CSharpCode Doc StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode Doc -> CSharpCode Doc -> SVariable CSharpCode -> CSStateVar CSharpCode StateVar Source # stateVarDef :: CSharpCode Doc -> CSharpCode Doc -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode StateVar Source # constVar :: CSharpCode Doc -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode StateVar Source #
RenderClass CSharpCode Doc MethodData StateVar 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 #
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 #
MethodSym CSharpCode Doc MethodData Body 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 Source # docInOutFunc :: Label -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Source #
ClassSym CSharpCode Doc MethodData StateVar Doc 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 #
OOMethodSym CSharpCode Doc MethodData Doc Body 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 :: SVariable CSharpCode -> MS (CSharpCode MethodData) Source # setMethod :: SVariable CSharpCode -> MS (CSharpCode MethodData) Source # constructor :: [MS (CSharpCode ParamData)] -> Initializers CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # inOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> InOutFunc CSharpCode MethodData Body Source # docInOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Source #
OORenderMethod CSharpCode Doc MethodData Doc Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intMethod :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MSMthdType CSharpCode -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # intFunc :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MSMthdType CSharpCode -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # destructor :: [CSStateVar CSharpCode stvr] -> MS (CSharpCode MethodData) Source #
BlockSym CSharpCode Block (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods block :: [MS (CSharpCode (Doc, Terminator))] -> MS (CSharpCode Block) Source #
CommentStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods comment :: String -> MS (CSharpCode (Doc, Terminator)) Source #
EmptyStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods emptyStmt :: MS (CSharpCode (Doc, Terminator)) Source #
MultiStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multi :: [MS (CSharpCode (Doc, Terminator))] -> MS (CSharpCode (Doc, Terminator)) Source #
RenderStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stmt :: MS (CSharpCode (Doc, Terminator)) -> MS (CSharpCode (Doc, Terminator)) Source # loopStmt :: MS (CSharpCode (Doc, Terminator)) -> MS (CSharpCode (Doc, Terminator)) Source # stmtFromData :: Doc -> Terminator -> MS (CSharpCode (Doc, Terminator)) Source #
StatementElim CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods statement :: CSharpCode (Doc, Terminator) -> Doc Source # statementTerm :: CSharpCode (Doc, Terminator) -> Terminator Source #
CommonRenderSym CSharpCode Doc (Doc, Terminator) MethodData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OORenderSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOFuncAppStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfInOutCall :: InOutCall CSharpCode (Doc, Terminator) Source #
ObserverPattern CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notifyObservers :: VS (CSharpCode FuncData) -> VS (CSharpCode TypeData) -> MS (CSharpCode (Doc, Terminator)) Source #
AssignStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (&-=) :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&+=) :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&++) :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&--) :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # assign :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
FileHandling CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods openFileR :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # openFileW :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # openFileA :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # closeFile :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
FuncAppStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inOutCall :: InOutCall CSharpCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall CSharpCode (Doc, Terminator) Source #
ListStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listAdd :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listAppend :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listSet :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
PrintConsole CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods print :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printLn :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printStr :: String -> MS (CSharpCode (Doc, Terminator)) Source # printStrLn :: String -> MS (CSharpCode (Doc, Terminator)) Source #
PrintFile CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods printFile :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printFileLn :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printFileStr :: SValue CSharpCode -> String -> MS (CSharpCode (Doc, Terminator)) Source # printFileStrLn :: SValue CSharpCode -> String -> MS (CSharpCode (Doc, Terminator)) Source #
ReadConsole CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getInput :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardInput :: MS (CSharpCode (Doc, Terminator)) Source #
ReadFile CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFileInput :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardFileInput :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # getFileInputLine :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardFileLine :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # getFileInputAll :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
StringStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stringSplit :: Char -> SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # stringListVals :: [SVariable CSharpCode] -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # stringListLists :: [SVariable CSharpCode] -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
ValueStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valStmt :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
InternalAssignStmt CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiAssign :: [SVariable CSharpCode] -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source #
InternalControlStmt CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods multiReturn :: [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source #
InternalIOStmt CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods printSt :: Bool -> Maybe (SValue CSharpCode) -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
OODeclStatement CSharpCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # objDecNew :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source #
ControlStatement CSharpCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods break :: MS (CSharpCode (Doc, Terminator)) Source # continue :: MS (CSharpCode (Doc, Terminator)) Source # returnStmt :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # throw :: Label -> MS (CSharpCode (Doc, Terminator)) Source # ifCond :: [(SValue CSharpCode, MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # switch :: SValue CSharpCode -> [(SValue CSharpCode, MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # ifExists :: SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # for :: MS (CSharpCode (Doc, Terminator)) -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # forRange :: SVariable CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # forEach :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # while :: SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # tryCatch :: MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # assert :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
DeclStatement CSharpCode (Doc, Terminator) Body Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods varDec :: SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # varDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # listDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # setDec :: SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # setDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue CSharpCode -> SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # arrayDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # constDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # funcDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SVariable CSharpCode] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source #
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 #