liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.GHC.Play
class Subable a where Source
Methods
sub :: HashMap CoreBndr CoreExpr -> a -> a Source
subTy :: HashMap TyVar Type -> a -> a Source
Instances
subVar :: Expr t -> Id Source
substTysWith :: HashMap Var Type -> Type -> Type Source