Database.Perdure.Deref

Documentation

class Deref r where

Methods

derefIO :: r a -> IO a

Instances

Deref Ref0

Deref DRef

Deref r => Deref (CRef r)

Deref r => Deref (IRef r)

Deref (SizeRef n)

(Deref ra, Deref rb) => Deref (Sum ra rb)

deref :: Deref r => r a -> a

derefEq :: (Deref r, Eq a) => r a -> r a -> Bool