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 Statistics (Either Text) a

Monadic stack for the resolution algorithm

runStack :: Stack a -> Either Text a

Return a value from the Stack if possible

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

Return a value from the Stack if possible

execStack :: Stack a -> Either Text Values

Run the stack to get a list of created values

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

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

evalStack :: Stack a -> Either Text Statistics

Return the list of applied functions after resolution

evalStackWithValues :: Values -> Stack a -> Either Text Statistics

Run the stack to get a the statistics, starting with some initially created values

getValues :: Stack Values

Get the current list of values

getOperations :: Stack Operations

Get the current list of operations

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

Modify the current list of values

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

Modify the current operations

modifyStatistics :: (Statistics -> Statistics) -> Stack ()

Modify the current statistics

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

Store a function application in the list of operations