data-effects-0.4.0.2: A basic framework for effect systems based on effects represented by GADTs.
Copyright(c) 2024-2025 Sayo contributors
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Effect.Fresh

Description

 

Documentation

data Fresh i :: Effect where Source #

Constructors

Fresh :: Fresh i f i 

Instances

Instances details
FirstOrder (Fresh i) Source # 
Instance details

Defined in Data.Effect.Fresh

HFunctor (Fresh i) Source # 
Instance details

Defined in Data.Effect.Fresh

Methods

hfmap :: (forall x. f x -> g x) -> Fresh i f a -> Fresh i g a #

type LabelOf (Fresh i) Source # 
Instance details

Defined in Data.Effect.Fresh

type LabelOf (Fresh i) = FreshLabel
type OrderOf (Fresh i) Source # 
Instance details

Defined in Data.Effect.Fresh

type OrderOf (Fresh i) = 'FirstOrder

data FreshLabel Source #

fresh'_ :: forall (i :: Type) f es ff c. (Free c ff, f ~ Eff ff es, In (Fresh i) es) => f i Source #

fresh'' :: forall tag (i :: Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Tagged tag (Fresh i)) es) => f i Source #

fresh' :: forall key (i :: Type) f es ff c. (Free c ff, f ~ Eff ff es, Has key (Fresh i) es) => f i Source #

fresh :: forall (i :: Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Fresh i) es) => f i Source #