LogicGrowsOnTrees.Workload

This module contains infrastructure for working with Workloads, which describe a portion of work to be performed by a worker.

Workload type and simple functions

data Workload

A Workload describes a portion of work to be performed by a worker; it consists of a Path to the subtree where the workload is located paired with a Checkpoint that indicates which parts of that subtree have already been explored.

Constructors

Workload

Fields

workloadPath :: Path

workloadCheckpoint :: Checkpoint

Instances

Eq Workload

Ord Workload

Workloads are ordered first by their depth (the length of the Path component), second by the value of the Path component itself, and finally by the value of the Checkpoint component. This ordering was chosen because there are times where it is nice to be able to conveniently order Workloads by depth.

Show Workload

Serialize Workload

entire_workload :: Workload

A Workload that consists of the entire tree.

workloadDepth :: Workload -> Int

The depth of the workload, equal to the length of the Path component.

Exploration functions

The functions in this section explore the part of a tree that is given by a Workload.

exploreTreeWithinWorkload :: Monoid α => Workload -> Tree α -> α

Explores the nodes in a pure tree given by a Workload, and sums over all the results in the leaves.

exploreTreeTWithinWorkload :: (Monad m, Monoid α) => Workload -> TreeT m α -> m α

Same as exploreTreeWithinWorkload but for an impure tree.

exploreTreeUntilFirstWithinWorkload :: Workload -> Tree α -> Maybe α

Explores the nodes in a pure tree given by a Workload until a result (i.e. a leaf) has been found; if a result has been found then it is returned wrapped in Just, otherwise Nothing is returned.

exploreTreeTUntilFirstWithinWorkload :: Monad m => Workload -> TreeT m α -> m (Maybe α)

Same as exploreTreeUntilFirstWithinWorkload but for an impure tree.

exploreTreeUntilFoundWithinWorkload :: Monoid α => (α -> Bool) -> Workload -> Tree α -> (α, Bool)

Explores the nodes in a pure tree given by a Workload, summing all results encountered (i.e., in the leaves) until the current partial sum satisfies the condition provided by the first parameter.

See exploreTreeUntilFound for more details.

exploreTreeTUntilFoundWithinWorkload :: (Monoid α, Monad m) => (α -> Bool) -> Workload -> TreeT m α -> m (α, Bool)

Same as exploreTreeUntilFoundWithinWorkload but for an impure tree.