Data.Effect.Unlift

Documentation

data UnliftBase b f (a :: Type) where

Constructors

WithRunInBase :: ((forall x. f x -> b x) -> b a) -> UnliftBase b f a

Instances

() => HFunctor (UnliftBase b)

Defined in Data.Effect.Unlift

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> UnliftBase b f :-> UnliftBase b g

withRunInBase'' :: forall key (b :: Type -> Type) (a :: Type) f. SendSigBy key (UnliftBase b) f => ((forall (x :: Type). f x -> b x) -> b a) -> f a

withRunInBase' :: forall tag (b :: Type -> Type) (a :: Type) f. SendSig (TagH (UnliftBase b) tag) f => ((forall (x :: Type). f x -> b x) -> b a) -> f a

withRunInBase :: forall (b :: Type -> Type) (a :: Type) f. SendSig (UnliftBase b) f => ((forall (x :: Type). f x -> b x) -> b a) -> f a

type UnliftIO = UnliftBase IO

pattern WithRunInIO :: ((f ~> IO) -> IO a) -> UnliftIO f a

withRunInIO :: UnliftIO <<: f => ((f ~> IO) -> IO a) -> f a

withRunInIO' :: forall tag f a. (UnliftIO ## tag) <<: f => ((f ~> IO) -> IO a) -> f a

withRunInIO'' :: forall key f a. SendSigBy key UnliftIO f => ((f ~> IO) -> IO a) -> f a