Documentation

varType :: Var -> Type Source #

litType :: Lit -> Type Source #

atomType :: Atom -> Type Source #

primFunType :: PrimFun -> Type Source #

dataConType :: DataCon -> Type Source #

altType :: Alt -> Type Source #

exprType :: Expr -> Type Source #