Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.CloneableHandle

Contents

CloneableHandle
GHC.Generics re-exports

Description

Bluefin.CloneableHandle defines the CloneableHandle class, whose purpose is to support withEffToIOCloneHandle.

Synopsis

withEffToIOCloneHandle :: forall (e1 :: Effects) (es :: Effects) h a. (e1 <: es, CloneableHandle h) => IOE e1 -> h es -> ((forall r. (forall (e :: Effects). IOE e -> h e -> Eff e r) -> IO r) -> IO a) -> Eff es a
class Handle h => CloneableHandle (h :: Effects -> Type)
newtype GenericCloneableHandle (h :: k -> Type) (e :: k) = MkGenericCloneableHandle (h e)
class Handle h => GCloneableHandle (h :: Effects -> Type)
class Generic1 (f :: k -> Type)

Documentation

withEffToIOCloneHandle is an IO unlifting function that clones its handle each time it runs Eff in IO. This is convenient when the unlifting function is being used to fork threads, since Bluefin state is not threadsafe. Be careful when you use it, because it can be used to throw away the effect tag on a Bluefin Eff action due to this part of its type (here throwing away e):

(forall e. IOE e -> h e -> Eff e r) -> IO r

It is only safely used when you do not allow any effects to escape their scope, so we suggest that you use it sparingly to define reusable combinators which themselves are safe. For example, here is how you could write an equivalent of async's race primitive:

bluefinRace ::
  (CloneableHandle h, e1 <: es) =>
  IOE e1 ->
  h es ->
  (forall e. IOE e -> h e -> Eff e r) ->
  (forall e. IOE e -> h e -> Eff e r) ->
  Eff es r
bluefinRace io h m1 m2 = withEffToIOCloneHandle io h $ \runInIO -> do
 either id id
   <$> Control.Concurrent.Async.race
     (runInIO $ \io' h' -> m1 io' h')
     (runInIO $ \io' h' -> m2 io' h')

Then you can safely use it to race Bluefin Eff actions:

example :: IO ()
example = runEff $ \io -> evalState 0 $ \st -> do
  r <- try $ \ex -> do
    bluefinRace
      io
      (MkMyHandle (mapHandle ex) (mapHandle st))
      ( \_ (MkMyHandle ex' st') -> do
          modify st' (subtract 2000)
          throw ex' "Aborting from branch 1"
      )
      ( \_ (MkMyHandle _ st') -> do
          modify st' (+ 3000)
          pure (2 :: Int)
      )

  s <- get st
  effIO io (print r)
  effIO io (putStrLn ("State started at 0 and was cloned. Now: " <> show s))

You can see from the output that the actions were raced as expected, and the State was cloned so that changes to it in the branches of race did not affect the original State.

-- Run one time (the first thread was faster)
ghci> example
Right 2
State started at 0 and was cloned. Now: 0
-- Run another time (the second thread was faster)
ghci> example
Left "Aborting from branch 1"
State started at 0 and was cloned. Now: 0

Note that withEffToIOCloneHandle only allows access to one external Handle within it, so if you have several you'd like to use you'll have to define a new handle that bundles them together.

withEffToIOCloneHandle :: forall (e1 :: Effects) (es :: Effects) h a. (e1 <: es, CloneableHandle h) => IOE e1 -> h es -> ((forall r. (forall (e :: Effects). IOE e -> h e -> Eff e r) -> IO r) -> IO a) -> Eff es a #

`CloneableHandle`

class Handle h => CloneableHandle (h :: Effects -> Type) #

Minimal complete definition

cloneableHandleImpl

Instances

Instances details

CloneableHandle IOE
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD IOE
CloneableHandle (Exception a)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Exception a)
CloneableHandle h => CloneableHandle (HandleReader h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (HandleReader h)
CloneableHandle (Reader r)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Reader r)
CloneableHandle (State s)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (State s)
(TypeError ('Text "Writer cannot be cloned. Perhaps you want an STM channel?") :: Constraint) => CloneableHandle (Writer w)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Writer w)
(TypeError ('Text "Coroutine cannot be cloned. Perhaps you want an STM channel?") :: Constraint) => CloneableHandle (Coroutine a b)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Coroutine a b)
(Handle h, Generic1 h, GCloneableHandle (Rep1 h)) => CloneableHandle (GenericCloneableHandle h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (GenericCloneableHandle h)

newtype GenericCloneableHandle (h :: k -> Type) (e :: k) #

Constructors

MkGenericCloneableHandle (h e)

Instances

Instances details

(Handle h, e <: es) => OneWayCoercible (GenericCloneableHandle h e :: Type) (GenericCloneableHandle h es :: Type)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods oneWayCoercibleImpl :: OneWayCoercibleD (GenericCloneableHandle h e) (GenericCloneableHandle h es) #
Handle h => Handle (GenericCloneableHandle h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods handleImpl :: HandleD (GenericCloneableHandle h) #
(Handle h, Generic1 h, GCloneableHandle (Rep1 h)) => CloneableHandle (GenericCloneableHandle h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (GenericCloneableHandle h)

class Handle h => GCloneableHandle (h :: Effects -> Type) #

Minimal complete definition

gCloneableHandleImpl

Instances

Instances details

CloneableHandle h => GCloneableHandle (Rec1 h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (Rec1 h)
(GCloneableHandle h1, GCloneableHandle h2) => GCloneableHandle (h1 :*: h2)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (h1 :*: h2)
GCloneableHandle h => GCloneableHandle (M1 i t h)
Instance details Defined in Bluefin.Internal.CloneableHandle Methods gCloneableHandleImpl :: CloneableHandleD (M1 i t h)

`GHC.Generics` re-exports

class Generic1 (f :: k -> Type) #

Minimal complete definition

from1, to1

Instances

Instances details

Generic1 Down
Instance details Defined in GHC.Generics Associated Types type Rep1 Down :: k -> Type Methods from1 :: forall (a :: k). Down a -> Rep1 Down a to1 :: forall (a :: k). Rep1 Down a -> Down a
Generic1 NonEmpty
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty :: k -> Type Methods from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a
Generic1 Par1
Instance details Defined in GHC.Generics Associated Types type Rep1 Par1 :: k -> Type Methods from1 :: forall (a :: k). Par1 a -> Rep1 Par1 a to1 :: forall (a :: k). Rep1 Par1 a -> Par1 a
Generic1 Maybe
Instance details Defined in GHC.Generics Associated Types type Rep1 Maybe :: k -> Type Methods from1 :: forall (a :: k). Maybe a -> Rep1 Maybe a to1 :: forall (a :: k). Rep1 Maybe a -> Maybe a
Generic1 Solo
Instance details Defined in GHC.Generics Associated Types type Rep1 Solo :: k -> Type Methods from1 :: forall (a :: k). Solo a -> Rep1 Solo a to1 :: forall (a :: k). Rep1 Solo a -> Solo a
Generic1 List
Instance details Defined in GHC.Generics Associated Types type Rep1 List :: k -> Type Methods from1 :: forall (a :: k). [a] -> Rep1 List a to1 :: forall (a :: k). Rep1 List a -> [a]
Generic1 (Either a :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (Either a) :: k -> Type Methods from1 :: forall (a0 :: k). Either a a0 -> Rep1 (Either a) a0 to1 :: forall (a0 :: k). Rep1 (Either a) a0 -> Either a a0
Generic1 ((,) a :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,) a) :: k -> Type Methods from1 :: forall (a0 :: k). (a, a0) -> Rep1 ((,) a) a0 to1 :: forall (a0 :: k). Rep1 ((,) a) a0 -> (a, a0)
Generic1 (Proxy :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 Proxy :: k -> Type Methods from1 :: forall (a :: k0). Proxy a -> Rep1 Proxy a to1 :: forall (a :: k0). Rep1 Proxy a -> Proxy a
Generic1 (U1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 U1 :: k -> Type Methods from1 :: forall (a :: k0). U1 a -> Rep1 U1 a to1 :: forall (a :: k0). Rep1 U1 a -> U1 a
Generic1 (V1 :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 V1 :: k -> Type Methods from1 :: forall (a :: k0). V1 a -> Rep1 V1 a to1 :: forall (a :: k0). Rep1 V1 a -> V1 a
Generic1 ((,,) a b :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,) a b) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, a0) -> Rep1 ((,,) a b) a0 to1 :: forall (a0 :: k). Rep1 ((,,) a b) a0 -> (a, b, a0)
Generic1 (Rec1 f :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (Rec1 f) :: k -> Type Methods from1 :: forall (a :: k0). Rec1 f a -> Rep1 (Rec1 f) a to1 :: forall (a :: k0). Rep1 (Rec1 f) a -> Rec1 f a
Generic1 (URec (Ptr ()) :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec (Ptr ())) :: k -> Type Methods from1 :: forall (a :: k0). URec (Ptr ()) a -> Rep1 (URec (Ptr ())) a to1 :: forall (a :: k0). Rep1 (URec (Ptr ())) a -> URec (Ptr ()) a
Generic1 (URec Char :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Char) :: k -> Type Methods from1 :: forall (a :: k0). URec Char a -> Rep1 (URec Char) a to1 :: forall (a :: k0). Rep1 (URec Char) a -> URec Char a
Generic1 (URec Double :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Double) :: k -> Type Methods from1 :: forall (a :: k0). URec Double a -> Rep1 (URec Double) a to1 :: forall (a :: k0). Rep1 (URec Double) a -> URec Double a
Generic1 (URec Float :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Float) :: k -> Type Methods from1 :: forall (a :: k0). URec Float a -> Rep1 (URec Float) a to1 :: forall (a :: k0). Rep1 (URec Float) a -> URec Float a
Generic1 (URec Int :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Int) :: k -> Type Methods from1 :: forall (a :: k0). URec Int a -> Rep1 (URec Int) a to1 :: forall (a :: k0). Rep1 (URec Int) a -> URec Int a
Generic1 (URec Word :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (URec Word) :: k -> Type Methods from1 :: forall (a :: k0). URec Word a -> Rep1 (URec Word) a to1 :: forall (a :: k0). Rep1 (URec Word) a -> URec Word a
Generic1 ((,,,) a b c :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,) a b c) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, a0) -> Rep1 ((,,,) a b c) a0 to1 :: forall (a0 :: k). Rep1 ((,,,) a b c) a0 -> (a, b, c, a0)
Generic1 (f :*: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :: g) a -> Rep1 (f :: g) a to1 :: forall (a :: k0). Rep1 (f :: g) a -> (f :*: g) a
Generic1 (f :+: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :+: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :+: g) a -> Rep1 (f :+: g) a to1 :: forall (a :: k0). Rep1 (f :+: g) a -> (f :+: g) a
Generic1 (K1 i c :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (K1 i c) :: k -> Type Methods from1 :: forall (a :: k0). K1 i c a -> Rep1 (K1 i c) a to1 :: forall (a :: k0). Rep1 (K1 i c) a -> K1 i c a
Generic1 ((,,,,) a b c d :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,) a b c d) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, a0) -> Rep1 ((,,,,) a b c d) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,) a b c d) a0 -> (a, b, c, d, a0)
Functor f => Generic1 (f :.: g :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (f :.: g) :: k -> Type Methods from1 :: forall (a :: k0). (f :.: g) a -> Rep1 (f :.: g) a to1 :: forall (a :: k0). Rep1 (f :.: g) a -> (f :.: g) a
Generic1 (M1 i c f :: k -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 (M1 i c f) :: k -> Type Methods from1 :: forall (a :: k0). M1 i c f a -> Rep1 (M1 i c f) a to1 :: forall (a :: k0). Rep1 (M1 i c f) a -> M1 i c f a
Generic1 ((,,,,,) a b c d e :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,) a b c d e) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, a0) -> Rep1 ((,,,,,) a b c d e) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,) a b c d e) a0 -> (a, b, c, d, e, a0)
Generic1 ((,,,,,,) a b c d e f :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,) a b c d e f) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, a0) -> Rep1 ((,,,,,,) a b c d e f) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,) a b c d e f) a0 -> (a, b, c, d, e, f, a0)
Generic1 ((,,,,,,,) a b c d e f g :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,) a b c d e f g) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, a0) -> Rep1 ((,,,,,,,) a b c d e f g) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,) a b c d e f g) a0 -> (a, b, c, d, e, f, g, a0)
Generic1 ((,,,,,,,,) a b c d e f g h :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,) a b c d e f g h) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, a0) -> Rep1 ((,,,,,,,,) a b c d e f g h) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,) a b c d e f g h) a0 -> (a, b, c, d, e, f, g, h, a0)
Generic1 ((,,,,,,,,,) a b c d e f g h i :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,) a b c d e f g h i) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, i, a0) -> Rep1 ((,,,,,,,,,) a b c d e f g h i) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,,) a b c d e f g h i) a0 -> (a, b, c, d, e, f, g, h, i, a0)
Generic1 ((,,,,,,,,,,) a b c d e f g h i j :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,) a b c d e f g h i j) :: k -> Type Methods from1 :: forall (a0 :: k). (a, b, c, d, e, f, g, h, i, j, a0) -> Rep1 ((,,,,,,,,,,) a b c d e f g h i j) a0 to1 :: forall (a0 :: k). Rep1 ((,,,,,,,,,,) a b c d e f g h i j) a0 -> (a, b, c, d, e, f, g, h, i, j, a0)
Generic1 ((,,,,,,,,,,,) a b c d e f g h i j k :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, a0) -> Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) a0 -> (a, b, c, d, e, f, g, h, i, j, k, a0)
Generic1 ((,,,,,,,,,,,,) a b c d e f g h i j k l :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, a0) -> Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, a0)
Generic1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, m, a0) -> Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, a0)
Generic1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Type -> Type)
Instance details Defined in GHC.Generics Associated Types type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) :: k -> Type Methods from1 :: forall (a0 :: k0). (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0) -> Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 to1 :: forall (a0 :: k0). Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0)

Documentation

CloneableHandle

Instances

Instances

Instances

GHC.Generics re-exports

Instances

`CloneableHandle`

`GHC.Generics` re-exports