Language.PureScript.TypeChecker.Types

This module implements the type checker

Documentation

data BindingGroupType

Constructors

RecursiveBindingGroup

NonRecursiveBindingGroup

Instances

Eq BindingGroupType

Methods

(==) :: BindingGroupType -> BindingGroupType -> Bool

(/=) :: BindingGroupType -> BindingGroupType -> Bool

Ord BindingGroupType

Methods

compare :: BindingGroupType -> BindingGroupType -> Ordering

(<) :: BindingGroupType -> BindingGroupType -> Bool

(<=) :: BindingGroupType -> BindingGroupType -> Bool

(>) :: BindingGroupType -> BindingGroupType -> Bool

(>=) :: BindingGroupType -> BindingGroupType -> Bool

max :: BindingGroupType -> BindingGroupType -> BindingGroupType

min :: BindingGroupType -> BindingGroupType -> BindingGroupType

Show BindingGroupType

Methods

showsPrec :: Int -> BindingGroupType -> ShowS

show :: BindingGroupType -> String

showList :: [BindingGroupType] -> ShowS

typesOf :: (MonadSupply m, MonadState CheckState m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) => BindingGroupType -> ModuleName -> [((SourceAnn, Ident), Expr)] -> m [((SourceAnn, Ident), (Expr, Type))]

Infer the types of multiple mutually-recursive values, and return elaborated values including type class dictionaries and type annotations.