CSPM-FiringRules-0.4.3.0: Firing rules semantic of CSPM

Copyright(c) Fontaine 2010 - 2011
LicenseBSD3
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

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 a Source

runSearch :: Search a -> [a] Source

Run the search monad.

anyOf :: [a] -> Search a Source

Lift a list to the search monad.