Safe Haskell	None
Language	GHC2024

GHC.Types.ForeignCall

Contents

Foreign function interface declarations
- Data-type
- Record synonym
Foreign call
- Queries
- CCallSpec
Foreign export types
- Data-type
- Specification
Foreign import types
Foreign binding type
- Data-type
General sub-types
Orphan instances

Synopsis

data ForeignDecl pass
- = ForeignImport {
  - fd_i_ext :: XForeignImport pass
  - fd_name :: LIdP pass
  - fd_sig_ty :: LHsSigType pass
  - fd_fi :: ForeignImport pass
  }
- | ForeignExport {
  - fd_e_ext :: XForeignExport pass
  - fd_name :: LIdP pass
  - fd_sig_ty :: LHsSigType pass
  - fd_fe :: ForeignExport pass
  }
- | XForeignDecl !(XXForeignDecl pass)
type LForeignDecl pass = XRec pass (ForeignDecl pass)
newtype ForeignCall = CCall CCallSpec
isSafeForeignCall :: ForeignCall -> Bool
data CCallSpec = CCallSpec (CCallTarget GhcTc) CCallConv Safety
data ForeignExport pass
- = CExport (XCExport pass) (XRec pass CExportSpec)
- | XForeignExport !(XXForeignExport pass)
data CExportSpec = CExportStatic CLabelString CCallConv
data ForeignImport pass
- = CImport (XCImport pass) (XRec pass CCallConv) (XRec pass Safety) (Maybe (Header pass)) (CImportSpec pass)
- | XForeignImport !(XXForeignImport pass)
data CCallTarget pass
- = StaticTarget (XStaticTarget pass) CLabelString ForeignKind
- | DynamicTarget (XDynamicTarget pass)
- | XCCallTarget !(XXCCallTarget pass)
data StaticTargetGhc = StaticTargetGhc {
- staticTargetLabel :: SourceText
- staticTargetUnit :: CCallStaticTargetUnit
}
data CCallStaticTargetUnit
- = TargetIsInThisUnit
- | TargetIsInThat Unit
isDynamicTarget :: CCallTarget p -> Bool
data ForeignKind
- = ForeignValue
- | ForeignFunction
data Safety
- = PlaySafe
- | PlayInterruptible
- | PlayRisky
playSafe :: Safety -> Bool
playInterruptible :: Safety -> Bool
data CImportSpec pass
- = CLabel CLabelString
- | CFunction (CCallTarget pass)
- | CWrapper
data CType pass
- = CType (XCType pass) (Maybe (Header pass)) FastString
- | XCType !(XXCType pass)
defaultCType :: String -> CType (GhcPass p)
mkCType :: SourceText -> SourceText -> Maybe (Header (GhcPass p)) -> FastString -> CType (GhcPass p)
typeCheckCType :: CType GhcRn -> CType GhcTc
data CTypeGhc = CTypeGhc {
- cTypeSourceText :: SourceText
- cTypeOtherText :: SourceText
}
data CCallConv
- = CCallConv
- | CApiConv
- | StdCallConv
- | PrimCallConv
- | JavaScriptCallConv
defaultCCallConv :: CCallConv
ccallConvAttribute :: CCallConv -> SDoc
type CLabelString = FastString
isCLabelString :: CLabelString -> Bool
pprCLabelString :: CLabelString -> SDoc
data Header pass
- = Header (XHeader pass) FastString
- | XHeader !(XXHeader pass)
renameHeader :: Header GhcPs -> Header GhcRn
typeCheckHeader :: Header GhcRn -> Header GhcTc

Foreign function interface declarations

Data-type

data ForeignDecl pass Source #

Foreign Declaration

Constructors

ForeignImport
Fields fd_i_ext :: XForeignImport pass fd_name :: LIdP pass fd_sig_ty :: LHsSigType pass fd_fi :: ForeignImport pass
ForeignExport
Fields fd_e_ext :: XForeignExport pass fd_name :: LIdP pass fd_sig_ty :: LHsSigType pass fd_fe :: ForeignExport pass
XForeignDecl !(XXForeignDecl pass)

Instances

Instances details

OutputableBndrId p => Outputable (ForeignDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignDecl (GhcPass p) -> SDoc Source #
Data (ForeignDecl GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignDecl GhcPs -> c (ForeignDecl GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignDecl GhcPs) Source # toConstr :: ForeignDecl GhcPs -> Constr Source # dataTypeOf :: ForeignDecl GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignDecl GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignDecl GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignDecl GhcPs -> ForeignDecl GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignDecl GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignDecl GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignDecl GhcPs -> m (ForeignDecl GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcPs -> m (ForeignDecl GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcPs -> m (ForeignDecl GhcPs) Source #
Data (ForeignDecl GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignDecl GhcRn -> c (ForeignDecl GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignDecl GhcRn) Source # toConstr :: ForeignDecl GhcRn -> Constr Source # dataTypeOf :: ForeignDecl GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignDecl GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignDecl GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignDecl GhcRn -> ForeignDecl GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignDecl GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignDecl GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignDecl GhcRn -> m (ForeignDecl GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcRn -> m (ForeignDecl GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcRn -> m (ForeignDecl GhcRn) Source #
Data (ForeignDecl GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignDecl GhcTc -> c (ForeignDecl GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignDecl GhcTc) Source # toConstr :: ForeignDecl GhcTc -> Constr Source # dataTypeOf :: ForeignDecl GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignDecl GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignDecl GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignDecl GhcTc -> ForeignDecl GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignDecl GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignDecl GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignDecl GhcTc -> m (ForeignDecl GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcTc -> m (ForeignDecl GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl GhcTc -> m (ForeignDecl GhcTc) Source #
type Anno (ForeignDecl (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (ForeignDecl (GhcPass p)) = SrcSpanAnnA

Record synonym

type LForeignDecl pass = XRec pass (ForeignDecl pass) Source #

Located Foreign Declaration

Foreign call

newtype ForeignCall Source #

Constructors

CCall CCallSpec

Instances

Instances details

NFData ForeignCall Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: ForeignCall -> () Source #
Binary ForeignCall Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> ForeignCall -> IO () Source # put :: WriteBinHandle -> ForeignCall -> IO (Bin ForeignCall) Source # get :: ReadBinHandle -> IO ForeignCall Source #
Outputable ForeignCall Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: ForeignCall -> SDoc Source #
Eq ForeignCall Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: ForeignCall -> ForeignCall -> Bool Source # (/=) :: ForeignCall -> ForeignCall -> Bool Source #

Queries

isSafeForeignCall :: ForeignCall -> Bool Source #

CCallSpec

data CCallSpec Source #

Constructors

CCallSpec (CCallTarget GhcTc) CCallConv Safety

Instances

Instances details

NFData CCallSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: CCallSpec -> () Source #
Binary CCallSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CCallSpec -> IO () Source # put :: WriteBinHandle -> CCallSpec -> IO (Bin CCallSpec) Source # get :: ReadBinHandle -> IO CCallSpec Source #
Outputable CCallSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallSpec -> SDoc Source #
Eq CCallSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: CCallSpec -> CCallSpec -> Bool Source # (/=) :: CCallSpec -> CCallSpec -> Bool Source #

Foreign export types

Data-type

data ForeignExport pass Source #

Specification of an externally exported entity in dependence on the calling convention

Constructors

CExport (XCExport pass) (XRec pass CExportSpec)	contains the calling convention
XForeignExport !(XXForeignExport pass)

Instances

Instances details

OutputableBndrId p => Outputable (ForeignExport (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignExport (GhcPass p) -> SDoc Source #
Data (ForeignExport GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignExport GhcPs -> c (ForeignExport GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignExport GhcPs) Source # toConstr :: ForeignExport GhcPs -> Constr Source # dataTypeOf :: ForeignExport GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignExport GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignExport GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignExport GhcPs -> ForeignExport GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignExport GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignExport GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignExport GhcPs -> m (ForeignExport GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcPs -> m (ForeignExport GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcPs -> m (ForeignExport GhcPs) Source #
Data (ForeignExport GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignExport GhcRn -> c (ForeignExport GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignExport GhcRn) Source # toConstr :: ForeignExport GhcRn -> Constr Source # dataTypeOf :: ForeignExport GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignExport GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignExport GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignExport GhcRn -> ForeignExport GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignExport GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignExport GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignExport GhcRn -> m (ForeignExport GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcRn -> m (ForeignExport GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcRn -> m (ForeignExport GhcRn) Source #
Data (ForeignExport GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignExport GhcTc -> c (ForeignExport GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignExport GhcTc) Source # toConstr :: ForeignExport GhcTc -> Constr Source # dataTypeOf :: ForeignExport GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignExport GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignExport GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignExport GhcTc -> ForeignExport GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignExport GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignExport GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignExport GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignExport GhcTc -> m (ForeignExport GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcTc -> m (ForeignExport GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignExport GhcTc -> m (ForeignExport GhcTc) Source #

Specification

data CExportSpec Source #

Constructors

CExportStatic CLabelString CCallConv

foreign export ccall foo :: ty

Instances

Instances details

Binary CExportSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CExportSpec -> IO () Source # put :: WriteBinHandle -> CExportSpec -> IO (Bin CExportSpec) Source # get :: ReadBinHandle -> IO CExportSpec Source #
Outputable CExportSpec Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CExportSpec -> SDoc Source #
Data CExportSpec Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign 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 t => (forall d. Data d => c (t d)) -> Maybe (c CExportSpec) Source # dataCast2 :: Typeable 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 :: forall r r'. (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 #
type Anno CExportSpec Source #
Instance details Defined in GHC.Hs.Decls type Anno CExportSpec = EpaLocation

Foreign import types

Data-type

data ForeignImport pass Source #

Specification Of an imported external entity in dependence on the calling convention

Constructors

CImport (XCImport pass) (XRec pass CCallConv) (XRec pass Safety) (Maybe (Header pass)) (CImportSpec pass)

Import of a C entity

the two strings specifying a header file or library may be empty, which indicates the absence of a header or object specification (both are not used in the case of CWrapper and when CFunction has a dynamic target)
the calling convention is irrelevant for code generation in the case of CLabel, but is needed for pretty printing
Safety is irrelevant for CLabel and CWrapper

XForeignImport !(XXForeignImport pass)

Instances

Instances details

(IsPass p, OutputableBndrId p) => Outputable (ForeignImport (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls Methods ppr :: ForeignImport (GhcPass p) -> SDoc Source #
Data (ForeignImport GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignImport GhcPs -> c (ForeignImport GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignImport GhcPs) Source # toConstr :: ForeignImport GhcPs -> Constr Source # dataTypeOf :: ForeignImport GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignImport GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignImport GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignImport GhcPs -> ForeignImport GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignImport GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignImport GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignImport GhcPs -> m (ForeignImport GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcPs -> m (ForeignImport GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcPs -> m (ForeignImport GhcPs) Source #
Data (ForeignImport GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignImport GhcRn -> c (ForeignImport GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignImport GhcRn) Source # toConstr :: ForeignImport GhcRn -> Constr Source # dataTypeOf :: ForeignImport GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignImport GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignImport GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignImport GhcRn -> ForeignImport GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignImport GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignImport GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignImport GhcRn -> m (ForeignImport GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcRn -> m (ForeignImport GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcRn -> m (ForeignImport GhcRn) Source #
Data (ForeignImport GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignImport GhcTc -> c (ForeignImport GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignImport GhcTc) Source # toConstr :: ForeignImport GhcTc -> Constr Source # dataTypeOf :: ForeignImport GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignImport GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignImport GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignImport GhcTc -> ForeignImport GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignImport GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignImport GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignImport GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignImport GhcTc -> m (ForeignImport GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcTc -> m (ForeignImport GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignImport GhcTc -> m (ForeignImport GhcTc) Source #

Call target

data CCallTarget pass Source #

How to call a particular function in C-land.

Constructors

StaticTarget (XStaticTarget pass) CLabelString ForeignKind
DynamicTarget (XDynamicTarget pass)	The first argument of the import is the name of a function pointer (an Addr#). Used when importing a label as "foreign import ccall "dynamic" ..."
XCCallTarget !(XXCCallTarget pass)

Instances

Instances details

IsPass p => NFData (CCallTarget (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: CCallTarget (GhcPass p) -> () Source #
IsPass p => Binary (CCallTarget (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CCallTarget (GhcPass p) -> IO () Source # put :: WriteBinHandle -> CCallTarget (GhcPass p) -> IO (Bin (CCallTarget (GhcPass p))) Source # get :: ReadBinHandle -> IO (CCallTarget (GhcPass p)) Source #
IsPass p => Eq (CCallTarget (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: CCallTarget (GhcPass p) -> CCallTarget (GhcPass p) -> Bool Source # (/=) :: CCallTarget (GhcPass p) -> CCallTarget (GhcPass p) -> Bool Source #
Data (CCallTarget GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallTarget GhcPs -> c (CCallTarget GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CCallTarget GhcPs) Source # toConstr :: CCallTarget GhcPs -> Constr Source # dataTypeOf :: CCallTarget GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CCallTarget GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CCallTarget GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> CCallTarget GhcPs -> CCallTarget GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CCallTarget GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallTarget GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallTarget GhcPs -> m (CCallTarget GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcPs -> m (CCallTarget GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcPs -> m (CCallTarget GhcPs) Source #
Data (CCallTarget GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallTarget GhcRn -> c (CCallTarget GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CCallTarget GhcRn) Source # toConstr :: CCallTarget GhcRn -> Constr Source # dataTypeOf :: CCallTarget GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CCallTarget GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CCallTarget GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> CCallTarget GhcRn -> CCallTarget GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CCallTarget GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallTarget GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallTarget GhcRn -> m (CCallTarget GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcRn -> m (CCallTarget GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcRn -> m (CCallTarget GhcRn) Source #
Data (CCallTarget GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallTarget GhcTc -> c (CCallTarget GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CCallTarget GhcTc) Source # toConstr :: CCallTarget GhcTc -> Constr Source # dataTypeOf :: CCallTarget GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CCallTarget GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CCallTarget GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> CCallTarget GhcTc -> CCallTarget GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallTarget GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CCallTarget GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallTarget GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallTarget GhcTc -> m (CCallTarget GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcTc -> m (CCallTarget GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallTarget GhcTc -> m (CCallTarget GhcTc) Source #

GHC extension point

data StaticTargetGhc Source #

Constructors

StaticTargetGhc

Fields

staticTargetLabel :: SourceText
staticTargetUnit :: CCallStaticTargetUnit
What package the function is in. If TargetIsInThisUnit, then it's taken to be in the current package Note: This information is only used for PrimCalls on Windows. See CLabel.labelDynamic and CoreToStg.coreToStgApp for the difference in representation between PrimCalls and ForeignCalls. If the CCallTarget is representing a regular ForeignCall then it's safe to set this to Nothing.

Instances

Instances details

NFData StaticTargetGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: StaticTargetGhc -> () Source #
Binary StaticTargetGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> StaticTargetGhc -> IO () Source # put :: WriteBinHandle -> StaticTargetGhc -> IO (Bin StaticTargetGhc) Source # get :: ReadBinHandle -> IO StaticTargetGhc Source #
Eq StaticTargetGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: StaticTargetGhc -> StaticTargetGhc -> Bool Source # (/=) :: StaticTargetGhc -> StaticTargetGhc -> Bool Source #
Data StaticTargetGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StaticTargetGhc -> c StaticTargetGhc Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StaticTargetGhc Source # toConstr :: StaticTargetGhc -> Constr Source # dataTypeOf :: StaticTargetGhc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StaticTargetGhc) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StaticTargetGhc) Source # gmapT :: (forall b. Data b => b -> b) -> StaticTargetGhc -> StaticTargetGhc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StaticTargetGhc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StaticTargetGhc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> StaticTargetGhc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> StaticTargetGhc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> StaticTargetGhc -> m StaticTargetGhc Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StaticTargetGhc -> m StaticTargetGhc Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StaticTargetGhc -> m StaticTargetGhc Source #

data CCallStaticTargetUnit Source #

Which compilation Unit is the static target in, either it is in this currently compiling compilation Unit, or it is in that other, compilation Unit.

Constructors

TargetIsInThisUnit	In this current `Unit`.
TargetIsInThat Unit	In that other `Unit`.

Instances

Instances details

NFData CCallStaticTargetUnit Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: CCallStaticTargetUnit -> () Source #
Binary CCallStaticTargetUnit Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CCallStaticTargetUnit -> IO () Source # put :: WriteBinHandle -> CCallStaticTargetUnit -> IO (Bin CCallStaticTargetUnit) Source # get :: ReadBinHandle -> IO CCallStaticTargetUnit Source #
Eq CCallStaticTargetUnit Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: CCallStaticTargetUnit -> CCallStaticTargetUnit -> Bool Source # (/=) :: CCallStaticTargetUnit -> CCallStaticTargetUnit -> Bool Source #
Data CCallStaticTargetUnit Source #
Instance details Defined in GHC.Types.ForeignCall Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CCallStaticTargetUnit -> c CCallStaticTargetUnit Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CCallStaticTargetUnit Source # toConstr :: CCallStaticTargetUnit -> Constr Source # dataTypeOf :: CCallStaticTargetUnit -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CCallStaticTargetUnit) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CCallStaticTargetUnit) Source # gmapT :: (forall b. Data b => b -> b) -> CCallStaticTargetUnit -> CCallStaticTargetUnit Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CCallStaticTargetUnit -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CCallStaticTargetUnit -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CCallStaticTargetUnit -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CCallStaticTargetUnit -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CCallStaticTargetUnit -> m CCallStaticTargetUnit Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallStaticTargetUnit -> m CCallStaticTargetUnit Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CCallStaticTargetUnit -> m CCallStaticTargetUnit Source #

Queries

isDynamicTarget :: CCallTarget p -> Bool Source #

Foreign target kind

data ForeignKind Source #

Constructors

ForeignValue	Binds to a value, a zero-arity function.
ForeignFunction	Binds to a function with arity of at least one.

Instances

Instances details

NFData ForeignKind Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods rnf :: ForeignKind -> () Source #
Binary ForeignKind Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> ForeignKind -> IO () Source # put :: WriteBinHandle -> ForeignKind -> IO (Bin ForeignKind) Source # get :: ReadBinHandle -> IO ForeignKind Source #
Eq ForeignKind Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods (==) :: ForeignKind -> ForeignKind -> Bool Source # (/=) :: ForeignKind -> ForeignKind -> Bool Source #
Data ForeignKind Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignKind -> c ForeignKind Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignKind Source # toConstr :: ForeignKind -> Constr Source # dataTypeOf :: ForeignKind -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForeignKind) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignKind) Source # gmapT :: (forall b. Data b => b -> b) -> ForeignKind -> ForeignKind Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignKind -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignKind -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ForeignKind -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignKind -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignKind -> m ForeignKind Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignKind -> m ForeignKind Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignKind -> m ForeignKind Source #
Enum ForeignKind Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods succ :: ForeignKind -> ForeignKind Source # pred :: ForeignKind -> ForeignKind Source # toEnum :: Int -> ForeignKind Source # fromEnum :: ForeignKind -> Int Source # enumFrom :: ForeignKind -> [ForeignKind] Source # enumFromThen :: ForeignKind -> ForeignKind -> [ForeignKind] Source # enumFromTo :: ForeignKind -> ForeignKind -> [ForeignKind] Source # enumFromThenTo :: ForeignKind -> ForeignKind -> ForeignKind -> [ForeignKind] Source #
Show ForeignKind Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods showsPrec :: Int -> ForeignKind -> ShowS Source # show :: ForeignKind -> String Source # showList :: [ForeignKind] -> ShowS Source #

Safety

data Safety Source #

Constructors

PlaySafe

Might invoke Haskell GC, or do a call back, or switch threads, etc. So make sure things are tidy before the call. Additionally, in the threaded RTS we arrange for the external call to be executed by a separate OS thread, i.e., _concurrently_ to the execution of other Haskell threads.

PlayInterruptible

Like PlaySafe, but additionally the worker thread running this foreign call may be unceremoniously killed, so it must be scheduled on an unbound thread.

PlayRisky

None of the above can happen; the call will return without interacting with the runtime system at all. Specifically:

No GC
No call backs
No blocking
No precise exceptions

Instances

Instances details

NFData Safety Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods rnf :: Safety -> () Source #
Binary Safety Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> Safety -> IO () Source # put :: WriteBinHandle -> Safety -> IO (Bin Safety) Source # get :: ReadBinHandle -> IO Safety Source #
Outputable Safety Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Safety -> SDoc Source #
Eq Safety Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods (==) :: Safety -> Safety -> Bool Source # (/=) :: Safety -> Safety -> Bool Source #
Data Safety Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign 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 t => (forall d. Data d => c (t d)) -> Maybe (c Safety) Source # dataCast2 :: Typeable 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 :: forall r r'. (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 #
Enum Safety Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods succ :: Safety -> Safety Source # pred :: Safety -> Safety Source # toEnum :: Int -> Safety Source # fromEnum :: Safety -> Int Source # enumFrom :: Safety -> [Safety] Source # enumFromThen :: Safety -> Safety -> [Safety] Source # enumFromTo :: Safety -> Safety -> [Safety] Source # enumFromThenTo :: Safety -> Safety -> Safety -> [Safety] Source #
Show Safety Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods showsPrec :: Int -> Safety -> ShowS Source # show :: Safety -> String Source # showList :: [Safety] -> ShowS Source #
type Anno Safety Source #
Instance details Defined in GHC.Hs.Decls type Anno Safety = EpaLocation

Queries

playSafe :: Safety -> Bool Source #

playInterruptible :: Safety -> Bool Source #

Specification

data CImportSpec pass Source #

Details of an external C entity

Constructors

CLabel CLabelString
CFunction (CCallTarget pass)
CWrapper

Instances

Instances details

Data (CImportSpec GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CImportSpec GhcPs -> c (CImportSpec GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CImportSpec GhcPs) Source # toConstr :: CImportSpec GhcPs -> Constr Source # dataTypeOf :: CImportSpec GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CImportSpec GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CImportSpec GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> CImportSpec GhcPs -> CImportSpec GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CImportSpec GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CImportSpec GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CImportSpec GhcPs -> m (CImportSpec GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcPs -> m (CImportSpec GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcPs -> m (CImportSpec GhcPs) Source #
Data (CImportSpec GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CImportSpec GhcRn -> c (CImportSpec GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CImportSpec GhcRn) Source # toConstr :: CImportSpec GhcRn -> Constr Source # dataTypeOf :: CImportSpec GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CImportSpec GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CImportSpec GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> CImportSpec GhcRn -> CImportSpec GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CImportSpec GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CImportSpec GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CImportSpec GhcRn -> m (CImportSpec GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcRn -> m (CImportSpec GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcRn -> m (CImportSpec GhcRn) Source #
Data (CImportSpec GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CImportSpec GhcTc -> c (CImportSpec GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CImportSpec GhcTc) Source # toConstr :: CImportSpec GhcTc -> Constr Source # dataTypeOf :: CImportSpec GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CImportSpec GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CImportSpec GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> CImportSpec GhcTc -> CImportSpec GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CImportSpec GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CImportSpec GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CImportSpec GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CImportSpec GhcTc -> m (CImportSpec GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcTc -> m (CImportSpec GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CImportSpec GhcTc -> m (CImportSpec GhcTc) Source #

Foreign binding type

Data-type

data CType pass Source #

A C type, used in CAPI FFI calls

Constructors

CType (XCType pass) (Maybe (Header pass)) FastString
XCType !(XXCType pass)

Instances

Instances details

NFData (CType (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: CType (GhcPass p) -> () Source #
Binary (CType (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CType (GhcPass p) -> IO () Source # put :: WriteBinHandle -> CType (GhcPass p) -> IO (Bin (CType (GhcPass p))) Source # get :: ReadBinHandle -> IO (CType (GhcPass p)) Source #
Outputable (CType (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CType (GhcPass p) -> SDoc Source #
Data (CType GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType GhcPs -> c (CType GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CType GhcPs) Source # toConstr :: CType GhcPs -> Constr Source # dataTypeOf :: CType GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CType GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CType GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> CType GhcPs -> CType GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CType GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CType GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CType GhcPs -> m (CType GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcPs -> m (CType GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcPs -> m (CType GhcPs) Source #
Data (CType GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType GhcRn -> c (CType GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CType GhcRn) Source # toConstr :: CType GhcRn -> Constr Source # dataTypeOf :: CType GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CType GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CType GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> CType GhcRn -> CType GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CType GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CType GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CType GhcRn -> m (CType GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcRn -> m (CType GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcRn -> m (CType GhcRn) Source #
Data (CType GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType GhcTc -> c (CType GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CType GhcTc) Source # toConstr :: CType GhcTc -> Constr Source # dataTypeOf :: CType GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CType GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CType GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> CType GhcTc -> CType GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CType GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CType GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CType GhcTc -> m (CType GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcTc -> m (CType GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CType GhcTc -> m (CType GhcTc) Source #
type Anno (CType (GhcPass p)) Source #
Instance details Defined in GHC.Hs.Decls type Anno (CType (GhcPass p)) = SrcSpanAnnP

CTypeGhc
Fields cTypeSourceText :: SourceText cTypeOtherText :: SourceText

Instances

Instances details

NFData CTypeGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: CTypeGhc -> () Source #
Binary CTypeGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CTypeGhc -> IO () Source # put :: WriteBinHandle -> CTypeGhc -> IO (Bin CTypeGhc) Source # get :: ReadBinHandle -> IO CTypeGhc Source #
Eq CTypeGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: CTypeGhc -> CTypeGhc -> Bool Source # (/=) :: CTypeGhc -> CTypeGhc -> Bool Source #
Data CTypeGhc Source #
Instance details Defined in GHC.Types.ForeignCall Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CTypeGhc -> c CTypeGhc Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CTypeGhc Source # toConstr :: CTypeGhc -> Constr Source # dataTypeOf :: CTypeGhc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CTypeGhc) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CTypeGhc) Source # gmapT :: (forall b. Data b => b -> b) -> CTypeGhc -> CTypeGhc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CTypeGhc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CTypeGhc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> CTypeGhc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> CTypeGhc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CTypeGhc -> m CTypeGhc Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CTypeGhc -> m CTypeGhc Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CTypeGhc -> m CTypeGhc Source #

General sub-types

CCallConv

data CCallConv Source #

Constructors

CCallConv
CApiConv
StdCallConv
PrimCallConv
JavaScriptCallConv

Instances

Instances details

NFData CCallConv Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods rnf :: CCallConv -> () Source #
Binary CCallConv Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> CCallConv -> IO () Source # put :: WriteBinHandle -> CCallConv -> IO (Bin CCallConv) Source # get :: ReadBinHandle -> IO CCallConv Source #
Outputable CCallConv Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: CCallConv -> SDoc Source #
Eq CCallConv Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods (==) :: CCallConv -> CCallConv -> Bool Source # (/=) :: CCallConv -> CCallConv -> Bool Source #
Data CCallConv Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign 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 t => (forall d. Data d => c (t d)) -> Maybe (c CCallConv) Source # dataCast2 :: Typeable 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 :: forall r r'. (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 #
Enum CCallConv Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods succ :: CCallConv -> CCallConv Source # pred :: CCallConv -> CCallConv Source # toEnum :: Int -> CCallConv Source # fromEnum :: CCallConv -> Int Source # enumFrom :: CCallConv -> [CCallConv] Source # enumFromThen :: CCallConv -> CCallConv -> [CCallConv] Source # enumFromTo :: CCallConv -> CCallConv -> [CCallConv] Source # enumFromThenTo :: CCallConv -> CCallConv -> CCallConv -> [CCallConv] Source #
Show CCallConv Source #
Instance details Defined in Language.Haskell.Syntax.Decls.Foreign Methods showsPrec :: Int -> CCallConv -> ShowS Source # show :: CCallConv -> String Source # showList :: [CCallConv] -> ShowS Source #
type Anno CCallConv Source #
Instance details Defined in GHC.Hs.Decls type Anno CCallConv = EpaLocation

Header (XHeader pass) FastString
XHeader !(XXHeader pass)

Instances

Instances details

NFData (Header (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods rnf :: Header (GhcPass p) -> () Source #
Binary (Header (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods put_ :: WriteBinHandle -> Header (GhcPass p) -> IO () Source # put :: WriteBinHandle -> Header (GhcPass p) -> IO (Bin (Header (GhcPass p))) Source # get :: ReadBinHandle -> IO (Header (GhcPass p)) Source #
Outputable (Header (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods ppr :: Header (GhcPass p) -> SDoc Source #
Eq (Header (GhcPass p)) Source #
Instance details Defined in GHC.Types.ForeignCall Methods (==) :: Header (GhcPass p) -> Header (GhcPass p) -> Bool Source # (/=) :: Header (GhcPass p) -> Header (GhcPass p) -> Bool Source #
Data (Header GhcPs) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Header GhcPs -> c (Header GhcPs) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Header GhcPs) Source # toConstr :: Header GhcPs -> Constr Source # dataTypeOf :: Header GhcPs -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Header GhcPs)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Header GhcPs)) Source # gmapT :: (forall b. Data b => b -> b) -> Header GhcPs -> Header GhcPs Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcPs -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcPs -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Header GhcPs -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Header GhcPs -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Header GhcPs -> m (Header GhcPs) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcPs -> m (Header GhcPs) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcPs -> m (Header GhcPs) Source #
Data (Header GhcRn) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Header GhcRn -> c (Header GhcRn) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Header GhcRn) Source # toConstr :: Header GhcRn -> Constr Source # dataTypeOf :: Header GhcRn -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Header GhcRn)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Header GhcRn)) Source # gmapT :: (forall b. Data b => b -> b) -> Header GhcRn -> Header GhcRn Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcRn -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcRn -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Header GhcRn -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Header GhcRn -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Header GhcRn -> m (Header GhcRn) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcRn -> m (Header GhcRn) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcRn -> m (Header GhcRn) Source #
Data (Header GhcTc) Source #
Instance details Defined in GHC.Hs.Instances Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Header GhcTc -> c (Header GhcTc) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Header GhcTc) Source # toConstr :: Header GhcTc -> Constr Source # dataTypeOf :: Header GhcTc -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Header GhcTc)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Header GhcTc)) Source # gmapT :: (forall b. Data b => b -> b) -> Header GhcTc -> Header GhcTc Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcTc -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Header GhcTc -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Header GhcTc -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Header GhcTc -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Header GhcTc -> m (Header GhcTc) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcTc -> m (Header GhcTc) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Header GhcTc -> m (Header GhcTc) Source #

Conversion

renameHeader :: Header GhcPs -> Header GhcRn Source #

typeCheckHeader :: Header GhcRn -> Header GhcTc Source #

Orphan instances

Binary CCallConv Source #
Instance details Methods put_ :: WriteBinHandle -> CCallConv -> IO () Source # put :: WriteBinHandle -> CCallConv -> IO (Bin CCallConv) Source # get :: ReadBinHandle -> IO CCallConv Source #
Binary CExportSpec Source #
Instance details Methods put_ :: WriteBinHandle -> CExportSpec -> IO () Source # put :: WriteBinHandle -> CExportSpec -> IO (Bin CExportSpec) Source # get :: ReadBinHandle -> IO CExportSpec Source #
Binary ForeignKind Source #
Instance details Methods put_ :: WriteBinHandle -> ForeignKind -> IO () Source # put :: WriteBinHandle -> ForeignKind -> IO (Bin ForeignKind) Source # get :: ReadBinHandle -> IO ForeignKind Source #
Binary Safety Source #
Instance details Methods put_ :: WriteBinHandle -> Safety -> IO () Source # put :: WriteBinHandle -> Safety -> IO (Bin Safety) Source # get :: ReadBinHandle -> IO Safety Source #
Outputable CCallConv Source #
Instance details Methods ppr :: CCallConv -> SDoc Source #
Outputable CExportSpec Source #
Instance details Methods ppr :: CExportSpec -> SDoc Source #
Outputable Safety Source #
Instance details Methods ppr :: Safety -> SDoc Source #
IsPass p => NFData (CCallTarget (GhcPass p)) Source #
Instance details Methods rnf :: CCallTarget (GhcPass p) -> () Source #
NFData (CType (GhcPass p)) Source #
Instance details Methods rnf :: CType (GhcPass p) -> () Source #
NFData (Header (GhcPass p)) Source #
Instance details Methods rnf :: Header (GhcPass p) -> () Source #
IsPass p => Binary (CCallTarget (GhcPass p)) Source #
Instance details Methods put_ :: WriteBinHandle -> CCallTarget (GhcPass p) -> IO () Source # put :: WriteBinHandle -> CCallTarget (GhcPass p) -> IO (Bin (CCallTarget (GhcPass p))) Source # get :: ReadBinHandle -> IO (CCallTarget (GhcPass p)) Source #
Binary (CType (GhcPass p)) Source #
Instance details Methods put_ :: WriteBinHandle -> CType (GhcPass p) -> IO () Source # put :: WriteBinHandle -> CType (GhcPass p) -> IO (Bin (CType (GhcPass p))) Source # get :: ReadBinHandle -> IO (CType (GhcPass p)) Source #
Binary (Header (GhcPass p)) Source #
Instance details Methods put_ :: WriteBinHandle -> Header (GhcPass p) -> IO () Source # put :: WriteBinHandle -> Header (GhcPass p) -> IO (Bin (Header (GhcPass p))) Source # get :: ReadBinHandle -> IO (Header (GhcPass p)) Source #
Outputable (CType (GhcPass p)) Source #
Instance details Methods ppr :: CType (GhcPass p) -> SDoc Source #
Outputable (Header (GhcPass p)) Source #
Instance details Methods ppr :: Header (GhcPass p) -> SDoc Source #
IsPass p => Eq (CCallTarget (GhcPass p)) Source #
Instance details Methods (==) :: CCallTarget (GhcPass p) -> CCallTarget (GhcPass p) -> Bool Source # (/=) :: CCallTarget (GhcPass p) -> CCallTarget (GhcPass p) -> Bool Source #
Eq (Header (GhcPass p)) Source #
Instance details Methods (==) :: Header (GhcPass p) -> Header (GhcPass p) -> Bool Source # (/=) :: Header (GhcPass p) -> Header (GhcPass p) -> Bool Source #

Foreign function interface declarations

Data-type

Instances

Record synonym

Foreign call

Instances

Queries

CCallSpec

Instances

Foreign export types

Data-type

Instances

Specification

Instances

Foreign import types

Data-type

Instances

Call target

Instances

GHC extension point

Instances

Instances

Queries

Foreign target kind

Instances

Safety

Instances

Queries

Specification

Instances

Foreign binding type

Data-type

Instances

Construction

Conversion

GHC extension point

Instances

General sub-types

CCallConv

Instances

Default construction

Pretty-printing

CLabelString

Queries

Pretty-printing

Header

Instances

Conversion

Orphan instances