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) |