TcForeign

tcForeignImports

tcForeignExports

isForeignImport

isForeignExport

tcFImport

tcFExport

tcForeignImports'

tcCheckFIType

checkCTarget

checkForeignArgs

checkForeignRes

normaliseFfiType

nonIOok

mustBeIO

checkSafe

noCheckSafe

tcForeignExports'

tcCheckFEType