Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Foreign

Documentation

data Foreign where Source #

Constructors

Wrap :: Reference -> !e -> Foreign

Instances

Instances details

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

data HashAlgorithm where Source #

Constructors

HashAlgorithm :: HashAlgorithm a => Reference -> a -> HashAlgorithm

Instances

Instances details

BuiltinForeign HashAlgorithm Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged HashAlgorithm Reference Source #

unwrapForeign :: Foreign -> a Source #

maybeUnwrapForeign :: Reference -> Foreign -> Maybe a Source #

wrapBuiltin :: forall f. BuiltinForeign f => f -> Foreign Source #

maybeUnwrapBuiltin :: forall f. BuiltinForeign f => Foreign -> Maybe f Source #

unwrapBuiltin :: BuiltinForeign f => Foreign -> f Source #

class BuiltinForeign f where Source #

Methods

foreignRef :: Tagged f Reference Source #

Instances

Instances details

BuiltinForeign ThreadId Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ThreadId Reference Source #
BuiltinForeign FilePath Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged FilePath Reference Source #
BuiltinForeign Handle Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Handle Reference Source #
BuiltinForeign TimeSpec Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged TimeSpec Reference Source #
BuiltinForeign SignedCertificate Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged SignedCertificate Reference Source #
BuiltinForeign PrivKey Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged PrivKey Reference Source #
BuiltinForeign Socket Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Socket Reference Source #
BuiltinForeign ClientSockAddr Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ClientSockAddr Reference Source #
BuiltinForeign ListenSocket Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ListenSocket Reference Source #
BuiltinForeign UDPSocket Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged UDPSocket Reference Source #
BuiltinForeign ProcessHandle Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ProcessHandle Reference Source #
BuiltinForeign Context Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Context Reference Source #
BuiltinForeign ClientParams Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ClientParams Reference Source #
BuiltinForeign ServerParams Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged ServerParams Reference Source #
BuiltinForeign Referent Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Referent Reference Source #
BuiltinForeign Text Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Text Reference Source #
BuiltinForeign CPattern Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged CPattern Reference Source #
BuiltinForeign CharPattern Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged CharPattern Reference Source #
BuiltinForeign Value Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Value Reference Source #
BuiltinForeign HashAlgorithm Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged HashAlgorithm Reference Source #
BuiltinForeign Bytes Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged Bytes Reference Source #
BuiltinForeign (SuperGroup Symbol) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignRef :: Tagged (SuperGroup Symbol) Reference Source #

newtype Tls Source #

Constructors

Tls Context

data Failure a Source #

Constructors

Failure Reference Text a

Instances

Instances details

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 #