unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Runtime.Foreign.Function

Documentation

class ForeignConvention a where Source #

Minimal complete definition

decodeVal, encodeVal

Methods

readAtIndex :: Stack -> Int -> IO a Source #

readsAt :: Stack -> Args -> IO a Source #

decodeVal :: Val -> IO a Source #

writeBack :: Stack -> a -> IO () Source #

encodeVal :: a -> Val Source #

Instances

Instances details
ForeignConvention SeekMode Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO SeekMode Source #

readsAt :: Stack -> Args -> IO SeekMode Source #

decodeVal :: Val -> IO SeekMode Source #

writeBack :: Stack -> SeekMode -> IO () Source #

encodeVal :: SeekMode -> Val Source #

ForeignConvention BufferMode Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO BufferMode Source #

readsAt :: Stack -> Args -> IO BufferMode Source #

decodeVal :: Val -> IO BufferMode Source #

writeBack :: Stack -> BufferMode -> IO () Source #

encodeVal :: BufferMode -> Val Source #

ForeignConvention IOMode Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO IOMode Source #

readsAt :: Stack -> Args -> IO IOMode Source #

decodeVal :: Val -> IO IOMode Source #

writeBack :: Stack -> IOMode -> IO () Source #

encodeVal :: IOMode -> Val Source #

ForeignConvention Word16 Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Word16 Source #

readsAt :: Stack -> Args -> IO Word16 Source #

decodeVal :: Val -> IO Word16 Source #

writeBack :: Stack -> Word16 -> IO () Source #

encodeVal :: Word16 -> Val Source #

ForeignConvention Word32 Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Word32 Source #

readsAt :: Stack -> Args -> IO Word32 Source #

decodeVal :: Val -> IO Word32 Source #

writeBack :: Stack -> Word32 -> IO () Source #

encodeVal :: Word32 -> Val Source #

ForeignConvention Word64 Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Word64 Source #

readsAt :: Stack -> Args -> IO Word64 Source #

decodeVal :: Val -> IO Word64 Source #

writeBack :: Stack -> Word64 -> IO () Source #

encodeVal :: Word64 -> Val Source #

ForeignConvention Word8 Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Word8 Source #

readsAt :: Stack -> Args -> IO Word8 Source #

decodeVal :: Val -> IO Word8 Source #

writeBack :: Stack -> Word8 -> IO () Source #

encodeVal :: Word8 -> Val Source #

ForeignConvention POSIXTime Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO POSIXTime Source #

readsAt :: Stack -> Args -> IO POSIXTime Source #

decodeVal :: Val -> IO POSIXTime Source #

writeBack :: Stack -> POSIXTime -> IO () Source #

encodeVal :: POSIXTime -> Val Source #

ForeignConvention Foreign Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Foreign Source #

readsAt :: Stack -> Args -> IO Foreign Source #

decodeVal :: Val -> IO Foreign Source #

writeBack :: Stack -> Foreign -> IO () Source #

encodeVal :: Foreign -> Val Source #

ForeignConvention Closure Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Closure Source #

readsAt :: Stack -> Args -> IO Closure Source #

decodeVal :: Val -> IO Closure Source #

writeBack :: Stack -> Closure -> IO () Source #

encodeVal :: Closure -> Val Source #

ForeignConvention Val Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Val Source #

readsAt :: Stack -> Args -> IO Val Source #

decodeVal :: Val -> IO Val Source #

writeBack :: Stack -> Val -> IO () Source #

encodeVal :: Val -> Val Source #

ForeignConvention String Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO String Source #

readsAt :: Stack -> Args -> IO String Source #

decodeVal :: Val -> IO String Source #

writeBack :: Stack -> String -> IO () Source #

encodeVal :: String -> Val Source #

ForeignConvention () Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO () Source #

readsAt :: Stack -> Args -> IO () Source #

decodeVal :: Val -> IO () Source #

writeBack :: Stack -> () -> IO () Source #

encodeVal :: () -> Val Source #

ForeignConvention Bool Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Bool Source #

readsAt :: Stack -> Args -> IO Bool Source #

decodeVal :: Val -> IO Bool Source #

writeBack :: Stack -> Bool -> IO () Source #

encodeVal :: Bool -> Val Source #

ForeignConvention Char Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Char Source #

readsAt :: Stack -> Args -> IO Char Source #

decodeVal :: Val -> IO Char Source #

writeBack :: Stack -> Char -> IO () Source #

encodeVal :: Char -> Val Source #

ForeignConvention Double Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Double Source #

readsAt :: Stack -> Args -> IO Double Source #

decodeVal :: Val -> IO Double Source #

writeBack :: Stack -> Double -> IO () Source #

encodeVal :: Double -> Val Source #

ForeignConvention Int Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO Int Source #

readsAt :: Stack -> Args -> IO Int Source #

decodeVal :: Val -> IO Int Source #

writeBack :: Stack -> Int -> IO () Source #

encodeVal :: Int -> Val Source #

BuiltinForeign b => ForeignConvention b Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO b Source #

readsAt :: Stack -> Args -> IO b Source #

decodeVal :: Val -> IO b Source #

writeBack :: Stack -> b -> IO () Source #

encodeVal :: b -> Val Source #

ForeignConvention (Seq Val) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (Seq Val) Source #

readsAt :: Stack -> Args -> IO (Seq Val) Source #

decodeVal :: Val -> IO (Seq Val) Source #

writeBack :: Stack -> Seq Val -> IO () Source #

encodeVal :: Seq Val -> Val Source #

ForeignConvention a => ForeignConvention (Failure a) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (Failure a) Source #

readsAt :: Stack -> Args -> IO (Failure a) Source #

decodeVal :: Val -> IO (Failure a) Source #

writeBack :: Stack -> Failure a -> IO () Source #

encodeVal :: Failure a -> Val Source #

ForeignConvention a => ForeignConvention (Maybe a) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (Maybe a) Source #

readsAt :: Stack -> Args -> IO (Maybe a) Source #

decodeVal :: Val -> IO (Maybe a) Source #

writeBack :: Stack -> Maybe a -> IO () Source #

encodeVal :: Maybe a -> Val Source #

ForeignConvention a => ForeignConvention [a] Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO [a] Source #

readsAt :: Stack -> Args -> IO [a] Source #

decodeVal :: Val -> IO [a] Source #

writeBack :: Stack -> [a] -> IO () Source #

encodeVal :: [a] -> Val Source #

(ForeignConvention a, ForeignConvention b) => ForeignConvention (Either a b) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (Either a b) Source #

readsAt :: Stack -> Args -> IO (Either a b) Source #

decodeVal :: Val -> IO (Either a b) Source #

writeBack :: Stack -> Either a b -> IO () Source #

encodeVal :: Either a b -> Val Source #

(ForeignConvention a, ForeignConvention b) => ForeignConvention (SeqView a b) Source # 
Instance details

Defined in Unison.Runtime.Machine.Primops

Methods

readAtIndex :: Stack -> Int -> IO (SeqView a b) Source #

readsAt :: Stack -> Args -> IO (SeqView a b) Source #

decodeVal :: Val -> IO (SeqView a b) Source #

writeBack :: Stack -> SeqView a b -> IO () Source #

encodeVal :: SeqView a b -> Val Source #

(ForeignConvention a, ForeignConvention b) => ForeignConvention (a, b) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (a, b) Source #

readsAt :: Stack -> Args -> IO (a, b) Source #

decodeVal :: Val -> IO (a, b) Source #

writeBack :: Stack -> (a, b) -> IO () Source #

encodeVal :: (a, b) -> Val Source #

(ForeignConvention a, ForeignConvention b, ForeignConvention c) => ForeignConvention (a, b, c) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (a, b, c) Source #

readsAt :: Stack -> Args -> IO (a, b, c) Source #

decodeVal :: Val -> IO (a, b, c) Source #

writeBack :: Stack -> (a, b, c) -> IO () Source #

encodeVal :: (a, b, c) -> Val Source #

(ForeignConvention a, ForeignConvention b, ForeignConvention c, ForeignConvention d) => ForeignConvention (a, b, c, d) Source # 
Instance details

Defined in Unison.Runtime.Foreign.Function

Methods

readAtIndex :: Stack -> Int -> IO (a, b, c, d) Source #

readsAt :: Stack -> Args -> IO (a, b, c, d) Source #

decodeVal :: Val -> IO (a, b, c, d) Source #

writeBack :: Stack -> (a, b, c, d) -> IO () Source #

encodeVal :: (a, b, c, d) -> Val 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

readAtIndex :: Stack -> Int -> IO (a, b, c, d, e) Source #

readsAt :: Stack -> Args -> IO (a, b, c, d, e) Source #

decodeVal :: Val -> IO (a, b, c, d, e) Source #

writeBack :: Stack -> (a, b, c, d, e) -> IO () Source #

encodeVal :: (a, b, c, d, e) -> Val Source #

foreignCall :: ForeignFunc -> Args -> XStack -> IOEXStack Source #

readsAtError :: String -> Args -> IO a Source #

foreignConventionError :: String -> Val -> IO a Source #

pseudoConstructors :: Map Reference (Map CTag ForeignFunc) Source #

functionReplacements :: Map Reference Reference Source #

functionUnreplacements :: Map Reference Reference Source #