CSPM.FiringRules.Search

Definition of the Search Monad. Currently just a small wrapper around the tree-monad package

Documentation

type Search a = Search a

runSearch :: Search a -> [a]

Run the search monad.

anyOf :: [a] -> Search a

Lift a list to the search monad.