|
| Language.VDM_SL.HLStratLib | | Portability | portable
| | Stability | experimental | | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
| Description |
| Auxiliary strategies.
|
|
| Synopsis |
|
| stratTP :: (Monad m, Term t, Term r) => (t -> t) -> r -> m r | | | stratTU :: (Monad m, Term t, Term r) => (t -> [a]) -> r -> m [a] | | | strat_allTU :: (Monad m, Term t, Term r) => (t -> m [a]) -> r -> m [a] | | | collectWith :: (Term t, Term r) => (t -> a) -> r -> [a] |
|
|
| Documentation |
|
| stratTP :: (Monad m, Term t, Term r) => (t -> t) -> r -> m r |
|
| stratTU :: (Monad m, Term t, Term r) => (t -> [a]) -> r -> m [a] |
|
| strat_allTU :: (Monad m, Term t, Term r) => (t -> m [a]) -> r -> m [a] |
|
| collectWith :: (Term t, Term r) => (t -> a) -> r -> [a] |
| Strafunski collect
|
|
| Produced by Haddock version 0.6 |
