Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Effect.Select

Documentation

Constructors

Select :: ((a -> r) -> a) -> Select r f a

Instances details

FirstOrder (Select r) Source #
Instance details Defined in Data.Effect.Select
HFunctor (Select r) Source #
Instance details Defined in Data.Effect.Select Methods hfmap :: (forall x. f x -> g x) -> Select r f a -> Select r g a #
type LabelOf (Select r) Source #
Instance details Defined in Data.Effect.Select type LabelOf (Select r) = SelectLabel
type OrderOf (Select r) Source #
Instance details Defined in Data.Effect.Select type OrderOf (Select r) = 'FirstOrder

select'_ :: forall (a :: Type) (r :: Type) f es ff c. (Free c ff, f ~ Eff ff es, In (Select r) es) => ((a -> r) -> a) -> f a Source #

select'' :: forall tag (a :: Type) (r :: Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Tagged tag (Select r)) es) => ((a -> r) -> a) -> f a Source #

select' :: forall key (a :: Type) (r :: Type) f es ff c. (Free c ff, f ~ Eff ff es, Has key (Select r) es) => ((a -> r) -> a) -> f a Source #

select :: forall (a :: Type) (r :: Type) f es ff c. (Free c ff, f ~ Eff ff es, (:>) (Select r) es) => ((a -> r) -> a) -> f a Source #