concurrent-0

Safe HaskellTrustworthy
LanguageHaskell2010

Concurrent.Capability.Pinned

Documentation

newtype Pinned s a Source

Constructors

Pinned 

Fields

unpinned :: IO a
 

Instances

Monad (Pinned k s) Source 
Functor (Pinned k s) Source 
Applicative (Pinned k s) Source 
Alternative (Pinned k s) Source 
MonadPlus (Pinned k s) Source 
PrimMonad (Pinned k s) Source 
PrimBase (Pinned k s) Source 
MonadThrow (Pinned k s) Source 
MonadMask (Pinned k s) Source 
MonadCatch (Pinned k s) Source 
ReifiesCapability k s => ReifiesCapability (* -> *) (Pinned k s) Source 
type PrimState (Pinned k s) = RealWorld Source 

runPinned :: (forall s. ReifiesCapability s => Pinned s a) -> IO a Source

class ReifiesCapability s where Source

Methods

reflectCapability :: Tagged s Int Source

Instances