liquidhaskell-0.8.0.5: Liquid Types for Haskell
Language.Haskell.Liquid.Transforms.RefSplit
Contents
splitXRelatedRefs :: Symbol -> SpecType -> (SpecType, SpecType) Source #
Methods
showsPrec :: Int -> UReft Reft -> ShowS #
show :: UReft Reft -> String #
showList :: [UReft Reft] -> ShowS #