UHC.Util.Fresh

Documentation

class Fresh fs f where

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

Methods

freshWith :: Maybe Int -> Int -> (Int, Int)

fresh :: Int -> (Int, Int)

freshInfWith :: Maybe Int -> Int -> (Int, Int)

freshInf :: Int -> (Int, Int)

Fresh Int String

Methods

freshWith :: Maybe String -> Int -> (String, Int)

fresh :: Int -> (String, Int)

freshInfWith :: Maybe String -> Int -> (String, Int)

freshInf :: Int -> (String, Int)