data-effects-0.3.0.1: A basic framework for effect systems based on effects represented by GADTs.
Copyright(c) 2023 Sayo Koyoneda
LicenseMPL-2.0 (see the file LICENSE)
Maintainer[email protected]
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageGHC2021

Data.Effect.Fresh

Description

 

Documentation

data Fresh i a where Source #

Constructors

Fresh :: forall i. Fresh i i 

type LFresh i = LiftFOE (Fresh i) Source #

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

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

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

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