Copilot.Language.Operators.Extern

External variables, arrays, and functions.

Documentation

extern :: Typed a => String -> Maybe [a] -> Stream a

externB :: String -> Maybe [Bool] -> Stream Bool

externW8 :: String -> Maybe [Word8] -> Stream Word8

externW16 :: String -> Maybe [Word16] -> Stream Word16

externW32 :: String -> Maybe [Word32] -> Stream Word32

externW64 :: String -> Maybe [Word64] -> Stream Word64

externI8 :: String -> Maybe [Int8] -> Stream Int8

externI16 :: String -> Maybe [Int16] -> Stream Int16

externI32 :: String -> Maybe [Int32] -> Stream Int32

externI64 :: String -> Maybe [Int64] -> Stream Int64

externF :: String -> Maybe [Float] -> Stream Float

externD :: String -> Maybe [Double] -> Stream Double

externFun :: Typed a => String -> [Arg] -> Maybe (Stream a) -> Stream a

externArray :: (Typed a, Typed b, Integral a) => String -> Stream a -> Size -> Maybe [[b]] -> Stream b

externArrayB :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Bool]] -> Stream Bool

externArrayW8 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Word8]] -> Stream Word8

externArrayW16 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Word16]] -> Stream Word16

externArrayW32 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Word32]] -> Stream Word32

externArrayW64 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Word64]] -> Stream Word64

externArrayI8 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int8]] -> Stream Int8

externArrayI16 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int16]] -> Stream Int16

externArrayI32 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int32]] -> Stream Int32

externArrayI64 :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Int64]] -> Stream Int64

externArrayF :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Float]] -> Stream Float

externArrayD :: (Typed a, Integral a) => String -> Stream a -> Size -> Maybe [[Double]] -> Stream Double

externStruct :: Typed a => String -> [(String, Arg)] -> Stream a

funArg :: Typed a => Stream a -> Arg

Deprecated.

Deprecated.