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 #