Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.HandleReader

Contents

Synopsis

data HandleReader (h :: Effects -> Type) (e :: Effects)
runHandleReader :: forall (e1 :: Effects) (es :: Effects) h r. (e1 :> es, Handle h) => h e1 -> (forall (e :: Effects). HandleReader h e -> Eff (e :& es) r) -> Eff es r
askHandle :: forall (e :: Effects) (es :: Effects) h. (e :> es, Handle h) => HandleReader h e -> Eff es (h es)
localHandle :: forall (e :: Effects) (es :: Effects) h r. (e :> es, Handle h) => HandleReader h e -> (h es -> h es) -> Eff es r -> Eff es r

Handle

Instances details

Handle h => Handle (HandleReader h)
Instance details Defined in Bluefin.Internal Methods mapHandle :: forall (e :: Effects) (es :: Effects). e :> es => HandleReader h e -> HandleReader h es #

Handlers

Arguments

:: forall (e1 :: Effects) (es :: Effects) h r. (e1 :> es, Handle h)
=> h e1
-> (forall (e :: Effects). HandleReader h e -> Eff (e :& es) r)
-> Eff es r	͘

Arguments

:: forall (e :: Effects) (es :: Effects) h. (e :> es, Handle h)
=> HandleReader h e
-> Eff es (h es)	͘

Arguments

:: forall (e :: Effects) (es :: Effects) h r. (e :> es, Handle h)
=> HandleReader h e
-> (h es -> h es)
-> Eff es r
-> Eff es r	͘