chr-data-0.1.0.0: Datatypes required for chr library

Safe HaskellSafe
LanguageHaskell2010

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