Control.Object.Instance

Documentation

data Instance f g where

MVar-based instance

Constructors

InstRef :: MVar (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

invoke :: MonadIO m => (forall x. g x -> m x) -> Instance f g -> f a -> m a

Invoke a method with an explicit landing function.

(.-) :: MonadIO m => Instance f m -> f a -> m a

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.