-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Simple observable sharing
--   
@package observable-sharing
@version 0.2.2.0

module Data.Ref
data Ref a
Ref :: StableName a -> a -> Ref a
label :: Ref a -> StableName a
deref :: Ref a -> a
ref :: a -> Ref a
instance Show a => Show (Ref a)
instance Eq (Ref a)

module Data.Ref.Map

-- | A reference indexed map.
--   
--   useful for associating info with a reference.
data Map f

-- | Shorthand
type Name = StableName

-- | Construct an empty map.
empty :: Map f

-- | Construct a map with a single element.
singleton :: Name a -> f a -> Map f

-- | Returns <a>True</a> if the map is empty, <a>False</a> otherwise.
null :: Map f -> Bool

-- | Returns the number of elements stored in this map.
size :: Map f -> Int

-- | Returns <a>True</a> if the name is present in the map, <a>False</a>
--   otherwise.
member :: Name a -> Map f -> Bool

-- | Unsafe lookup
(!) :: Map f -> Name a -> f a

-- | Finds the value associated with the name, or <a>Nothing</a> if the
--   name has no value associated to it.
lookup :: Name a -> Map f -> Maybe (f a)

-- | Associates a reference with the specified value. If the map already
--   contains a mapping for the reference, the old value is replaced.
insert :: Ref a -> f a -> Map f -> Map f

-- | Removes the associated value of a reference, if any is present in the
--   map.
delete :: Name a -> Map f -> Map f

-- | Updates the associated value of a reference, if any is present in the
--   map.
adjust :: (f a -> f b) -> Name a -> Map f -> Map f
hmap :: (f a -> h a) -> Map f -> Map h

-- | Union of two maps (left biased).
union :: Map f -> Map f -> Map f

-- | Difference of two maps.
difference :: Map f -> Map f -> Map f

-- | Intersectino of two maps.
intersection :: Map f -> Map f -> Map f

-- | HideType, for hiding types!
data HideType f
Hide :: f a -> HideType f
dump :: Map f -> [[(HideType Name, HideType f)]]