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 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 Context Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged Context String Source # foreignRef :: Tagged Context 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 Code Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged Code String Source # foreignRef :: Tagged Code Reference Source #
BuiltinForeign Value Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged Value String Source # foreignRef :: Tagged Value Reference Source #
BuiltinForeign HashAlgorithm Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged HashAlgorithm String Source # foreignRef :: Tagged HashAlgorithm Reference Source #
BuiltinForeign Bytes Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged Bytes String Source # foreignRef :: Tagged Bytes Reference Source #
BuiltinForeign (Ticket a) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Ticket a) String Source # foreignRef :: Tagged (Ticket a) 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 a) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (TVar a) String Source # foreignRef :: Tagged (TVar a) 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 a) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (MVar a) String Source # foreignRef :: Tagged (MVar a) Reference Source #
BuiltinForeign (Array e) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Array e) String Source # foreignRef :: Tagged (Array e) Reference Source #
BuiltinForeign (Promise a) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Promise a) String Source # foreignRef :: Tagged (Promise a) Reference Source #
BuiltinForeign (Map k v) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (Map k v) String Source # foreignRef :: Tagged (Map k v) Reference Source #
BuiltinForeign (MutableArray s e) Source #
Instance details Defined in Unison.Runtime.Foreign Methods foreignName :: Tagged (MutableArray s e) String Source # foreignRef :: Tagged (MutableArray s e) 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 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 #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result