telomare-0.1.0.0: A simple but robust virtual machine
Safe HaskellSafe-Inferred
LanguageHaskell2010

Telomare.TypeChecker

Documentation

debug :: Bool Source #

debugTrace :: String -> a -> a Source #

newtype DebugTypeMap Source #

Constructors

DebugTypeMap (Map Int PartialType) 

Instances

Instances details
Show DebugTypeMap Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

showsPrec :: Int -> DebugTypeMap -> ShowS Source #

show :: DebugTypeMap -> String Source #

showList :: [DebugTypeMap] -> ShowS Source #

data TypeCheckError Source #

Constructors

UnboundType Int 
InconsistentTypes PartialType PartialType 
RecursiveType Int 

Instances

Instances details
Show TypeCheckError Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

showsPrec :: Int -> TypeCheckError -> ShowS Source #

show :: TypeCheckError -> String Source #

showList :: [TypeCheckError] -> ShowS Source #

Eq TypeCheckError Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

(==) :: TypeCheckError -> TypeCheckError -> Bool Source #

(/=) :: TypeCheckError -> TypeCheckError -> Bool Source #

Ord TypeCheckError Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

compare :: TypeCheckError -> TypeCheckError -> Ordering Source #

(<) :: TypeCheckError -> TypeCheckError -> Bool Source #

(<=) :: TypeCheckError -> TypeCheckError -> Bool Source #

(>) :: TypeCheckError -> TypeCheckError -> Bool Source #

(>=) :: TypeCheckError -> TypeCheckError -> Bool Source #

max :: TypeCheckError -> TypeCheckError -> TypeCheckError Source #

min :: TypeCheckError -> TypeCheckError -> TypeCheckError Source #

type AnnotateState = ExceptT TypeCheckError (State (PartialType, Set TypeAssociation, Int)) Source #

withNewEnv :: LocTag -> AnnotateState a -> AnnotateState (PartialType, a) Source #

setEnv :: PartialType -> AnnotateState () Source #

data TypeAssociation Source #

Constructors

TypeAssociation Int PartialType 

Instances

Instances details
Show TypeAssociation Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

showsPrec :: Int -> TypeAssociation -> ShowS Source #

show :: TypeAssociation -> String Source #

showList :: [TypeAssociation] -> ShowS Source #

Eq TypeAssociation Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

(==) :: TypeAssociation -> TypeAssociation -> Bool Source #

(/=) :: TypeAssociation -> TypeAssociation -> Bool Source #

Ord TypeAssociation Source # 
Instance details

Defined in Telomare.TypeChecker

Methods

compare :: TypeAssociation -> TypeAssociation -> Ordering Source #

(<) :: TypeAssociation -> TypeAssociation -> Bool Source #

(<=) :: TypeAssociation -> TypeAssociation -> Bool Source #

(>) :: TypeAssociation -> TypeAssociation -> Bool Source #

(>=) :: TypeAssociation -> TypeAssociation -> Bool Source #

max :: TypeAssociation -> TypeAssociation -> TypeAssociation Source #

min :: TypeAssociation -> TypeAssociation -> TypeAssociation Source #

makeAssociations :: PartialType -> PartialType -> Either TypeCheckError (Set TypeAssociation) Source #

buildTypeMap :: Set TypeAssociation -> Either TypeCheckError (Map Int PartialType) Source #

fullyResolve :: (Int -> Maybe PartialType) -> PartialType -> PartialType Source #

traceAssociate :: PartialType -> PartialType -> a -> a Source #

associateVar :: PartialType -> PartialType -> AnnotateState () Source #

initState :: Term3 -> (PartialType, Set TypeAssociation, Int) Source #

getFragType :: LocTag -> FragIndex -> PartialType Source #

annotate :: Term3 -> AnnotateState PartialType Source #

partiallyAnnotate :: Term3 -> Either TypeCheckError (PartialType, Int -> Maybe PartialType) Source #

inferType :: Term3 -> Either TypeCheckError PartialType Source #

typeCheck :: PartialType -> Term3 -> Maybe TypeCheckError Source #