liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.Uniquify

Synopsis

Documentation

uniquify :: (NFData a, Fixpoint a, Loc a) => SInfo a -> (GSpan, SInfo a) Source #

Make each gradual appearance unique -------------------------------------