UHC.Util.Fresh

Documentation

class Fresh fs f where

Minimal complete definition

Nothing

Methods

freshWith :: Maybe f -> fs -> (f, fs)

Fresh single f, and modifier upd for freshly created value

fresh :: fs -> (f, fs)

Fresh single f

freshInfWith :: Maybe f -> fs -> (f, fs)

Fresh infinite range of f, and modifier upd for freshly created value

freshInf :: fs -> (f, fs)

Fresh infinite range of f

Instances

Fresh Int Int

Fresh Int String