Documentation

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

mkVarExpr :: Id -> Expr Source #

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

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

matchKindArgs :: [SpecType] -> [SpecType] -> [SpecType] Source #

symbolRTyVar :: Symbol -> RTyVar Source #

simpleSymbolVar :: Var -> Symbol Source #

hasBoolResult :: Type -> Bool Source #

isKind :: Kind -> Bool Source #