Documentation

type Witnessed = PairType (IOWitness :: k -> Type) Source #

unWitnessed :: forall {k} f (a :: k). Witnessed f a -> f a Source #

newWitnessed :: forall {k} f (a :: k). f a -> IO (Witnessed f a) Source #

type WitnessedIORef = Witnessed IORef Source #

newWitnessedIORef :: a -> IO (WitnessedIORef a) Source #