Data.Effect.Fresh

Documentation

data Fresh i a where

Constructors

Fresh :: forall i. Fresh i i

type LFresh i = LiftFOE (Fresh i)

pattern LFresh :: forall a i f. () => (a ~ i, ()) => LiftFOE (Fresh i) f a

fresh :: SendFOE (Fresh i) f => f i

fresh' :: forall {k} (tag :: k) i f. SendFOE (Tag (Fresh i) tag) f => f i

fresh'' :: forall {k} (key :: k) i f. SendFOEBy key (Fresh i) f => f i