liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Misc

Documentation

freeSymbols :: (Reftable r, Reftable r1, Reftable r2, TyConable c, TyConable c1, TyConable c2) => [Symbol] -> [(a1, Located (RType c2 tv2 r2))] -> [(a, Located (RType c1 tv1 r1))] -> [Located (RType c tv r)] -> [LocSymbol] #

joinVar :: [Var] -> (Var, s, t) -> (Var, s, t) #

mkVarExpr :: Id -> Expr #

vmap :: MapTyVarST -> [(Var, RTyVar)] #

runMapTyVars :: Type -> SpecType -> (Doc -> Doc -> Error) -> Either Error MapTyVarST #

symbolRTyVar :: Symbol -> RTyVar #

simpleSymbolVar :: Var -> Symbol #