Safe Haskell | Safe-Infered |
---|
Documentation
fresh :: PointSupply a -> a -> (PointSupply a, Point a)Source
repr :: PointSupply a -> Point a -> Point aSource
descriptor :: PointSupply a -> Point a -> aSource
union :: PointSupply a -> Point a -> Point a -> PointSupply aSource
equivalent :: PointSupply a -> Point a -> Point a -> BoolSource
data PointSupply a Source
Show a => Show (PointSupply a) |