Parsley.Internal.Backend.Machine.State

Documentation

type HandlerStack n s o a = Vec n (Code (Handler s o a))

type Handler s o a = Rep o -> ST s (Maybe a)

type Cont s o a x = x -> Rep o -> ST s (Maybe a)

type SubRoutine s o a x = Cont s o a x -> Rep o -> Handler s o a -> ST s (Maybe a)

type MachineMonad s o xs n r a = Reader (Ctx s o a) (Γ s o xs n r a -> Code (ST s (Maybe a)))

type family Func (rs :: [Type]) s o a x where ...

Equations

Func '[] s o a x = SubRoutine s o a x

Func (r ': rs) s o a x = STRef s r -> Func rs s o a x

data Γ s o xs n r a

Constructors

Γ

Fields

• operands :: OpStack xs
• retCont :: Code (Cont s o a r)
• input :: Code (Rep o)
• handlers :: HandlerStack n s o a

data Ctx s o a

data OpStack xs where

Constructors

Empty :: OpStack '[]

Op :: Defunc x -> OpStack xs -> OpStack (x ': xs)

data QSubRoutine s o a x

Constructors

forall rs. QSubRoutine (Code (Func rs s o a x)) (Regs rs)

newtype QJoin s o a x

Constructors

QJoin

Fields

• unwrapJoin :: Code (Cont s o a x)

newtype Machine s o xs n r a

Constructors

Machine

Fields

• getMachine :: MachineMonad s o xs n r a

run :: Machine s o xs n r a -> Γ s o xs n r a -> Ctx s o a -> Code (ST s (Maybe a))

emptyCtx :: DMap MVar (QSubRoutine s o a) -> Ctx s o a

insertSub :: MVar x -> Code (SubRoutine s o a x) -> Ctx s o a -> Ctx s o a

insertΦ :: ΦVar x -> Code (Cont s o a x) -> Ctx s o a -> Ctx s o a

insertNewΣ :: ΣVar x -> Maybe (Code (STRef s x)) -> Defunc x -> Ctx s o a -> Ctx s o a

insertScopedΣ :: ΣVar x -> Code (STRef s x) -> Ctx s o a -> Ctx s o a

cacheΣ :: ΣVar x -> Defunc x -> Ctx s o a -> Ctx s o a

concreteΣ :: ΣVar x -> Ctx s o a -> Code (STRef s x)

cachedΣ :: ΣVar x -> Ctx s o a -> Defunc x

askSub :: MonadReader (Ctx s o a) m => MVar x -> m (Code (SubRoutine s o a x))

askΦ :: MonadReader (Ctx s o a) m => ΦVar x -> m (Code (Cont s o a x))

debugUp :: Ctx s o a -> Ctx s o a

debugDown :: Ctx s o a -> Ctx s o a

debugLevel :: Ctx s o a -> Int

storePiggy :: Int -> Ctx s o a -> Ctx s o a

breakPiggy :: Ctx s o a -> Ctx s o a

spendCoin :: Ctx s o a -> Ctx s o a

giveCoins :: Int -> Ctx s o a -> Ctx s o a

voidCoins :: Ctx s o a -> Ctx s o a

coins :: Ctx s o a -> Int

hasCoin :: Ctx s o a -> Bool

isBankrupt :: Ctx s o a -> Bool

liquidate :: Ctx s o a -> Int