System.Plugins.MultiStage

Generic components

Loading

loadFunWithConfig :: Config -> [Name] -> Q [Dec]

Generic function compiler and loader

loadFunType :: Name -> Q Type

Extract the type of the supplied function name

Configuration

data Config

Configuration parameters for the function loader

Constructors

Config

Fields

• declWorker :: Config -> Name -> Name -> [Name] -> Type -> [DecQ]
• builder :: Config -> Name -> Q Body
• worker :: Name -> [Name] -> Q Body
• typeFromName :: Name -> Q Type
• mkHSig :: Type -> Q Type
• mkCSig :: Type -> Q Type
• prefix :: String
• suffix :: String
• wdir :: String
• opts :: [String]
• safety :: Safety

defaultConfig :: Config

defaultBuilder :: Config -> Name -> Q Body

Build, load and link a C file

Calling Convention

data CallConv

The Calling Convention specifies how a type should be converted

Constructors

CallConv

Fields

• arg :: Type -> Q Type

  Convert an argument

• res :: Type -> Q Type

  Convert the result

buildType :: CallConv -> Type -> Q Type

Convert a type using the supplied calling convention

applyTF :: Name -> Type -> Q Type

Apply a type family

expandTF :: Type -> Q Type

Expand type families

Marshaling

pack :: (Reference (Rep a), Marshal a) => a -> IO (Ref (Rep a))

Pack a value into its runtime representation

pack a = to a >>= ref

unpack :: (Reference (Rep a), Marshal a) => Ref (Rep a) -> IO a

Unpack a value from its runtime representation

unpack a = deref a >>= from

class Reference a where

Optionally make a refrence of a value

Minimal complete definition

Nothing

Associated Types

type Ref a :: *

The type of a referenced value

Methods

ref :: a -> IO (Ref a)

Convert to a referenced value

ref :: a ~ Ref a => a -> IO (Ref a)

Convert to a referenced value

deref :: Ref a -> IO a

Convert from a referenced value In the IO monad to allow peeking through the reference.

deref :: a ~ Ref a => Ref a -> IO a

Convert from a referenced value In the IO monad to allow peeking through the reference.

Instances

Reference Bool

Defined in System.Plugins.MultiStage

Associated Types

type Ref Bool :: Type

Methods

ref :: Bool -> IO (Ref Bool)

deref :: Ref Bool -> IO Bool

Reference Double

Defined in System.Plugins.MultiStage

Associated Types

type Ref Double :: Type

Methods

ref :: Double -> IO (Ref Double)

deref :: Ref Double -> IO Double

Reference Float

Defined in System.Plugins.MultiStage

Associated Types

type Ref Float :: Type

Methods

ref :: Float -> IO (Ref Float)

deref :: Ref Float -> IO Float

Reference Int8

Defined in System.Plugins.MultiStage

Associated Types

type Ref Int8 :: Type

Methods

ref :: Int8 -> IO (Ref Int8)

deref :: Ref Int8 -> IO Int8

Reference Int16

Defined in System.Plugins.MultiStage

Associated Types

type Ref Int16 :: Type

Methods

ref :: Int16 -> IO (Ref Int16)

deref :: Ref Int16 -> IO Int16

Reference Int32

Defined in System.Plugins.MultiStage

Associated Types

type Ref Int32 :: Type

Methods

ref :: Int32 -> IO (Ref Int32)

deref :: Ref Int32 -> IO Int32

Reference Int64

Defined in System.Plugins.MultiStage

Associated Types

type Ref Int64 :: Type

Methods

ref :: Int64 -> IO (Ref Int64)

deref :: Ref Int64 -> IO Int64

Reference Word8

Defined in System.Plugins.MultiStage

Associated Types

type Ref Word8 :: Type

Methods

ref :: Word8 -> IO (Ref Word8)

deref :: Ref Word8 -> IO Word8

Reference Word16

Defined in System.Plugins.MultiStage

Associated Types

type Ref Word16 :: Type

Methods

ref :: Word16 -> IO (Ref Word16)

deref :: Ref Word16 -> IO Word16

Reference Word32

Defined in System.Plugins.MultiStage

Associated Types

type Ref Word32 :: Type

Methods

ref :: Word32 -> IO (Ref Word32)

deref :: Ref Word32 -> IO Word32

Reference Word64

Defined in System.Plugins.MultiStage

Associated Types

type Ref Word64 :: Type

Methods

ref :: Word64 -> IO (Ref Word64)

deref :: Ref Word64 -> IO Word64

class Marshal a where

Convert between Haskell and representation types

Minimal complete definition

Nothing

Associated Types

type Rep a :: *

Methods

to :: a -> IO (Rep a)

to :: a ~ Rep a => a -> IO (Rep a)

from :: Rep a -> IO a

from :: a ~ Rep a => Rep a -> IO a

Instances

Marshal Bool

Defined in System.Plugins.MultiStage

Associated Types

type Rep Bool :: Type

Methods

to :: Bool -> IO (Rep Bool)

from :: Rep Bool -> IO Bool

Marshal Double

Defined in System.Plugins.MultiStage

Associated Types

type Rep Double :: Type

Methods

to :: Double -> IO (Rep Double)

from :: Rep Double -> IO Double

Marshal Float

Defined in System.Plugins.MultiStage

Associated Types

type Rep Float :: Type

Methods

to :: Float -> IO (Rep Float)

from :: Rep Float -> IO Float

Marshal Int8

Defined in System.Plugins.MultiStage

Associated Types

type Rep Int8 :: Type

Methods

to :: Int8 -> IO (Rep Int8)

from :: Rep Int8 -> IO Int8

Marshal Int16

Defined in System.Plugins.MultiStage

Associated Types

type Rep Int16 :: Type

Methods

to :: Int16 -> IO (Rep Int16)

from :: Rep Int16 -> IO Int16

Marshal Int32

Defined in System.Plugins.MultiStage

Associated Types

type Rep Int32 :: Type

Methods

to :: Int32 -> IO (Rep Int32)

from :: Rep Int32 -> IO Int32

Marshal Int64

Defined in System.Plugins.MultiStage

Associated Types

type Rep Int64 :: Type

Methods

to :: Int64 -> IO (Rep Int64)

from :: Rep Int64 -> IO Int64

Marshal Word8

Defined in System.Plugins.MultiStage

Associated Types

type Rep Word8 :: Type

Methods

to :: Word8 -> IO (Rep Word8)

from :: Rep Word8 -> IO Word8

Marshal Word16

Defined in System.Plugins.MultiStage

Associated Types

type Rep Word16 :: Type

Methods

to :: Word16 -> IO (Rep Word16)

from :: Rep Word16 -> IO Word16

Marshal Word32

Defined in System.Plugins.MultiStage

Associated Types

type Rep Word32 :: Type

Methods

to :: Word32 -> IO (Rep Word32)

from :: Rep Word32 -> IO Word32

Marshal Word64

Defined in System.Plugins.MultiStage

Associated Types

type Rep Word64 :: Type

Methods

to :: Word64 -> IO (Rep Word64)

from :: Rep Word64 -> IO Word64