Copyright	(c) 2025 Sayo contributors
License	MPL-2.0 (see the LICENSE file)
Maintainer	ymdfield@outlook.jp
Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Effect.HFunctor

Description

Documentation

class HFunctor (ff :: (Type -> Type) -> Type -> Type) where Source #

Methods

hfmap :: (forall x. f x -> g x) -> ff f a -> ff g a Source #

Instances

Instances details

HFunctor Choose Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Choose f a -> Choose g a Source #
HFunctor ChooseH Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> ChooseH f a -> ChooseH g a Source #
HFunctor Empty Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Empty f a -> Empty g a Source #
HFunctor Fail Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Fail f a -> Fail g a Source #
HFunctor Fix Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Fix f a -> Fix g a Source #
HFunctor Nop Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Nop f a -> Nop g a Source #
HFunctor (Ask r) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Ask r f a -> Ask r g a Source #
HFunctor (CC ref) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> CC ref f a -> CC ref g a Source #
HFunctor (Catch w) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Catch w f a -> Catch w g a Source #
HFunctor (Emb e) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Emb e f a -> Emb e g a Source #
HFunctor (Local r) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Local r f a -> Local r g a Source #
HFunctor (State s) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> State s f a -> State s g a Source #
HFunctor (Tell w) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Tell w f a -> Tell w g a Source #
HFunctor (Throw e) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> Throw e f a -> Throw e g a Source #
HFunctor (UnliftBase b) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> UnliftBase b f a -> UnliftBase b g a Source #
HFunctor (WriterH w) Source #
Instance details Defined in Data.Effect Methods hfmap :: (forall x. f x -> g x) -> WriterH w f a -> WriterH w g a Source #
HFunctor (Union es) Source #
Instance details Defined in Data.Effect.OpenUnion Methods hfmap :: (forall x. f x -> g x) -> Union es f a -> Union es g a Source #
HFunctor (HCont ff g) Source #
Instance details Defined in Data.Effect.HFunctor.HCont Methods hfmap :: (forall x. f x -> g0 x) -> HCont ff g f a -> HCont ff g g0 a Source #
HFunctor e => HFunctor (Tagged tag e) Source #
Instance details Defined in Data.Effect.Tag Methods hfmap :: (forall x. f x -> g x) -> Tagged tag e f a -> Tagged tag e g a Source #