unison-runtime-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Machine.Primops

Documentation

prim1wrap :: ForeignConvention x => (Stack -> x -> IO ()) -> Stack -> Int -> IO Stack Source #

prim1 :: CCache -> Stack -> Prim1 -> Int -> IO Stack Source #

prim2wrap2 :: ForeignConvention x => ForeignConvention y => (Stack -> x -> y -> IO ()) -> Stack -> Int -> Int -> IO Stack Source #

primxx :: CCache -> Stack -> Prim2 -> Int -> Int -> IO Stack Source #

termLinkVal :: Referent -> Val Source #

typeLinkVal :: Reference -> Val Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

sizt :: Stack -> Text -> IO () Source #

sizs :: Stack -> USeq -> IO () Source #

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

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

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

usnc :: Stack -> Text -> IO () Source #

ucns :: Stack -> Text -> IO () Source #

readIntegral :: (Bounded n, Integral n) => String -> Maybe n Source #

clamp :: forall n. (Bounded n, Integral n) => Integer -> Maybe n Source #

ttoi :: Stack -> Text -> IO () Source #

tton :: Stack -> Text -> IO () Source #

ttof :: Stack -> Text -> IO () Source #

vwls :: Stack -> USeq -> IO () Source #

vwrs :: Stack -> USeq -> IO () Source #

pakt :: Stack -> USeq -> IO () Source #

upkt :: Stack -> Text -> IO () Source #

pakb :: Stack -> USeq -> IO () Source #

upkb :: Stack -> Bytes -> IO () Source #

sizb :: Stack -> Bytes -> IO () Source #

fltb :: Stack -> Bytes -> IO () Source #

refr :: Stack -> IORef Val -> IO () Source #

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

rrfc :: CCache -> Stack -> IORef Val -> IO () Source #

tikr :: Stack -> Ticket Val -> IO () Source #

miss :: CCache -> Stack -> Referent -> IO () Source #

sdbl :: CCache -> Stack -> Referent -> IO () Source #

sandboxList :: CCache -> Referent -> IO [Reference] Source #

lkup :: CCache -> Stack -> Referent -> IO () Source #

cvld :: CCache -> Stack -> [(Referent, Code)] -> IO () Source #

tltt :: Stack -> Referent -> IO () Source #

dbtx :: CCache -> Stack -> Val -> IO () Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

powi :: Stack -> Int -> Word64 -> IO () Source #

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

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

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

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

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

shln :: Stack -> Word64 -> Int -> IO () Source #

shrn :: Stack -> Word64 -> Int -> IO () Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

drpt :: Stack -> Int -> Text -> IO () Source #

takt :: Stack -> Int -> Text -> IO () Source #

catt :: Stack -> Text -> Text -> IO () Source #

ixot :: Stack -> Text -> Text -> IO () Source #

eqlt :: Stack -> Text -> Text -> IO () Source #

leqt :: Stack -> Text -> Text -> IO () Source #

lest :: Stack -> Text -> Text -> IO () Source #

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

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

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

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

drps :: Stack -> Int -> USeq -> IO () Source #

taks :: Stack -> Int -> USeq -> IO () Source #

cons :: Stack -> Val -> USeq -> IO () Source #

snoc :: Stack -> USeq -> Val -> IO () Source #

idxs :: Stack -> Int -> USeq -> IO () Source #

data SeqView a b Source #

Constructors

SeqViewEmpty
SeqViewElem a b

Instances

Instances details

(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 #

decodeSeqView :: ForeignConvention a => ForeignConvention b => Closure -> IO (SeqView a b) Source #

seqViewE :: Closure Source #

encodeSeqView :: ForeignConvention a => ForeignConvention b => SeqView a b -> Closure Source #

spll :: Stack -> Int -> USeq -> IO () Source #

splr :: Stack -> Int -> USeq -> IO () Source #

cats :: Stack -> USeq -> USeq -> IO () Source #

takb :: Stack -> Int -> Bytes -> IO () Source #

drpb :: Stack -> Int -> Bytes -> IO () Source #

idxb :: Stack -> Int -> Bytes -> IO () Source #

catb :: Stack -> Bytes -> Bytes -> IO () Source #

ixob :: Stack -> Bytes -> Bytes -> IO () Source #

refw :: Stack -> IORef Val -> Val -> IO () Source #

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

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

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

sdbv :: CCache -> Stack -> [Referent] -> Value -> IO () Source #

sdbx :: CCache -> Stack -> [Referent] -> Closure -> IO () Source #