liquidhaskell-0.4.1.1: Liquid Types for Haskell
Language.Haskell.Liquid.Bounds
data Bound t e Source
Constructors
Fields
The name of the bound
Type variables that appear in the bounds
These are abstract refinements, for now
These are value variables
The body of the bound
Instances
type RBound = RRBound RSort Source
type RRBound tv = Bound tv Pred Source
type RBEnv = HashMap LocSymbol RBound Source
type RRBEnv tv = HashMap LocSymbol (RRBound tv) Source
makeBound :: (PPrint r, UReftable r) => RRBound RSort -> [RRType r] -> [Symbol] -> RRType r -> RRType r Source
envToSub :: [(t, t1)] -> ([(t, t1)], t1, t1) Source