Control.Object.Instance

Documentation

data Instance f g where

TMVar-based instance

Constructors

InstRef :: TMVar (Object f g) -> Instance f g

InstLmap :: (forall x. f x -> g x) -> Instance g h -> Instance f h

InstRmap :: Instance f g -> (forall x. g x -> h x) -> Instance f h

Instances

HProfunctor Instance

invokeOn :: (MonadIO m, MonadMask m) => (forall x. g x -> m x) -> Instance f g -> f a -> m a

Invoke a method with an explicit landing function.

invokeOnSTM :: (forall x. g x -> STM x) -> Instance f g -> f a -> STM a

Invoke a method with an explicit landing function.

(..-) :: MonadSTM m => Instance f STM -> f a -> m a infixr 3

Invoke a method, atomically.

(.-) :: (MonadIO m, MonadMask m) => Instance f m -> f a -> m a infixr 3

Invoke a method.

new :: MonadIO m => Object f g -> m (Instance f g)

Create a new instance.

newSettle :: MonadIO m => Object f m -> m (Instance f m)

Create a new instance, having it sitting on the current environment.

newSTM :: Object f g -> STM (Instance f g)

Create a new instance.