Nix.Var

Orphan instances

GEq IORef

Methods

geq :: forall (a :: k) (b :: k). IORef a -> IORef b -> Maybe (a :~: b)

GEq (STRef s :: Type -> Type)

Methods

geq :: forall (a :: k) (b :: k). STRef s a -> STRef s b -> Maybe (a :~: b)