Cryptol.ModuleSystem.Renamer

Documentation

data NamingEnv

Instances

Show NamingEnv

Generic NamingEnv

Monoid NamingEnv

NFData NamingEnv

BindsNames NamingEnv

type Rep NamingEnv

shadowing :: NamingEnv -> NamingEnv -> NamingEnv

Like mappend, but when merging, prefer values on the lhs.

class BindsNames a where

Things that define exported names.

Methods

namingEnv :: a -> SupplyM NamingEnv

Instances

BindsNames ImportIface

Produce a naming environment from an interface file, that contains a mapping only from unqualified names to qualified ones.

BindsNames NamingEnv

BindsNames a => BindsNames [a]

BindsNames a => BindsNames (Maybe a)

BindsNames (TParam PName)

Generate the naming environment for a type parameter.

BindsNames (Schema PName)

Generate a type renaming environment from the parameters that are bound by this schema.

BindsNames (Module PName)

The naming environment for a single module. This is the mapping from unqualified names to fully qualified names with uniques.

BindsNames (InModule (Newtype PName))

BindsNames (InModule (Bind PName))

Introduce the name

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

BindsNames (InModule (TopDecl PName))

data InModule a

Constructors

InModule !ModName a

Instances

Functor InModule

Foldable InModule

Traversable InModule

Show a => Show (InModule a)

BindsNames (InModule (Newtype PName))

BindsNames (InModule (Bind PName))

Introduce the name

BindsNames (InModule (Decl PName))

The naming environment for a single declaration.

BindsNames (InModule (TopDecl PName))

namingEnv' :: BindsNames a => a -> Supply -> (NamingEnv, Supply)

Generate a NamingEnv using an explicit supply.

checkNamingEnv :: NamingEnv -> ([RenamerError], [RenamerWarning])

Throw errors for any names that overlap in a rewrite environment.

shadowNames :: BindsNames env => env -> RenameM a -> RenameM a

Shadow the current naming environment with some more names.

class Rename f where

Methods

rename :: f PName -> RenameM (f Name)

Instances

Rename Prop

Rename Type

Resolve fixity, then rename the resulting type.

Rename TParam

Rename Schema

Rename a schema, assuming that none of its type variables are already in scope.

Rename Pattern

Rename Match

Rename TypeInst

Rename Expr

Rename Newtype

Rename BindDef

Rename Bind

Rename a binding.

Rename TySyn

Rename Decl

Rename TopDecl

runRenamer :: Supply -> ModName -> NamingEnv -> RenameM a -> (Either [RenamerError] (a, Supply), [RenamerWarning])

data RenameM a

Instances

Monad RenameM

Functor RenameM

Applicative RenameM

Monoid a => Monoid (RenameM a)

data RenamerError

Constructors

MultipleSyms (Located PName) [Name] NameDisp

Multiple imported symbols contain this name

UnboundExpr (Located PName) NameDisp

Expression name is not bound to any definition

UnboundType (Located PName) NameDisp

Type name is not bound to any definition

OverlappingSyms [Name] NameDisp

An environment has produced multiple overlapping symbols

ExpectedValue (Located PName) NameDisp

When a value is expected from the naming environment, but one or more types exist instead.

ExpectedType (Located PName) NameDisp

When a type is missing from the naming environment, but one or more values exist with the same name.

FixityError (Located Name) (Located Name) NameDisp

When the fixity of two operators conflict

InvalidConstraint (Type PName) NameDisp

When it's not possible to produce a Prop from a Type.

MalformedConstraint (Located (Type PName)) NameDisp

When a constraint appears within another constraint

Instances

Show RenamerError

Generic RenamerError

NFData RenamerError

PP RenamerError

type Rep RenamerError

data RenamerWarning

Constructors

SymbolShadowed Name [Name] NameDisp

Instances

Show RenamerWarning

Generic RenamerWarning

NFData RenamerWarning

PP RenamerWarning

type Rep RenamerWarning

renameVar :: PName -> RenameM Name

renameType :: PName -> RenameM Name

renameModule :: Module PName -> RenameM (NamingEnv, Module Name)