monad-stlike-io-0.2.1: ST-like monad capturing variables to regions and supporting IO. Source code Contents Index

Control.Monad.STLike.IO

Contents IOS monad Regioned monad Utilities

Synopsis

type IOS s t = STLike IO s t io :: IO t -> IOS s t runIOS :: (forall s. IOS s t) -> IO t data Regioned s t runRegion :: (NotShared ty, RegionMonad m region s) => Regioned s ty -> STLike m region ty region :: t -> Regioned s t unfoldRegion :: Foldable t => Regioned s (t a) -> [Regioned s a] class STLikeImpl m => RegionMonad m region s data a :< b withRIOR :: IOS o resource -> (resource -> IOS o ()) -> (forall s. Regioned (s :< o) resource -> IOS (s :< o) result) -> IOS o result try :: IOS s t -> IOS s (Either SomeException t) rbsFromPtr :: Ptr a -> Int -> IOS s (Regioned s ByteString) rbsToBS :: RegionMonad m s reg => Regioned s ByteString -> STLike m reg ByteString withRbsPtr :: Regioned s ByteString -> (Ptr any -> Int -> IOS s t) -> IOS s t rbsMapLookup :: (RegionMonad m s reg, Ord key) => Regioned s key -> Map key value -> STLike m reg (Maybe value)

IOS monad

type IOS s t = STLike IO s t Source

Monad for scoped IO computations The underlying monad must be strict here.

io :: IO t -> IOS s t Source

Lift IO computations into IOS. liftIO also works.

runIOS :: (forall s. IOS s t) -> IO t Source

Run an IOS computation in the IO monad.

Regioned monad

data Regioned s t Source

Regioned variables. A regioned variable is safe i.e. no references to it may escape the current IOS. Instances Monad (Regioned s) Functor (Regioned s)

runRegion :: (NotShared ty, RegionMonad m region s) => Regioned s ty -> STLike m region ty Source

Run a computation on regioned data and return the result in a strict fashion.

region :: t -> Regioned s t Source

Regions a value. Synonym for return.

unfoldRegion :: Foldable t => Regioned s (t a) -> [Regioned s a] Source

Utilities

class STLikeImpl m => RegionMonad m region s Source

Instances (STLikeImpl m, TypeCast reg (:< any rest), RegionMonad m rest s) => RegionMonad m reg s STLikeImpl m => RegionMonad m s s

data a :< b Source

withRIOR Source

:: => IOS o resource Close it. -> resource -> IOS o () Compute with it. -> forall s. Regioned (s :< o) resource -> IOS (s :< o) result -> IOS o result Use a resource with IOS. Like bracket.

try :: IOS s t -> IOS s (Either SomeException t) Source

rbsFromPtr :: Ptr a -> Int -> IOS s (Regioned s ByteString) Source

Create a ByteString representing the pointer and length. No copying done, O(1).

rbsToBS :: RegionMonad m s reg => Regioned s ByteString -> STLike m reg ByteString Source

Create a copy of a regioned ByteString as a normal ByteString. O(n).

withRbsPtr :: Regioned s ByteString -> (Ptr any -> Int -> IOS s t) -> IOS s t Source

Use a regioned ByteString as a pointer. O(1). The pointer points to the region contents, so be cafeful with it.

rbsMapLookup :: (RegionMonad m s reg, Ord key) => Regioned s key -> Map key value -> STLike m reg (Maybe value) Source

Lookup inside a Map with a regioned ByteString.

Produced by Haddock version 2.6.0