Stack package:registry

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

Monadic stack for the resolution algorithm

Return the list of applied functions after resolution

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

Run the stack to get a list of created values

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

Return a value from the Stack if possible

Return a value from the Stack if possible