 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
Common.Lib.State | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
State type from Control.Monad.State without State Monad
|
|
Synopsis |
|
|
|
|
Produced by Haddock version 0.6 |