Language.Haskell.Liquid.Transforms.RefSplit

Documentation

splitXRelatedRefs :: Symbol -> SpecType -> (SpecType, SpecType)

Orphan instances

Show (UReft Reft)

Methods

showsPrec :: Int -> UReft Reft -> ShowS

show :: UReft Reft -> String

showList :: [UReft Reft] -> ShowS