CSPM-FiringRules-0.3.0.3: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

CSPM.FiringRules.Search

Description

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

Synopsis

Documentation

type Search a = Search aSource

runSearch :: Search a -> [a]Source

Run the search monad.

anyOf :: [a] -> Search aSource

Lift a list to the search monad.