Data.Effect.Fresh

Documentation

data Fresh i (a :: Type) where

Constructors

Fresh :: Fresh i i

type LFresh i = LiftIns (Fresh i)

pattern LFresh :: () => (a ~ i, ()) => LiftIns (Fresh i) f a

fresh'' :: forall key (i :: Type) f. SendInsBy key (Fresh i) f => f i

fresh' :: forall tag (i :: Type) f. SendIns (Tag (Fresh i) tag) f => f i

fresh :: forall (i :: Type) f. SendIns (Fresh i) f => f i