unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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 #

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

foreignName :: Tagged HashAlgorithm String Source #

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

foreignName :: Tagged f String Source #

foreignRef :: Tagged f Reference Source #

Instances

Instances details
BuiltinForeign ByteArray Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ByteArray String Source #

foreignRef :: Tagged ByteArray Reference Source #

BuiltinForeign ThreadId Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ThreadId String Source #

foreignRef :: Tagged ThreadId Reference Source #

BuiltinForeign FilePath Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged FilePath String Source #

foreignRef :: Tagged FilePath Reference Source #

BuiltinForeign Handle Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Handle String Source #

foreignRef :: Tagged Handle Reference Source #

BuiltinForeign TimeSpec Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged TimeSpec String Source #

foreignRef :: Tagged TimeSpec Reference Source #

BuiltinForeign SignedCertificate Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged SignedCertificate String Source #

foreignRef :: Tagged SignedCertificate Reference Source #

BuiltinForeign PrivKey Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged PrivKey String Source #

foreignRef :: Tagged PrivKey Reference Source #

BuiltinForeign Socket Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Socket String Source #

foreignRef :: Tagged Socket Reference Source #

BuiltinForeign ClientSockAddr Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ClientSockAddr String Source #

foreignRef :: Tagged ClientSockAddr Reference Source #

BuiltinForeign ListenSocket Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ListenSocket String Source #

foreignRef :: Tagged ListenSocket Reference Source #

BuiltinForeign UDPSocket Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged UDPSocket String Source #

foreignRef :: Tagged UDPSocket Reference Source #

BuiltinForeign ProcessHandle Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ProcessHandle String Source #

foreignRef :: Tagged ProcessHandle Reference Source #

BuiltinForeign ClientParams Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ClientParams String Source #

foreignRef :: Tagged ClientParams Reference Source #

BuiltinForeign ServerParams Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged ServerParams String Source #

foreignRef :: Tagged ServerParams Reference Source #

BuiltinForeign Reference Source #

Note: References are assumed to be type links

Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Reference String Source #

foreignRef :: Tagged Reference Reference Source #

BuiltinForeign Referent Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Referent String Source #

foreignRef :: Tagged Referent Reference Source #

BuiltinForeign Text Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Text String Source #

foreignRef :: Tagged Text Reference Source #

BuiltinForeign CPattern Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged CPattern String Source #

foreignRef :: Tagged CPattern Reference Source #

BuiltinForeign CharPattern Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged CharPattern String Source #

foreignRef :: Tagged CharPattern Reference Source #

BuiltinForeign HashAlgorithm Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged HashAlgorithm String Source #

foreignRef :: Tagged HashAlgorithm Reference Source #

BuiltinForeign Tls Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Tls String Source #

foreignRef :: Tagged Tls Reference Source #

BuiltinForeign Bytes Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Bytes String Source #

foreignRef :: Tagged Bytes Reference Source #

BuiltinForeign Integer Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Integer String Source #

foreignRef :: Tagged Integer Reference Source #

BuiltinForeign Natural Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Natural String Source #

foreignRef :: Tagged Natural Reference Source #

BuiltinForeign (Ticket Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (Ticket Val) String Source #

foreignRef :: Tagged (Ticket Val) Reference Source #

BuiltinForeign (MutableByteArray s) Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged (MutableByteArray s) String Source #

foreignRef :: Tagged (MutableByteArray s) Reference Source #

BuiltinForeign (TVar Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (TVar Val) String Source #

foreignRef :: Tagged (TVar Val) Reference Source #

BuiltinForeign (IORef Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (IORef Val) String Source #

foreignRef :: Tagged (IORef Val) Reference Source #

BuiltinForeign (MVar Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (MVar Val) String Source #

foreignRef :: Tagged (MVar Val) Reference Source #

BuiltinForeign (Array Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (Array Val) String Source #

foreignRef :: Tagged (Array Val) Reference Source #

BuiltinForeign (Promise Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (Promise Val) String Source #

foreignRef :: Tagged (Promise Val) Reference Source #

BuiltinForeign (Referenced Code) Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged (Referenced Code) String Source #

foreignRef :: Tagged (Referenced Code) Reference Source #

BuiltinForeign (Referenced Value) Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged (Referenced Value) String Source #

foreignRef :: Tagged (Referenced Value) Reference Source #

BuiltinForeign (Map Val Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (Map Val Val) String Source #

foreignRef :: Tagged (Map Val Val) Reference Source #

BuiltinForeign (MutableArray s Val) Source # 
Instance details

Defined in Unison.Runtime.Stack

Methods

foreignName :: Tagged (MutableArray s Val) String Source #

foreignRef :: Tagged (MutableArray s Val) Reference Source #

data Tls Source #

Constructors

Tls 

Fields

Instances

Instances details
Eq Tls Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

(==) :: Tls -> Tls -> Bool #

(/=) :: Tls -> Tls -> Bool #

BuiltinForeign Tls Source # 
Instance details

Defined in Unison.Runtime.Foreign

Methods

foreignName :: Tagged Tls String Source #

foreignRef :: Tagged Tls Reference Source #

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

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 #