Safe Haskell	Safe-Inferred
Language	Haskell2010

Futhark.CodeGen.Backends.GenericCSharp.AST

Documentation

data CSExp Source #

Instances

Instances details

Eq CSExp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSExp -> CSExp -> Bool # (/=) :: CSExp -> CSExp -> Bool #
Show CSExp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSExp -> ShowS # show :: CSExp -> String # showList :: [CSExp] -> ShowS #
Pretty CSExp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSExp -> Doc # pprPrec :: Int -> CSExp -> Doc # pprList :: [CSExp] -> Doc #

data CSType Source #

Constructors

Composite CSComp
PointerT CSType
Primitive CSPrim
CustomT String
StaticT CSType
OutT CSType
RefT CSType
VoidT

Instances

Instances details

Eq CSType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSType -> CSType -> Bool # (/=) :: CSType -> CSType -> Bool #
Show CSType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSType -> ShowS # show :: CSType -> String # showList :: [CSType] -> ShowS #
Pretty CSType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSType -> Doc # pprPrec :: Int -> CSType -> Doc # pprList :: [CSType] -> Doc #

data CSComp Source #

Constructors

ArrayT CSType
TupleT [CSType]
SystemTupleT [CSType]

Instances

Instances details

Eq CSComp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSComp -> CSComp -> Bool # (/=) :: CSComp -> CSComp -> Bool #
Show CSComp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSComp -> ShowS # show :: CSComp -> String # showList :: [CSComp] -> ShowS #
Pretty CSComp Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSComp -> Doc # pprPrec :: Int -> CSComp -> Doc # pprList :: [CSComp] -> Doc #

data CSPrim Source #

Constructors

CSInt CSInt
CSUInt CSUInt
CSFloat CSFloat
BoolT
ByteT
StringT
IntPtrT

Instances

Instances details

Eq CSPrim Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSPrim -> CSPrim -> Bool # (/=) :: CSPrim -> CSPrim -> Bool #
Show CSPrim Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSPrim -> ShowS # show :: CSPrim -> String # showList :: [CSPrim] -> ShowS #
Pretty CSPrim Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSPrim -> Doc # pprPrec :: Int -> CSPrim -> Doc # pprList :: [CSPrim] -> Doc #

data CSInt Source #

Constructors

Int8T
Int16T
Int32T
Int64T

Instances

Instances details

Eq CSInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSInt -> CSInt -> Bool # (/=) :: CSInt -> CSInt -> Bool #
Show CSInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSInt -> ShowS # show :: CSInt -> String # showList :: [CSInt] -> ShowS #
Pretty CSInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSInt -> Doc # pprPrec :: Int -> CSInt -> Doc # pprList :: [CSInt] -> Doc #

data CSUInt Source #

Constructors

UInt8T
UInt16T
UInt32T
UInt64T

Instances

Instances details

Eq CSUInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSUInt -> CSUInt -> Bool # (/=) :: CSUInt -> CSUInt -> Bool #
Show CSUInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSUInt -> ShowS # show :: CSUInt -> String # showList :: [CSUInt] -> ShowS #
Pretty CSUInt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSUInt -> Doc # pprPrec :: Int -> CSUInt -> Doc # pprList :: [CSUInt] -> Doc #

data CSFloat Source #

Constructors

FloatT
DoubleT

Instances

Instances details

Eq CSFloat Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSFloat -> CSFloat -> Bool # (/=) :: CSFloat -> CSFloat -> Bool #
Show CSFloat Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSFloat -> ShowS # show :: CSFloat -> String # showList :: [CSFloat] -> ShowS #
Pretty CSFloat Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSFloat -> Doc # pprPrec :: Int -> CSFloat -> Doc # pprList :: [CSFloat] -> Doc #

data CSIdx Source #

Constructors

IdxRange CSExp CSExp
IdxExp CSExp

Instances

Instances details

Eq CSIdx Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSIdx -> CSIdx -> Bool # (/=) :: CSIdx -> CSIdx -> Bool #
Show CSIdx Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSIdx -> ShowS # show :: CSIdx -> String # showList :: [CSIdx] -> ShowS #

data ArgMemType Source #

Constructors

ArgOut
ArgRef

Instances

Instances details

Eq ArgMemType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: ArgMemType -> ArgMemType -> Bool # (/=) :: ArgMemType -> ArgMemType -> Bool #
Show ArgMemType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> ArgMemType -> ShowS # show :: ArgMemType -> String # showList :: [ArgMemType] -> ShowS #
Pretty ArgMemType Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: ArgMemType -> Doc # pprPrec :: Int -> ArgMemType -> Doc # pprList :: [ArgMemType] -> Doc #

data CSArg Source #

Constructors

ArgKeyword String CSArg
Arg (Maybe ArgMemType) CSExp

Instances

Instances details

Eq CSArg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSArg -> CSArg -> Bool # (/=) :: CSArg -> CSArg -> Bool #
Show CSArg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSArg -> ShowS # show :: CSArg -> String # showList :: [CSArg] -> ShowS #
Pretty CSArg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSArg -> Doc # pprPrec :: Int -> CSArg -> Doc # pprList :: [CSArg] -> Doc #

data CSStmt Source #

Constructors

If CSExp [CSStmt] [CSStmt]
Try [CSStmt] [CSExcept]
While CSExp [CSStmt]
For String CSExp [CSStmt]
ForEach String CSExp [CSStmt]
UsingWith CSStmt [CSStmt]
Unsafe [CSStmt]
Fixed CSExp CSExp [CSStmt]
Assign CSExp CSExp
Reassign CSExp CSExp
AssignOp String CSExp CSExp
AssignTyped CSType CSExp (Maybe CSExp)
Comment String [CSStmt]
Assert CSExp [CSExp]
Throw CSExp
Exp CSExp
Return CSExp
Pass
Using (Maybe String) String
StaticFunDef CSFunDef
PublicFunDef CSFunDef
PrivateFunDef CSFunDef
Namespace String [CSStmt]
ClassDef CSClassDef
ConstructorDef CSConstructorDef
StructDef String [(CSType, String)]
Escape String

Instances

Instances details

Eq CSStmt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSStmt -> CSStmt -> Bool # (/=) :: CSStmt -> CSStmt -> Bool #
Show CSStmt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSStmt -> ShowS # show :: CSStmt -> String # showList :: [CSStmt] -> ShowS #
Pretty CSStmt Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSStmt -> Doc # pprPrec :: Int -> CSStmt -> Doc # pprList :: [CSStmt] -> Doc #

module Language.Futhark.Core

newtype CSProg Source #

Constructors

CSProg [CSStmt]

Instances

Instances details

Eq CSProg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSProg -> CSProg -> Bool # (/=) :: CSProg -> CSProg -> Bool #
Show CSProg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSProg -> ShowS # show :: CSProg -> String # showList :: [CSProg] -> ShowS #
Pretty CSProg Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSProg -> Doc # pprPrec :: Int -> CSProg -> Doc # pprList :: [CSProg] -> Doc #

data CSExcept Source #

Constructors

Catch CSExp [CSStmt]

Instances

Instances details

Eq CSExcept Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSExcept -> CSExcept -> Bool # (/=) :: CSExcept -> CSExcept -> Bool #
Show CSExcept Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSExcept -> ShowS # show :: CSExcept -> String # showList :: [CSExcept] -> ShowS #
Pretty CSExcept Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSExcept -> Doc # pprPrec :: Int -> CSExcept -> Doc # pprList :: [CSExcept] -> Doc #

data CSFunDef Source #

Constructors

Def String CSType [CSFunDefArg] [CSStmt]

Instances

Instances details

Eq CSFunDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSFunDef -> CSFunDef -> Bool # (/=) :: CSFunDef -> CSFunDef -> Bool #
Show CSFunDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSFunDef -> ShowS # show :: CSFunDef -> String # showList :: [CSFunDef] -> ShowS #
Pretty CSFunDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSFunDef -> Doc # pprPrec :: Int -> CSFunDef -> Doc # pprList :: [CSFunDef] -> Doc #

type CSFunDefArg = (CSType, String) Source #

data CSClassDef Source #

Constructors

Class String [CSStmt]
PublicClass String [CSStmt]

Instances

Instances details

Eq CSClassDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSClassDef -> CSClassDef -> Bool # (/=) :: CSClassDef -> CSClassDef -> Bool #
Show CSClassDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSClassDef -> ShowS # show :: CSClassDef -> String # showList :: [CSClassDef] -> ShowS #
Pretty CSClassDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSClassDef -> Doc # pprPrec :: Int -> CSClassDef -> Doc # pprList :: [CSClassDef] -> Doc #

data CSConstructorDef Source #

Constructors

ClassConstructor String [CSFunDefArg] [CSStmt]

Instances

Instances details

Eq CSConstructorDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods (==) :: CSConstructorDef -> CSConstructorDef -> Bool # (/=) :: CSConstructorDef -> CSConstructorDef -> Bool #
Show CSConstructorDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods showsPrec :: Int -> CSConstructorDef -> ShowS # show :: CSConstructorDef -> String # showList :: [CSConstructorDef] -> ShowS #
Pretty CSConstructorDef Source #
Instance details Defined in Futhark.CodeGen.Backends.GenericCSharp.AST Methods ppr :: CSConstructorDef -> Doc # pprPrec :: Int -> CSConstructorDef -> Doc # pprList :: [CSConstructorDef] -> Doc #

Integer Integer
Bool Bool
Float Double
String String
RawStringLiteral String
Var String
Addr CSExp
Ref CSExp
Out CSExp
Deref String
BinOp String CSExp CSExp
PreUnOp String CSExp
PostUnOp String CSExp
Ternary CSExp CSExp CSExp
Cond CSExp CSExp CSExp
Index CSExp CSIdx
Pair CSExp CSExp
Call CSExp [CSArg]
CallMethod CSExp CSExp [CSArg]
CreateObject CSExp [CSArg]
CreateArray CSType (Either Int [CSExp])
CreateSystemTuple [CSExp]
AllocArray CSType CSExp
Cast CSType CSExp
Tuple [CSExp]
Array [CSExp]
Field CSExp String
Lambda CSExp [CSStmt]
Collection String [CSExp]
This CSExp
Null