Feldspar.Core.Ref

A simple implementation of "observable sharing". See

• Koen Claessen, David Sands, "Observable sharing for functional circuit description", Asian Computing Science Conference, 1999.

for more details.

Documentation

data Ref a

Instances

Eq (Ref a)

Ord (Ref a)

refId :: Ref a -> Unique

deref :: Ref a -> a

ref :: a -> Ref a