Safe Haskell	None
Language	Haskell2010

ForeignCall

Synopsis

Documentation

newtype ForeignCall Source

Constructors

CCall CCallSpec

Instances

Eq ForeignCall
Methods (==) :: ForeignCall -> ForeignCall -> Bool (/=) :: ForeignCall -> ForeignCall -> Bool
Outputable ForeignCall
Methods ppr :: ForeignCall -> SDoc Source pprPrec :: Rational -> ForeignCall -> SDoc Source
Binary ForeignCall
Methods put_ :: BinHandle -> ForeignCall -> IO () Source put :: BinHandle -> ForeignCall -> IO (Bin ForeignCall) Source get :: BinHandle -> IO ForeignCall Source

isSafeForeignCall :: ForeignCall -> Bool Source

data Safety Source

Constructors

PlaySafe
PlayInterruptible
PlayRisky

Instances

Eq Safety
Methods (==) :: Safety -> Safety -> Bool (/=) :: Safety -> Safety -> Bool
Data Safety
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Safety -> c Safety Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Safety Source toConstr :: Safety -> Constr Source dataTypeOf :: Safety -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c Safety) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Safety) Source gmapT :: (forall b. Data b => b -> b) -> Safety -> Safety Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Safety -> r Source gmapQ :: (forall d. Data d => d -> u) -> Safety -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Safety -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Safety -> m Safety Source
Show Safety
Methods showsPrec :: Int -> Safety -> ShowS Source show :: Safety -> String Source showList :: [Safety] -> ShowS Source
Outputable Safety
Methods ppr :: Safety -> SDoc Source pprPrec :: Rational -> Safety -> SDoc Source
Binary Safety
Methods put_ :: BinHandle -> Safety -> IO () Source put :: BinHandle -> Safety -> IO (Bin Safety) Source get :: BinHandle -> IO Safety Source

playSafe :: Safety -> Bool Source

playInterruptible :: Safety -> Bool Source

data CExportSpec Source

Constructors

CExportStatic SourceText CLabelString CCallConv

Instances

Data CExportSpec
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CExportSpec -> c CExportSpec Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CExportSpec Source toConstr :: CExportSpec -> Constr Source dataTypeOf :: CExportSpec -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c CExportSpec) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CExportSpec) Source gmapT :: (forall b. Data b => b -> b) -> CExportSpec -> CExportSpec Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CExportSpec -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CExportSpec -> r Source gmapQ :: (forall d. Data d => d -> u) -> CExportSpec -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> CExportSpec -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> CExportSpec -> m CExportSpec Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CExportSpec -> m CExportSpec Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CExportSpec -> m CExportSpec Source
Outputable CExportSpec
Methods ppr :: CExportSpec -> SDoc Source pprPrec :: Rational -> CExportSpec -> SDoc Source
Binary CExportSpec
Methods put_ :: BinHandle -> CExportSpec -> IO () Source put :: BinHandle -> CExportSpec -> IO (Bin CExportSpec) Source get :: BinHandle -> IO CExportSpec Source

type CLabelString = FastString Source

isCLabelString :: CLabelString -> Bool Source

pprCLabelString :: CLabelString -> SDoc Source

data CCallSpec Source

Constructors

CCallSpec CCallTarget CCallConv Safety

Instances

Eq CCallSpec
Methods (==) :: CCallSpec -> CCallSpec -> Bool (/=) :: CCallSpec -> CCallSpec -> Bool
Outputable CCallSpec
Methods ppr :: CCallSpec -> SDoc Source pprPrec :: Rational -> CCallSpec -> SDoc Source
Binary CCallSpec
Methods put_ :: BinHandle -> CCallSpec -> IO () Source put :: BinHandle -> CCallSpec -> IO (Bin CCallSpec) Source get :: BinHandle -> IO CCallSpec Source

data CCallTarget Source

How to call a particular function in C-land.

Constructors

StaticTarget SourceText CLabelString (Maybe UnitId) Bool
DynamicTarget

Instances

Eq CCallTarget
Methods (==) :: CCallTarget -> CCallTarget -> Bool (/=) :: CCallTarget -> CCallTarget -> Bool
Data CCallTarget
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallTarget -> c CCallTarget Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CCallTarget Source toConstr :: CCallTarget -> Constr Source dataTypeOf :: CCallTarget -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c CCallTarget) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CCallTarget) Source gmapT :: (forall b. Data b => b -> b) -> CCallTarget -> CCallTarget Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget -> r Source gmapQ :: (forall d. Data d => d -> u) -> CCallTarget -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallTarget -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallTarget -> m CCallTarget Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget -> m CCallTarget Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget -> m CCallTarget Source
Binary CCallTarget
Methods put_ :: BinHandle -> CCallTarget -> IO () Source put :: BinHandle -> CCallTarget -> IO (Bin CCallTarget) Source get :: BinHandle -> IO CCallTarget Source

isDynamicTarget :: CCallTarget -> Bool Source

data CCallConv Source

Constructors

CCallConv
CApiConv
StdCallConv
PrimCallConv
JavaScriptCallConv

Instances

Eq CCallConv
Methods (==) :: CCallConv -> CCallConv -> Bool (/=) :: CCallConv -> CCallConv -> Bool
Data CCallConv
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallConv -> c CCallConv Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CCallConv Source toConstr :: CCallConv -> Constr Source dataTypeOf :: CCallConv -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c CCallConv) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CCallConv) Source gmapT :: (forall b. Data b => b -> b) -> CCallConv -> CCallConv Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallConv -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallConv -> r Source gmapQ :: (forall d. Data d => d -> u) -> CCallConv -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallConv -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallConv -> m CCallConv Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallConv -> m CCallConv Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallConv -> m CCallConv Source
Outputable CCallConv
Methods ppr :: CCallConv -> SDoc Source pprPrec :: Rational -> CCallConv -> SDoc Source
Binary CCallConv
Methods put_ :: BinHandle -> CCallConv -> IO () Source put :: BinHandle -> CCallConv -> IO (Bin CCallConv) Source get :: BinHandle -> IO CCallConv Source

defaultCCallConv :: CCallConv Source

ccallConvToInt :: CCallConv -> Int Source

ccallConvAttribute :: CCallConv -> SDoc Source

data Header Source

Constructors

SourceText FastString

Eq Header
Methods (==) :: Header -> Header -> Bool (/=) :: Header -> Header -> Bool
Data Header
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Header -> c Header Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Header Source toConstr :: Header -> Constr Source dataTypeOf :: Header -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c Header) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Header) Source gmapT :: (forall b. Data b => b -> b) -> Header -> Header Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Header -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Header -> r Source gmapQ :: (forall d. Data d => d -> u) -> Header -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Header -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Header -> m Header Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Header -> m Header Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Header -> m Header Source
Outputable Header
Methods ppr :: Header -> SDoc Source pprPrec :: Rational -> Header -> SDoc Source
Binary Header
Methods put_ :: BinHandle -> Header -> IO () Source put :: BinHandle -> Header -> IO (Bin Header) Source get :: BinHandle -> IO Header Source

data CType Source

A C type, used in CAPI FFI calls

AnnKeywordId : AnnOpen '{-# CTYPE', AnnHeader,AnnVal, AnnClose '#-}',

Constructors

CType SourceText (Maybe Header) (SourceText, FastString)

Instances

Eq CType
Methods (==) :: CType -> CType -> Bool (/=) :: CType -> CType -> Bool
Data CType
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType Source toConstr :: CType -> Constr Source dataTypeOf :: CType -> DataType Source dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c CType) Source dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CType) Source gmapT :: (forall b. Data b => b -> b) -> CType -> CType Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r Source gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r Source gmapQ :: (forall d. Data d => d -> u) -> CType -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> CType -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> CType -> m CType Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType Source
Outputable CType
Methods ppr :: CType -> SDoc Source pprPrec :: Rational -> CType -> SDoc Source
Binary CType
Methods put_ :: BinHandle -> CType -> IO () Source put :: BinHandle -> CType -> IO (Bin CType) Source get :: BinHandle -> IO CType Source