Ivory.Compile.C.Types

Documentation

data Include

Constructors

SysInclude FilePath

#include foo.h

LocalInclude FilePath

#include "foo.h"

Instances

Eq Include

Methods

(==) :: Include -> Include -> Bool

(/=) :: Include -> Include -> Bool

Ord Include

Methods

compare :: Include -> Include -> Ordering

(<) :: Include -> Include -> Bool

(<=) :: Include -> Include -> Bool

(>) :: Include -> Include -> Bool

(>=) :: Include -> Include -> Bool

max :: Include -> Include -> Include

min :: Include -> Include -> Include

Show Include

Methods

showsPrec :: Int -> Include -> ShowS

show :: Include -> String

showList :: [Include] -> ShowS

includeDef :: Include -> Definition

type Includes = [Include]

type Sources = [Definition]

data CompileUnits

Constructors

CompileUnits

Fields

• unitName :: String
• sources :: (Includes, Sources)
• headers :: (Includes, Sources)

Instances

Show CompileUnits

Methods

showsPrec :: Int -> CompileUnits -> ShowS

show :: CompileUnits -> String

showList :: [CompileUnits] -> ShowS

Monoid CompileUnits

Methods

mempty :: CompileUnits

mappend :: CompileUnits -> CompileUnits -> CompileUnits

mconcat :: [CompileUnits] -> CompileUnits

newtype CompileM a

Constructors

Compile

Fields

• unCompile :: WriterT CompileUnits Id a

Instances

Monad CompileM

Methods

(>>=) :: CompileM a -> (a -> CompileM b) -> CompileM b

(>>) :: CompileM a -> CompileM b -> CompileM b

return :: a -> CompileM a

fail :: String -> CompileM a

Functor CompileM

Methods

fmap :: (a -> b) -> CompileM a -> CompileM b

(<$) :: a -> CompileM b -> CompileM a

Applicative CompileM

Methods

pure :: a -> CompileM a

(<*>) :: CompileM (a -> b) -> CompileM a -> CompileM b

(*>) :: CompileM a -> CompileM b -> CompileM b

(<*) :: CompileM a -> CompileM b -> CompileM a

type Compile = CompileM ()

runResult :: CompileM a -> CompileUnits

Run the monad and nub the lists. (We have lists here rather than sets since we do not want to reorder headers. Sometimes a user wants headers to be included in exactly the correct order, since in some (bad!) build environments, includes depend on previous includes and aren't self-sufficient.

putSrc :: Definition -> Compile

putSrcInc :: Include -> Compile

putHdrSrc :: Definition -> Compile

putHdrInc :: Include -> Compile