SSTG.Core.Language.Typing

Typing Module

Documentation

class Typeable a where

Typeable typeclass.

Minimal complete definition

typeOf

Methods

typeOf :: a -> Type

Instances

Typeable DataCon

DataCon instance of Typeable.

Methods

typeOf :: DataCon -> Type

Typeable Alt

Alt instance of Typeable.

Methods

typeOf :: Alt -> Type

Typeable Expr

Expr instance of Typeable.

Methods

typeOf :: Expr -> Type

Typeable PrimFun

PrimFun instance of Typeable.

Methods

typeOf :: PrimFun -> Type

Typeable Atom

Atom instance of Typeable.

Methods

typeOf :: Atom -> Type

Typeable Lit

Lit instance of Typeable.

Methods

typeOf :: Lit -> Type

Typeable Var

Var instance of Typeable.

Methods

typeOf :: Var -> Type