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

matchKindArgs :: [SpecType] -> [SpecType] -> [SpecType]

symbolRTyVar :: Symbol -> RTyVar

simpleSymbolVar :: Var -> Symbol

hasBoolResult :: Type -> Bool

isKind :: Kind -> Bool