Data.LVar.Internal.Pure

data PureLVar s t

newPureLVar

putPureLVar

waitPureLVar

freezePureLVar

getPureLVar

unsafeGetPureLVar

Verifying lattice structure

verifyFiniteJoin

verifyFiniteGet