| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
CHR.Data.Fresh
Documentation
class Fresh fs f where Source #
Methods
freshWith :: Maybe f -> fs -> (f, fs) Source #
Fresh single f, and modifier upd for freshly created value
fresh :: fs -> (f, fs) Source #
Fresh single f
freshInfWith :: Maybe f -> fs -> (f, fs) Source #
Fresh infinite range of f, and modifier upd for freshly created value
freshInf :: fs -> (f, fs) Source #
Fresh infinite range of f