An effect for creating unique objects which may be used as references, a la Unique. Polymorphic code making use of Fresh is expected to place constraints upon uniq as necessary.

Any interpreter for Fresh has the responsibilty of ensuring that any call to fresh produces an object that never compares equal to an object produced by a previous call to fresh.

Runs a Fresh effect through generating Uniques using IO.

Derivs (FreshToIOC m) = Fresh Unique ': Derivs m

Prims  (FreshToIOC m) = Prims m

Run a Fresh effect through atomic operations in IO by specifying an Enum to be used as the type of unique objects.

This is a safe variant of runFreshEnum.

This has a higher-rank type, as it makes use of InterpretReifiedC. This makes runFreshEnumIO very difficult to use partially applied. In particular, it can't be composed using ..

If performance is secondary, consider using the slower runFreshEnumIOSimple, which doesn't have a higher-rank type.

Run a Fresh effect purely by specifying an Enum to be used as the type of unique objects.

Beware: This is safe only if:

1. This is run after all interpreters which may revert local state or produce multiple, inconsistent instances of local state. This includes interpreters that may backtrack or produce multiple results (such as runError or runNonDet).
2. You don't use any interpreter which may cause the final monad to revert local state or produce multiple, inconsistent instances of local state. This includes errorToIO and asyncToIO.

Prefer freshToIO or runFreshEnumIO whenever possible.

Derivs (FreshEnumC uniq m) = Fresh uniq ': Derivs m

Prims  (FreshEnumC uniq m) = Prims m

Run a Fresh effect though atomic operations in IO by specifying an Enum to be used as the type of unique objects.

This is a less performant version of runFreshEnumIO that doesn't have a higher-rank type, making it much easier to use partially applied.

StateThreads accepts the following primitive effects:

• Regional s
• Optional s (when s is a functor)
• BaseControl b
• ListenPrim o (when o is a Monoid)
• WriterPrim o (when o is a Monoid)
• ReaderPrim i
• Mask
• Bracket
• Fix
• Split