Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Foreign.Function

Documentation

data ForeignFunc where Source #

Constructors

FF :: (Stack 'UN -> Stack 'BX -> Args -> IO a) -> (Stack 'UN -> Stack 'BX -> r -> IO (Stack 'UN, Stack 'BX)) -> (a -> IO r) -> ForeignFunc

Instances

Instances details

Show ForeignFunc Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods showsPrec :: Int -> ForeignFunc -> ShowS # show :: ForeignFunc -> String # showList :: [ForeignFunc] -> ShowS #
Eq ForeignFunc Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods (==) :: ForeignFunc -> ForeignFunc -> Bool # (/=) :: ForeignFunc -> ForeignFunc -> Bool #
Ord ForeignFunc Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods compare :: ForeignFunc -> ForeignFunc -> Ordering # (<) :: ForeignFunc -> ForeignFunc -> Bool # (<=) :: ForeignFunc -> ForeignFunc -> Bool # (>) :: ForeignFunc -> ForeignFunc -> Bool # (>=) :: ForeignFunc -> ForeignFunc -> Bool # max :: ForeignFunc -> ForeignFunc -> ForeignFunc # min :: ForeignFunc -> ForeignFunc -> ForeignFunc #

class ForeignConvention a where Source #

Methods

readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], a) Source #

writeForeign :: Stack 'UN -> Stack 'BX -> a -> IO (Stack 'UN, Stack 'BX) Source #

Instances

Instances details

ForeignConvention ByteArray Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], ByteArray) Source # writeForeign :: Stack 'UN -> Stack 'BX -> ByteArray -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention ThreadId Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], ThreadId) Source # writeForeign :: Stack 'UN -> Stack 'BX -> ThreadId -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention SeekMode Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], SeekMode) Source # writeForeign :: Stack 'UN -> Stack 'BX -> SeekMode -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention IOException Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], IOException) Source # writeForeign :: Stack 'UN -> Stack 'BX -> IOException -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention BufferMode Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], BufferMode) Source # writeForeign :: Stack 'UN -> Stack 'BX -> BufferMode -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Handle Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Handle) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Handle -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention IOMode Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], IOMode) Source # writeForeign :: Stack 'UN -> Stack 'BX -> IOMode -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Word16 Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Word16) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Word16 -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Word32 Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Word32) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Word32 -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Word64 Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Word64) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Word64 -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Word8 Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Word8) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Word8 -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Socket Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Socket) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Socket -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention UDPSocket Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], UDPSocket) Source # writeForeign :: Stack 'UN -> Stack 'BX -> UDPSocket -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention POSIXTime Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], POSIXTime) Source # writeForeign :: Stack 'UN -> Stack 'BX -> POSIXTime -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Text Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Text) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Text -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Value Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Value) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Value -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Foreign Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Foreign) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Foreign -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Bytes Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Bytes) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Bytes -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention String Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], String) Source # writeForeign :: Stack 'UN -> Stack 'BX -> String -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention () Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], ()) Source # writeForeign :: Stack 'UN -> Stack 'BX -> () -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Bool Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Bool) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Bool -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Char Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Char) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Char -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Double Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Double) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Double -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention Int Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Int) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Int -> IO (Stack 'UN, Stack 'BX) Source #
BuiltinForeign b => ForeignConvention b Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], b) Source # writeForeign :: Stack 'UN -> Stack 'BX -> b -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (Ticket RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Ticket RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Ticket RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (MutableByteArray s) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], MutableByteArray s) Source # writeForeign :: Stack 'UN -> Stack 'BX -> MutableByteArray s -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (TVar RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], TVar RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> TVar RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (IORef RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], IORef RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> IORef RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (MVar RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], MVar RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> MVar RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (Array RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Array RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Array RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (Promise RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Promise RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Promise RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (SuperGroup Symbol) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], SuperGroup Symbol) Source # writeForeign :: Stack 'UN -> Stack 'BX -> SuperGroup Symbol -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention a => ForeignConvention (Failure a) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Failure a) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Failure a -> IO (Stack 'UN, Stack 'BX) Source #
GClosure comb ~ Elem 'BX => ForeignConvention (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], GClosure comb) Source # writeForeign :: Stack 'UN -> Stack 'BX -> GClosure comb -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention a => ForeignConvention (Maybe a) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Maybe a) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Maybe a -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention [Foreign] Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], [Foreign]) Source # writeForeign :: Stack 'UN -> Stack 'BX -> [Foreign] -> IO (Stack 'UN, Stack 'BX) Source #
GClosure comb ~ Elem 'BX => ForeignConvention [GClosure comb] Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], [GClosure comb]) Source # writeForeign :: Stack 'UN -> Stack 'BX -> [GClosure comb] -> IO (Stack 'UN, Stack 'BX) Source #
(BuiltinForeign a, BuiltinForeign b) => ForeignConvention [(a, b)] Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], [(a, b)]) Source # writeForeign :: Stack 'UN -> Stack 'BX -> [(a, b)] -> IO (Stack 'UN, Stack 'BX) Source #
BuiltinForeign b => ForeignConvention [b] Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], [b]) Source # writeForeign :: Stack 'UN -> Stack 'BX -> [b] -> IO (Stack 'UN, Stack 'BX) Source #
(ForeignConvention a, ForeignConvention b) => ForeignConvention (Either a b) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Either a b) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Either a b -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (MutableArray s RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], MutableArray s RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> MutableArray s RClosure -> IO (Stack 'UN, Stack 'BX) Source #
(ForeignConvention a, ForeignConvention b) => ForeignConvention (a, b) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], (a, b)) Source # writeForeign :: Stack 'UN -> Stack 'BX -> (a, b) -> IO (Stack 'UN, Stack 'BX) Source #
(ForeignConvention a, ForeignConvention b, ForeignConvention c) => ForeignConvention (a, b, c) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], (a, b, c)) Source # writeForeign :: Stack 'UN -> Stack 'BX -> (a, b, c) -> IO (Stack 'UN, Stack 'BX) Source #
(ForeignConvention a, ForeignConvention b, ForeignConvention c, ForeignConvention d) => ForeignConvention (a, b, c, d) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], (a, b, c, d)) Source # writeForeign :: Stack 'UN -> Stack 'BX -> (a, b, c, d) -> IO (Stack 'UN, Stack 'BX) Source #
(ForeignConvention a, ForeignConvention b, ForeignConvention c, ForeignConvention d, ForeignConvention e) => ForeignConvention (a, b, c, d, e) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], (a, b, c, d, e)) Source # writeForeign :: Stack 'UN -> Stack 'BX -> (a, b, c, d, e) -> IO (Stack 'UN, Stack 'BX) Source #

mkForeign :: (ForeignConvention a, ForeignConvention r) => (a -> IO r) -> ForeignFunc Source #