Cryptol.TypeCheck.Depends

Documentation

data TyDecl

Constructors

TS TySyn

NT Newtype

orderTyDecls :: [TyDecl] -> InferM [TyDecl]

Check for duplicate and recursive type synonyms. Returns the type-synonyms in dependecy order.

orderBinds :: [Bind] -> [SCC Bind]

Associate type signatures with bindings and order bindings by dependency.

class FromDecl d where

Methods

toBind :: d -> Maybe Bind

toTyDecl :: d -> Maybe TyDecl

isTopDecl :: d -> Bool

Instances

FromDecl Decl

FromDecl TopDecl

mkScc :: [(a, [QName], [QName])] -> [SCC a]

Given a list of declarations, annoted with (i) the names that they define, and (ii) the names that they use, we compute a list of strongly connected components of the declarations. The SCCs are in dependency order.

combineMaps :: [Map QName (Located a)] -> InferM (Map QName (Located a))

Combine a bunch of definitions into a single map. Here we check that each name is defined only onces.

combine :: [(QName, Located a)] -> InferM (Map QName (Located a))

Combine a bunch of definitions into a single map. Here we check that each name is defined only onces.

duplicates :: Ord a => [Located a] -> [(a, [Range])]

Identify multiple occurances of something.