Language.Embedded.Backend.C

C code generation for Program

Documentation

module Language.Embedded.Backend.C.Expression

data ExternalCompilerOpts

Constructors

ExternalCompilerOpts

Fields

• externalKeepFiles :: Bool

  Keep generated files?

• externalFlagsPre :: [String]

  External compiler flags (e.g. ["-Ipath"])

• externalFlagsPost :: [String]

  External compiler flags after C source (e.g. ["-lm","-lpthread"])

• externalSilent :: Bool

  Don't print anything besides what the program prints

Instances

Default ExternalCompilerOpts

Defined in Language.Embedded.Backend.C

Methods

def :: ExternalCompilerOpts

namedType :: String -> Type

Create a named type

viewNotExp :: Exp -> Maybe Exp

Return the argument of a boolean negation expression

arrayInit :: [Exp] -> Initializer

compile :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> String

Compile a program to C code represented as a string. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

This function returns only the first (main) module. To get all C translation unit, use compileAll.

compileAll :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> [(String, String)]

Compile a program to C modules, each one represented as a pair of a name and the code represented as a string. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

icompile :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

Compile a program to C code and print it on the screen. To compile the resulting C code, use something like

cc -std=c99 YOURPROGRAM.c

removeFileIfPossible :: FilePath -> IO ()

maybePutStrLn :: Bool -> String -> IO ()

compileC

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to compile

-> IO FilePath

Path to the generated executable

Generate C code and use CC to compile it

compileAndCheck' :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => ExternalCompilerOpts -> Program instr (Param2 exp pred) a -> IO ()

Generate C code and use CC to check that it compiles (no linking)

compileAndCheck :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

Generate C code and use CC to check that it compiles (no linking)

runCompiled' :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => ExternalCompilerOpts -> Program instr (Param2 exp pred) a -> IO ()

Generate C code, use CC to compile it, and run the resulting executable

runCompiled :: (Interp instr CGen (Param2 exp pred), HFunctor instr) => Program instr (Param2 exp pred) a -> IO ()

Generate C code, use CC to compile it, and run the resulting executable

withCompiled'

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to compile

-> ((String -> IO String) -> IO b)

Function that has access to the compiled executable as a function

-> IO b

Compile a program and make it available as an IO function from String to String (connected to stdin/stdout. respectively). Note that compilation only happens once, even if the IO function is used many times in the body.

withCompiled

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> Program instr (Param2 exp pred) a

Program to compile

-> ((String -> IO String) -> IO b)

Function that has access to the compiled executable as a function

-> IO b

Compile a program and make it available as an IO function from String to String (connected to stdin/stdout. respectively). Note that compilation only happens once, even if the IO function is used many times in the body.

captureCompiled'

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled' but with explicit input/output connected to stdin/stdout. Note that the program will be compiled every time the function is applied to a string. In order to compile once and run many times, use the function withCompiled'.

captureCompiled

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> Program instr (Param2 exp pred) a

Program to run

-> String

Input to send to stdin

-> IO String

Result from stdout

Like runCompiled but with explicit input/output connected to stdin/stdout. Note that the program will be compiled every time the function is applied to a string. In order to compile once and run many times, use the function withCompiled.

compareCompiled'

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> ExternalCompilerOpts

-> Program instr (Param2 exp pred) a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code

compareCompiled

Arguments

:: (Interp instr CGen (Param2 exp pred), HFunctor instr)

=> Program instr (Param2 exp pred) a

Program to run

-> IO a

Reference program

-> String

Input to send to stdin

-> IO ()

Compare the content written to stdout from the reference program and from running the compiled C code

class Default a where

A class for types with a default value.

Minimal complete definition

Nothing

Methods

def :: a

The default value for this type.

Instances

Default Double

Defined in Data.Default.Class

Methods

def :: Double

Default Float

Defined in Data.Default.Class

Methods

def :: Float

Default Int

Defined in Data.Default.Class

Methods

def :: Int

Default Int8

Defined in Data.Default.Class

Methods

def :: Int8

Default Int16

Defined in Data.Default.Class

Methods

def :: Int16

Default Int32

Defined in Data.Default.Class

Methods

def :: Int32

Default Int64

Defined in Data.Default.Class

Methods

def :: Int64

Default Integer

Defined in Data.Default.Class

Methods

def :: Integer

Default Ordering

Defined in Data.Default.Class

Methods

def :: Ordering

Default Word

Defined in Data.Default.Class

Methods

def :: Word

Default Word8

Defined in Data.Default.Class

Methods

def :: Word8

Default Word16

Defined in Data.Default.Class

Methods

def :: Word16

Default Word32

Defined in Data.Default.Class

Methods

def :: Word32

Default Word64

Defined in Data.Default.Class

Methods

def :: Word64

Default ()

Defined in Data.Default.Class

Methods

def :: ()

Default All

Defined in Data.Default.Class

Methods

def :: All

Default Any

Defined in Data.Default.Class

Methods

def :: Any

Default CShort

Defined in Data.Default.Class

Methods

def :: CShort

Default CUShort

Defined in Data.Default.Class

Methods

def :: CUShort

Default CInt

Defined in Data.Default.Class

Methods

def :: CInt

Default CUInt

Defined in Data.Default.Class

Methods

def :: CUInt

Default CLong

Defined in Data.Default.Class

Methods

def :: CLong

Default CULong

Defined in Data.Default.Class

Methods

def :: CULong

Default CLLong

Defined in Data.Default.Class

Methods

def :: CLLong

Default CULLong

Defined in Data.Default.Class

Methods

def :: CULLong

Default CFloat

Defined in Data.Default.Class

Methods

def :: CFloat

Default CDouble

Defined in Data.Default.Class

Methods

def :: CDouble

Default CPtrdiff

Defined in Data.Default.Class

Methods

def :: CPtrdiff

Default CSize

Defined in Data.Default.Class

Methods

def :: CSize

Default CSigAtomic

Defined in Data.Default.Class

Methods

def :: CSigAtomic

Default CClock

Defined in Data.Default.Class

Methods

def :: CClock

Default CTime

Defined in Data.Default.Class

Methods

def :: CTime

Default CUSeconds

Defined in Data.Default.Class

Methods

def :: CUSeconds

Default CSUSeconds

Defined in Data.Default.Class

Methods

def :: CSUSeconds

Default CIntPtr

Defined in Data.Default.Class

Methods

def :: CIntPtr

Default CUIntPtr

Defined in Data.Default.Class

Methods

def :: CUIntPtr

Default CIntMax

Defined in Data.Default.Class

Methods

def :: CIntMax

Default CUIntMax

Defined in Data.Default.Class

Methods

def :: CUIntMax

Default ExternalCompilerOpts

Defined in Language.Embedded.Backend.C

Methods

def :: ExternalCompilerOpts

Default [a]

Defined in Data.Default.Class

Methods

def :: [a]

Default (Maybe a)

Defined in Data.Default.Class

Methods

def :: Maybe a

Integral a => Default (Ratio a)

Defined in Data.Default.Class

Methods

def :: Ratio a

Default a => Default (IO a)

Defined in Data.Default.Class

Methods

def :: IO a

(Default a, RealFloat a) => Default (Complex a)

Defined in Data.Default.Class

Methods

def :: Complex a

Default (First a)

Defined in Data.Default.Class

Methods

def :: First a

Default (Last a)

Defined in Data.Default.Class

Methods

def :: Last a

Default a => Default (Dual a)

Defined in Data.Default.Class

Methods

def :: Dual a

Default (Endo a)

Defined in Data.Default.Class

Methods

def :: Endo a

Num a => Default (Sum a)

Defined in Data.Default.Class

Methods

def :: Sum a

Num a => Default (Product a)

Defined in Data.Default.Class

Methods

def :: Product a

Default r => Default (e -> r)

Defined in Data.Default.Class

Methods

def :: e -> r

(Default a, Default b) => Default (a, b)

Defined in Data.Default.Class

Methods

def :: (a, b)

(Default a, Default b, Default c) => Default (a, b, c)

Defined in Data.Default.Class

Methods

def :: (a, b, c)

(Default a, Default b, Default c, Default d) => Default (a, b, c, d)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d)

(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e)

(Default a, Default b, Default c, Default d, Default e, Default f) => Default (a, b, c, d, e, f)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e, f)

(Default a, Default b, Default c, Default d, Default e, Default f, Default g) => Default (a, b, c, d, e, f, g)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e, f, g)