Language.Cil.Build

Combinators for building abstract syntax.

Assembly ref functions

assemblyRef :: AssemblyName -> Version -> PublicKeyToken -> AssemblyRef

Directive functions

entryPoint :: MethodDecl

localsInit :: [Local] -> MethodDecl

maxStack :: Int -> MethodDecl

OpCode functions

add :: MethodDecl

add_ovf :: MethodDecl

add_ovf_un :: MethodDecl

and :: MethodDecl

beq :: Label -> MethodDecl

bge :: Label -> MethodDecl

bgt :: Label -> MethodDecl

ble :: Label -> MethodDecl

blt :: Label -> MethodDecl

box :: PrimitiveType -> MethodDecl

br :: Label -> MethodDecl

break :: MethodDecl

brfalse :: Label -> MethodDecl

brtrue :: Label -> MethodDecl

call :: [CallConv] -> PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl

callvirt :: PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl

castclass :: PrimitiveType -> MethodDecl

ceq :: MethodDecl

cgt :: MethodDecl

ckfinite :: MethodDecl

clt :: MethodDecl

dup :: MethodDecl

div :: MethodDecl

div_un :: MethodDecl

isinst :: TypeName -> MethodDecl

ldarg :: Offset -> MethodDecl

ldargN :: DottedName -> MethodDecl

ldarga :: Offset -> MethodDecl

ldargaN :: DottedName -> MethodDecl

ldc_i4 :: Integer -> MethodDecl

ldc_i8 :: Integer -> MethodDecl

ldc_r4 :: Float -> MethodDecl

ldc_r8 :: Double -> MethodDecl

ldchar :: Char -> MethodDecl

ldelem_i :: MethodDecl

ldelem_i1 :: MethodDecl

ldelem_i2 :: MethodDecl

ldelem_i4 :: MethodDecl

ldelem_i8 :: MethodDecl

ldelem_u1 :: MethodDecl

ldelem_u2 :: MethodDecl

ldelem_u4 :: MethodDecl

ldelem_u8 :: MethodDecl

ldelem_r4 :: MethodDecl

ldelem_r8 :: MethodDecl

ldelem_ref :: MethodDecl

ldelema :: MethodDecl

ldfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

ldflda :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

ldftn :: PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl

ldftn_instance :: PrimitiveType -> AssemblyName -> TypeName -> MethodName -> [PrimitiveType] -> MethodDecl

ldind_i :: MethodDecl

ldind_i1 :: MethodDecl

ldind_i2 :: MethodDecl

ldind_i4 :: MethodDecl

ldind_i8 :: MethodDecl

ldind_r4 :: MethodDecl

ldind_r8 :: MethodDecl

ldind_ref :: MethodDecl

ldind_u1 :: MethodDecl

ldind_u2 :: MethodDecl

ldind_u4 :: MethodDecl

ldlen :: MethodDecl

ldloc :: Offset -> MethodDecl

ldlocN :: LocalName -> MethodDecl

ldloca :: Offset -> MethodDecl

ldlocaN :: LocalName -> MethodDecl

ldnull :: MethodDecl

ldsfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

ldsflda :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

ldstr :: String -> MethodDecl

ldtoken :: PrimitiveType -> MethodDecl

mul :: MethodDecl

mul_ovf :: MethodDecl

mul_ovf_un :: MethodDecl

neg :: MethodDecl

newarr :: PrimitiveType -> MethodDecl

newobj :: AssemblyName -> TypeName -> [PrimitiveType] -> MethodDecl

Creates a new object. Note that this function assumes the constructor returns Void. If this is not the case, call the Newobj constructor manually.

nop :: MethodDecl

not :: MethodDecl

or :: MethodDecl

pop :: MethodDecl

rem :: MethodDecl

rem_un :: MethodDecl

ret :: MethodDecl

shl :: MethodDecl

shr :: MethodDecl

shr_un :: MethodDecl

stelem_i :: MethodDecl

stelem_i1 :: MethodDecl

stelem_i2 :: MethodDecl

stelem_i4 :: MethodDecl

stelem_i8 :: MethodDecl

stelem_r4 :: MethodDecl

stelem_r8 :: MethodDecl

stelem_ref :: MethodDecl

stfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

stind_i :: MethodDecl

stind_i1 :: MethodDecl

stind_i2 :: MethodDecl

stind_i4 :: MethodDecl

stind_i8 :: MethodDecl

stind_r4 :: MethodDecl

stind_r8 :: MethodDecl

stind_ref :: MethodDecl

stloc :: Offset -> MethodDecl

stlocN :: LocalName -> MethodDecl

stsfld :: PrimitiveType -> AssemblyName -> TypeName -> FieldName -> MethodDecl

sub :: MethodDecl

sub_ovf :: MethodDecl

sub_ovf_un :: MethodDecl

switch :: [Label] -> MethodDecl

tail :: MethodDecl

tailcall :: MethodDecl -> MethodDecl

throw :: MethodDecl

unaligned :: Alignment -> MethodDecl

unalignedPtr :: Alignment -> MethodDecl -> MethodDecl

unbox :: PrimitiveType -> MethodDecl

unbox_any :: PrimitiveType -> MethodDecl

volatile :: MethodDecl

volatilePtr :: MethodDecl -> MethodDecl

xor :: MethodDecl

Convenient AST functions

label :: Label -> MethodDecl

Relabel a labelled MethodDecl with a new label.

comment :: String -> MethodDecl

extends :: TypeName -> Maybe TypeSpec

noExtends :: Maybe TypeSpec

noImplements :: [TypeSpec]

classDef :: [ClassAttr] -> TypeName -> Maybe TypeSpec -> [TypeSpec] -> [FieldDef] -> [MethodDef] -> [TypeDef] -> TypeDef

defaultCtor :: [Parameter] -> MethodDef

extendsCtor :: AssemblyName -> TypeName -> [Parameter] -> MethodDef

simpleAssembly :: [MethodDecl] -> Assembly

Create a simple Assembly with one method containing the provided MethodDecls.

mscorlibRef :: AssemblyRef