Data.Registry.Internal.Stack

Internal monad for the resolution algorithm

• we keep some state for the list of created values
• we collect the applied functions as Operations
• we might exit with a Left value if we can't build a value

Documentation

type Stack a = StateT (Values, Operations) (Either Text) a

Monadic stack for the resolution algorithm

runStack :: Stack a -> Values -> Either Text a

Return a value from the Stack if possible

execStack :: Stack a -> Values -> Either Text Values

Return the state of the stack after executing the action This returns the list of built values

evalStack :: Stack a -> Values -> Either Text Operations

Return the list of applied functions after resolution

getValues :: Stack Values

Get the current list of values

getOperation :: Stack Operations

Get the current list of operations

modifyValues :: (Values -> Values) -> Stack ()

Modify the current list of values

modifyOperations :: (Operations -> Operations) -> Stack ()

Get the current list of values

functionApplied :: Value -> [Value] -> Stack ()

Store a function application in the list of operations