Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Stack

Documentation

data K Source #

Constructors

KE
CB Callback
Mark !Int !Int !(EnumSet Word64) !(EnumMap Word64 RClosure) !K
Push !Int !Int !Int !Int !RComb !K

Instances

Instances details

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

data GClosure comb Source #

Constructors

PAp !comb !(Seg 'UN) !(Seg 'BX)
Enum !Reference !Word64
DataU1 !Reference !Word64 !Int
DataU2 !Reference !Word64 !Int !Int
DataB1 !Reference !Word64 !(GClosure comb)
DataB2 !Reference !Word64 !(GClosure comb) !(GClosure comb)
DataUB !Reference !Word64 !Int !(GClosure comb)
DataG !Reference !Word64 !(Seg 'UN) !(Seg 'BX)
Captured !K !Int !Int !(Seg 'UN) !(Seg 'BX)
Foreign !Foreign
BlackHole

Bundled Patterns

pattern DataC :: Reference -> Word64 -> [Int] -> [RClosure] -> RClosure
pattern PApV :: RComb -> [Int] -> [RClosure] -> RClosure
pattern CapV :: K -> Int -> Int -> [Int] -> [RClosure] -> RClosure

Instances

Instances details

Foldable GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods fold :: Monoid m => GClosure m -> m # foldMap :: Monoid m => (a -> m) -> GClosure a -> m # foldMap' :: Monoid m => (a -> m) -> GClosure a -> m # foldr :: (a -> b -> b) -> b -> GClosure a -> b # foldr' :: (a -> b -> b) -> b -> GClosure a -> b # foldl :: (b -> a -> b) -> b -> GClosure a -> b # foldl' :: (b -> a -> b) -> b -> GClosure a -> b # foldr1 :: (a -> a -> a) -> GClosure a -> a # foldl1 :: (a -> a -> a) -> GClosure a -> a # toList :: GClosure a -> [a] # null :: GClosure a -> Bool # length :: GClosure a -> Int # elem :: Eq a => a -> GClosure a -> Bool # maximum :: Ord a => GClosure a -> a # minimum :: Ord a => GClosure a -> a # sum :: Num a => GClosure a -> a # product :: Num a => GClosure a -> a #
Traversable GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods traverse :: Applicative f => (a -> f b) -> GClosure a -> f (GClosure b) # sequenceA :: Applicative f => GClosure (f a) -> f (GClosure a) # mapM :: Monad m => (a -> m b) -> GClosure a -> m (GClosure b) # sequence :: Monad m => GClosure (m a) -> m (GClosure a) #
Functor GClosure Source #
Instance details Defined in Unison.Runtime.Stack Methods fmap :: (a -> b) -> GClosure a -> GClosure b # (<$) :: a -> GClosure b -> GClosure a #
Show comb => Show (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Stack Methods showsPrec :: Int -> GClosure comb -> ShowS # show :: GClosure comb -> String # showList :: [GClosure comb] -> ShowS #
Eq comb => Eq (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Stack Methods (==) :: GClosure comb -> GClosure comb -> Bool # (/=) :: GClosure comb -> GClosure comb -> Bool #
Ord comb => Ord (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Stack Methods compare :: GClosure comb -> GClosure comb -> Ordering # (<) :: GClosure comb -> GClosure comb -> Bool # (<=) :: GClosure comb -> GClosure comb -> Bool # (>) :: GClosure comb -> GClosure comb -> Bool # (>=) :: GClosure comb -> GClosure comb -> Bool # max :: GClosure comb -> GClosure comb -> GClosure comb # min :: GClosure comb -> GClosure comb -> GClosure comb #
ForeignConvention (Ticket RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Ticket RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Ticket RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (TVar RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], TVar RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> TVar RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (IORef RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], IORef RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> IORef RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (MVar RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], MVar RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> MVar RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (Array RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Array RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Array RClosure -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (Promise RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], Promise RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> Promise RClosure -> IO (Stack 'UN, Stack 'BX) Source #
GClosure comb ~ Elem 'BX => ForeignConvention (GClosure comb) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], GClosure comb) Source # writeForeign :: Stack 'UN -> Stack 'BX -> GClosure comb -> IO (Stack 'UN, Stack 'BX) Source #
GClosure comb ~ Elem 'BX => ForeignConvention [GClosure comb] Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], [GClosure comb]) Source # writeForeign :: Stack 'UN -> Stack 'BX -> [GClosure comb] -> IO (Stack 'UN, Stack 'BX) Source #
ForeignConvention (MutableArray s RClosure) Source #
Instance details Defined in Unison.Runtime.Foreign.Function Methods readForeign :: [Int] -> [Int] -> Stack 'UN -> Stack 'BX -> IO ([Int], [Int], MutableArray s RClosure) Source # writeForeign :: Stack 'UN -> Stack 'BX -> MutableArray s RClosure -> IO (Stack 'UN, Stack 'BX) Source #

type Closure = GClosure RComb Source #

type RClosure = GClosure RComb Source #

type IxClosure = GClosure CombIx Source #

newtype Callback Source #

Constructors

Hook (Stack 'UN -> Stack 'BX -> IO ())

Instances

Instances details

Eq Callback Source #
Instance details Defined in Unison.Runtime.Stack Methods (==) :: Callback -> Callback -> Bool # (/=) :: Callback -> Callback -> Bool #
Ord Callback Source #
Instance details Defined in Unison.Runtime.Stack Methods compare :: Callback -> Callback -> Ordering # (<) :: Callback -> Callback -> Bool # (<=) :: Callback -> Callback -> Bool # (>) :: Callback -> Callback -> Bool # (>=) :: Callback -> Callback -> Bool # max :: Callback -> Callback -> Callback # min :: Callback -> Callback -> Callback #

data Augment Source #

Constructors

I
K
C

data Dump Source #

Constructors

A
F Int Int
S

class MEM (b :: Mem) where Source #

Associated Types

data Stack b :: Type Source #

type Elem b :: Type Source #

type Seg b :: Type Source #

Methods

alloc :: IO (Stack b) Source #

peek :: Stack b -> IO (Elem b) Source #

peekOff :: Stack b -> Off -> IO (Elem b) Source #

poke :: Stack b -> Elem b -> IO () Source #

pokeOff :: Stack b -> Off -> Elem b -> IO () Source #

grab :: Stack b -> SZ -> IO (Seg b, Stack b) Source #

ensure :: Stack b -> SZ -> IO (Stack b) Source #

bump :: Stack b -> IO (Stack b) Source #

bumpn :: Stack b -> SZ -> IO (Stack b) Source #

duplicate :: Stack b -> IO (Stack b) Source #

discardFrame :: Stack b -> IO (Stack b) Source #

saveFrame :: Stack b -> IO (Stack b, SZ, SZ) Source #

saveArgs :: Stack b -> IO (Stack b, SZ) Source #

restoreFrame :: Stack b -> SZ -> SZ -> IO (Stack b) Source #

prepareArgs :: Stack b -> Args' -> IO (Stack b) Source #

acceptArgs :: Stack b -> Int -> IO (Stack b) Source #

frameArgs :: Stack b -> IO (Stack b) Source #

augSeg :: Augment -> Stack b -> Seg b -> Maybe Args' -> IO (Seg b) Source #

dumpSeg :: Stack b -> Seg b -> Dump -> IO (Stack b) Source #

adjustArgs :: Stack b -> SZ -> IO (Stack b) Source #

fsize :: Stack b -> SZ Source #

asize :: Stack b -> SZ Source #

Instances

Instances details

MEM 'BX Source #
Instance details Defined in Unison.Runtime.Stack Associated Types data Stack 'BX Source # type Elem 'BX Source # type Seg 'BX Source # Methods alloc :: IO (Stack 'BX) Source # peek :: Stack 'BX -> IO (Elem 'BX) Source # peekOff :: Stack 'BX -> Off -> IO (Elem 'BX) Source # poke :: Stack 'BX -> Elem 'BX -> IO () Source # pokeOff :: Stack 'BX -> Off -> Elem 'BX -> IO () Source # grab :: Stack 'BX -> SZ -> IO (Seg 'BX, Stack 'BX) Source # ensure :: Stack 'BX -> SZ -> IO (Stack 'BX) Source # bump :: Stack 'BX -> IO (Stack 'BX) Source # bumpn :: Stack 'BX -> SZ -> IO (Stack 'BX) Source # duplicate :: Stack 'BX -> IO (Stack 'BX) Source # discardFrame :: Stack 'BX -> IO (Stack 'BX) Source # saveFrame :: Stack 'BX -> IO (Stack 'BX, SZ, SZ) Source # saveArgs :: Stack 'BX -> IO (Stack 'BX, SZ) Source # restoreFrame :: Stack 'BX -> SZ -> SZ -> IO (Stack 'BX) Source # prepareArgs :: Stack 'BX -> Args' -> IO (Stack 'BX) Source # acceptArgs :: Stack 'BX -> Int -> IO (Stack 'BX) Source # frameArgs :: Stack 'BX -> IO (Stack 'BX) Source # augSeg :: Augment -> Stack 'BX -> Seg 'BX -> Maybe Args' -> IO (Seg 'BX) Source # dumpSeg :: Stack 'BX -> Seg 'BX -> Dump -> IO (Stack 'BX) Source # adjustArgs :: Stack 'BX -> SZ -> IO (Stack 'BX) Source # fsize :: Stack 'BX -> SZ Source # asize :: Stack 'BX -> SZ Source #
MEM 'UN Source #
Instance details Defined in Unison.Runtime.Stack Associated Types data Stack 'UN Source # type Elem 'UN Source # type Seg 'UN Source # Methods alloc :: IO (Stack 'UN) Source # peek :: Stack 'UN -> IO (Elem 'UN) Source # peekOff :: Stack 'UN -> Off -> IO (Elem 'UN) Source # poke :: Stack 'UN -> Elem 'UN -> IO () Source # pokeOff :: Stack 'UN -> Off -> Elem 'UN -> IO () Source # grab :: Stack 'UN -> SZ -> IO (Seg 'UN, Stack 'UN) Source # ensure :: Stack 'UN -> SZ -> IO (Stack 'UN) Source # bump :: Stack 'UN -> IO (Stack 'UN) Source # bumpn :: Stack 'UN -> SZ -> IO (Stack 'UN) Source # duplicate :: Stack 'UN -> IO (Stack 'UN) Source # discardFrame :: Stack 'UN -> IO (Stack 'UN) Source # saveFrame :: Stack 'UN -> IO (Stack 'UN, SZ, SZ) Source # saveArgs :: Stack 'UN -> IO (Stack 'UN, SZ) Source # restoreFrame :: Stack 'UN -> SZ -> SZ -> IO (Stack 'UN) Source # prepareArgs :: Stack 'UN -> Args' -> IO (Stack 'UN) Source # acceptArgs :: Stack 'UN -> Int -> IO (Stack 'UN) Source # frameArgs :: Stack 'UN -> IO (Stack 'UN) Source # augSeg :: Augment -> Stack 'UN -> Seg 'UN -> Maybe Args' -> IO (Seg 'UN) Source # dumpSeg :: Stack 'UN -> Seg 'UN -> Dump -> IO (Stack 'UN) Source # adjustArgs :: Stack 'UN -> SZ -> IO (Stack 'UN) Source # fsize :: Stack 'UN -> SZ Source # asize :: Stack 'UN -> SZ Source #