SSTG-0.1.0.6: STG Symbolic Execution

Safe HaskellSafe
LanguageHaskell2010

SSTG.Core.Syntax.Typecheck

Description

Typing Module

Synopsis

Documentation

varType :: Var -> Type Source #

Variable type.

litType :: Lit -> Type Source #

Literal type.

atomType :: Atom -> Type Source #

Atom type.

primFunType :: PrimFun -> Type Source #

Primitive function type.

dataConType :: DataCon -> Type Source #

Data constructor type denoted as a function.

altType :: Alt -> Type Source #

Alt type

exprType :: Expr -> Type Source #

I wonder what this could possibly be?