Copyright	(c) 2013-2016 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.ModuleSystem.Renamer

Description

Synopsis

data NamingEnv
shadowing :: NamingEnv -> NamingEnv -> NamingEnv
class BindsNames a
data InModule a = InModule (Maybe ModPath) a
shadowNames :: BindsNames env => env -> RenameM a -> RenameM a
class Rename (f :: Type -> Type) where
- rename :: f PName -> RenameM (f Name)
runRenamer :: RenamerInfo -> RenameM a -> (Either [RenamerError] (a, Supply), [RenamerWarning])
data RenameM a
data RenamerError
- = MultipleSyms (Located PName) [Name]
- | UnboundName Namespace (Located PName)
- | OverlappingSyms [Name]
- | WrongNamespace Namespace Namespace (Located PName)
- | FixityError (Located Name) Fixity (Located Name) Fixity
- | OverlappingRecordUpdate (Located [Selector]) (Located [Selector])
- | InvalidDependency [DepName]
- | MultipleModParams Ident [Range]
- | InvalidFunctorImport (ImpName Name)
- | UnexpectedNest Range PName
- | ModuleKindMismatch Range (ImpName Name) ModKind ModKind
data RenamerWarning
- = SymbolShadowed PName Name [Name]
- | UnusedName Name
- | PrefixAssocChanged PrefixOp (Expr Name) (Located Name) Fixity (Expr Name)
renameVar :: NameType -> PName -> RenameM Name
renameType :: NameType -> PName -> RenameM Name
renameModule :: Module PName -> RenameM RenamedModule
renameTopDecls :: ModName -> [TopDecl PName] -> RenameM (NamingEnv, [TopDecl Name])
data RenamerInfo = RenamerInfo {
- renSupply :: Supply
- renContext :: ModPath
- renEnv :: NamingEnv
- renIfaces :: Map ModName (Either ModParamNames Iface)
}
data NameType
- = NameBind
- | NameUse
data RenamedModule = RenamedModule {
- rmModule :: Module Name
- rmDefines :: NamingEnv
- rmImported :: IfaceDecls
}

Documentation

data NamingEnv Source #

The NamingEnv is used by the renamer to determine what identifiers refer to.

Instances

Instances details

Monoid NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

mempty :: NamingEnv #

mappend :: NamingEnv -> NamingEnv -> NamingEnv #

mconcat :: [NamingEnv] -> NamingEnv #

Semigroup NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

(<>) :: NamingEnv -> NamingEnv -> NamingEnv #

sconcat :: NonEmpty NamingEnv -> NamingEnv #

stimes :: Integral b => b -> NamingEnv -> NamingEnv #

Generic NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Associated Types

type Rep NamingEnv
Instance details Defined in Cryptol.ModuleSystem.NamingEnv.Types type Rep NamingEnv = D1 ('MetaData "NamingEnv" "Cryptol.ModuleSystem.NamingEnv.Types" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'True) (C1 ('MetaCons "NamingEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Namespace (Map PName Names)))))

Methods

from :: NamingEnv -> Rep NamingEnv x #

to :: Rep NamingEnv x -> NamingEnv #

Show NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

showsPrec :: Int -> NamingEnv -> ShowS #

show :: NamingEnv -> String #

showList :: [NamingEnv] -> ShowS #

BindsNames NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.Binds

Methods

namingEnv :: NamingEnv -> BuildNamingEnv

ModuleInstance NamingEnv Source #

Instance details

Defined in Cryptol.TypeCheck.ModuleInstance

Methods

moduleInstance :: NamingEnv -> NamingEnv Source #

PP NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

ppPrec :: Int -> NamingEnv -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> NamingEnv -> Doc Source #

NFData NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

Methods

rnf :: NamingEnv -> () #

type Rep NamingEnv Source #

Instance details

Defined in Cryptol.ModuleSystem.NamingEnv.Types

type Rep NamingEnv = D1 ('MetaData "NamingEnv" "Cryptol.ModuleSystem.NamingEnv.Types" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" 'True) (C1 ('MetaCons "NamingEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Namespace (Map PName Names)))))

shadowing :: NamingEnv -> NamingEnv -> NamingEnv Source #

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

class BindsNames a Source #

Things that define exported names.

Minimal complete definition

namingEnv

Instances

Instances details

BindsNames NamingEnv Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: NamingEnv -> BuildNamingEnv
BindsNames (InModule (Bind PName)) Source #	Introduce the name
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Bind PName) -> BuildNamingEnv
BindsNames (InModule (Decl PName)) Source #	The naming environment for a single declaration.
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Decl PName) -> BuildNamingEnv
BindsNames (InModule (EnumDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (EnumDecl PName) -> BuildNamingEnv
BindsNames (InModule (NestedModule PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (NestedModule PName) -> BuildNamingEnv
BindsNames (InModule (Newtype PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Newtype PName) -> BuildNamingEnv
BindsNames (InModule (ParameterFun PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (ParameterFun PName) -> BuildNamingEnv
BindsNames (InModule (ParameterType PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (ParameterType PName) -> BuildNamingEnv
BindsNames (InModule (PrimType PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (PrimType PName) -> BuildNamingEnv
BindsNames (InModule (SigDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (SigDecl PName) -> BuildNamingEnv
BindsNames (InModule (TopDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (TopDecl PName) -> BuildNamingEnv
BindsNames (Pattern PName) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: Pattern PName -> BuildNamingEnv
BindsNames (Schema PName) Source #	Generate a type renaming environment from the parameters that are bound by this schema.
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: Schema PName -> BuildNamingEnv
BindsNames (TParam PName) Source #	Generate the naming environment for a type parameter.
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: TParam PName -> BuildNamingEnv
BindsNames a => BindsNames (Maybe a) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: Maybe a -> BuildNamingEnv
BindsNames a => BindsNames [a] Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: [a] -> BuildNamingEnv

data InModule a Source #

Do something in the context of a module. If Nothing than we are working with a local declaration. Otherwise we are at the top-level of the given module.

By wrapping types with this, we can pass the module path to methods that need the extra information.

Constructors

InModule (Maybe ModPath) a

Instances

Instances details

Foldable InModule Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods fold :: Monoid m => InModule m -> m # foldMap :: Monoid m => (a -> m) -> InModule a -> m # foldMap' :: Monoid m => (a -> m) -> InModule a -> m # foldr :: (a -> b -> b) -> b -> InModule a -> b # foldr' :: (a -> b -> b) -> b -> InModule a -> b # foldl :: (b -> a -> b) -> b -> InModule a -> b # foldl' :: (b -> a -> b) -> b -> InModule a -> b # foldr1 :: (a -> a -> a) -> InModule a -> a # foldl1 :: (a -> a -> a) -> InModule a -> a # toList :: InModule a -> [a] # null :: InModule a -> Bool # length :: InModule a -> Int # elem :: Eq a => a -> InModule a -> Bool # maximum :: Ord a => InModule a -> a # minimum :: Ord a => InModule a -> a # sum :: Num a => InModule a -> a # product :: Num a => InModule a -> a #
Traversable InModule Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods traverse :: Applicative f => (a -> f b) -> InModule a -> f (InModule b) # sequenceA :: Applicative f => InModule (f a) -> f (InModule a) # mapM :: Monad m => (a -> m b) -> InModule a -> m (InModule b) # sequence :: Monad m => InModule (m a) -> m (InModule a) #
Functor InModule Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods fmap :: (a -> b) -> InModule a -> InModule b # (<$) :: a -> InModule b -> InModule a #
Show a => Show (InModule a) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods showsPrec :: Int -> InModule a -> ShowS # show :: InModule a -> String # showList :: [InModule a] -> ShowS #
BindsNames (InModule (Bind PName)) Source #	Introduce the name
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Bind PName) -> BuildNamingEnv
BindsNames (InModule (Decl PName)) Source #	The naming environment for a single declaration.
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Decl PName) -> BuildNamingEnv
BindsNames (InModule (EnumDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (EnumDecl PName) -> BuildNamingEnv
BindsNames (InModule (NestedModule PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (NestedModule PName) -> BuildNamingEnv
BindsNames (InModule (Newtype PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (Newtype PName) -> BuildNamingEnv
BindsNames (InModule (ParameterFun PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (ParameterFun PName) -> BuildNamingEnv
BindsNames (InModule (ParameterType PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (ParameterType PName) -> BuildNamingEnv
BindsNames (InModule (PrimType PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (PrimType PName) -> BuildNamingEnv
BindsNames (InModule (SigDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (SigDecl PName) -> BuildNamingEnv
BindsNames (InModule (TopDecl PName)) Source #
Instance details Defined in Cryptol.ModuleSystem.Binds Methods namingEnv :: InModule (TopDecl PName) -> BuildNamingEnv

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

Shadow the current naming environment with some more names.

class Rename (f :: Type -> Type) where Source #

Methods

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

Instances

Instances details

Rename Bind Source #	Rename a binding.
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Bind PName -> RenameM (Bind Name) Source #
Rename BindDef Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: BindDef PName -> RenameM (BindDef Name) Source #
Rename BindImpl Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: BindImpl PName -> RenameM (BindImpl Name) Source #
Rename CaseAlt Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: CaseAlt PName -> RenameM (CaseAlt Name) Source #
Rename Decl Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Decl PName -> RenameM (Decl Name) Source #
Rename EnumDecl Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: EnumDecl PName -> RenameM (EnumDecl Name) Source #
Rename Expr Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Expr PName -> RenameM (Expr Name) Source #
Rename FunDesc Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: FunDesc PName -> RenameM (FunDesc Name) Source #
Rename ImpName Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ImpName PName -> RenameM (ImpName Name) Source #
Rename Match Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Match PName -> RenameM (Match Name) Source #
Rename ModParam Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ModParam PName -> RenameM (ModParam Name) Source #
Rename ModuleInstanceArg Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ModuleInstanceArg PName -> RenameM (ModuleInstanceArg Name) Source #
Rename ModuleInstanceArgs Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ModuleInstanceArgs PName -> RenameM (ModuleInstanceArgs Name) Source #
Rename ModuleInstanceNamedArg Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ModuleInstanceNamedArg PName -> RenameM (ModuleInstanceNamedArg Name) Source #
Rename NestedModule Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: NestedModule PName -> RenameM (NestedModule Name) Source #
Rename Newtype Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Newtype PName -> RenameM (Newtype Name) Source #
Rename ParameterFun Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ParameterFun PName -> RenameM (ParameterFun Name) Source #
Rename ParameterType Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: ParameterType PName -> RenameM (ParameterType Name) Source #
Rename Pattern Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Pattern PName -> RenameM (Pattern Name) Source #
Rename PrimType Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: PrimType PName -> RenameM (PrimType Name) Source #
Rename Prop Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Prop PName -> RenameM (Prop Name) Source #
Rename PropGuardCase Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: PropGuardCase PName -> RenameM (PropGuardCase Name) Source #
Rename PropSyn Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: PropSyn PName -> RenameM (PropSyn Name) Source #
Rename Schema Source #	Rename a schema, assuming that none of its type variables are already in scope.
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Schema PName -> RenameM (Schema Name) Source #
Rename SigDecl Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: SigDecl PName -> RenameM (SigDecl Name) Source #
Rename TParam Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: TParam PName -> RenameM (TParam Name) Source #
Rename TopDecl Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: TopDecl PName -> RenameM (TopDecl Name) Source #
Rename TySyn Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: TySyn PName -> RenameM (TySyn Name) Source #
Rename Type Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: Type PName -> RenameM (Type Name) Source #
Rename TypeInst Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: TypeInst PName -> RenameM (TypeInst Name) Source #
Rename UpdField Source #	Note that after this point the `->` updates have an explicit function and there are no more nested updates.
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods rename :: UpdField PName -> RenameM (UpdField Name) Source #

runRenamer :: RenamerInfo -> RenameM a -> (Either [RenamerError] (a, Supply), [RenamerWarning]) Source #

data RenameM a Source #

Instances

Instances details

Applicative RenameM Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods pure :: a -> RenameM a # (<>) :: RenameM (a -> b) -> RenameM a -> RenameM b # liftA2 :: (a -> b -> c) -> RenameM a -> RenameM b -> RenameM c # (>) :: RenameM a -> RenameM b -> RenameM b # (<*) :: RenameM a -> RenameM b -> RenameM a #
Functor RenameM Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods fmap :: (a -> b) -> RenameM a -> RenameM b # (<$) :: a -> RenameM b -> RenameM a #
Monad RenameM Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods (>>=) :: RenameM a -> (a -> RenameM b) -> RenameM b # (>>) :: RenameM a -> RenameM b -> RenameM b # return :: a -> RenameM a #
FreshM RenameM Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods liftSupply :: (Supply -> (a, Supply)) -> RenameM a Source #
ExceptionM RenameM () Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods raise :: () -> RenameM a #
(Semigroup a, Monoid a) => Monoid (RenameM a) Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods mempty :: RenameM a # mappend :: RenameM a -> RenameM a -> RenameM a # mconcat :: [RenameM a] -> RenameM a #
Semigroup a => Semigroup (RenameM a) Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer.Monad Methods (<>) :: RenameM a -> RenameM a -> RenameM a # sconcat :: NonEmpty (RenameM a) -> RenameM a # stimes :: Integral b => b -> RenameM a -> RenameM a #

data RenamerError Source #

Constructors

MultipleSyms (Located PName) [Name]	Multiple imported symbols contain this name
UnboundName Namespace (Located PName)	Some name not bound to any definition
OverlappingSyms [Name]	An environment has produced multiple overlapping symbols
WrongNamespace Namespace Namespace (Located PName)	expected, actual. When a name is missing from the expected namespace, but exists in another
FixityError (Located Name) Fixity (Located Name) Fixity	When the fixity of two operators conflict
OverlappingRecordUpdate (Located [Selector]) (Located [Selector])	When record updates overlap (e.g., `{ r \| x = e1, x.y = e2 }`)
InvalidDependency [DepName]	Things that can't depend on each other
MultipleModParams Ident [Range]	Module parameters with the same name
InvalidFunctorImport (ImpName Name)	Can't import functors directly
UnexpectedNest Range PName	Nested modules were not supposed to appear here
ModuleKindMismatch Range (ImpName Name) ModKind ModKind	Exepcted one kind (first one) but found the other (second one)

Instances

Instances details

Generic RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Associated Types

type Rep RenamerError

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

from :: RenamerError -> Rep RenamerError x #

to :: Rep RenamerError x -> RenamerError #

Show RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

showsPrec :: Int -> RenamerError -> ShowS #

show :: RenamerError -> String #

showList :: [RenamerError] -> ShowS #

PP RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> RenamerError -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> RenamerError -> Doc Source #

NFData RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

rnf :: RenamerError -> () #

Eq RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

(==) :: RenamerError -> RenamerError -> Bool #

(/=) :: RenamerError -> RenamerError -> Bool #

Ord RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

compare :: RenamerError -> RenamerError -> Ordering #

(<) :: RenamerError -> RenamerError -> Bool #

(<=) :: RenamerError -> RenamerError -> Bool #

(>) :: RenamerError -> RenamerError -> Bool #

(>=) :: RenamerError -> RenamerError -> Bool #

max :: RenamerError -> RenamerError -> RenamerError #

min :: RenamerError -> RenamerError -> RenamerError #

type Rep RenamerError Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

data RenamerWarning Source #

Constructors

SymbolShadowed PName Name [Name]
UnusedName Name
PrefixAssocChanged PrefixOp (Expr Name) (Located Name) Fixity (Expr Name)

Instances

Instances details

Generic RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Associated Types

type Rep RenamerWarning

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

from :: RenamerWarning -> Rep RenamerWarning x #

to :: Rep RenamerWarning x -> RenamerWarning #

Show RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

showsPrec :: Int -> RenamerWarning -> ShowS #

show :: RenamerWarning -> String #

showList :: [RenamerWarning] -> ShowS #

PP RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

ppPrec :: Int -> RenamerWarning -> Doc Source #

ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> RenamerWarning -> Doc Source #

NFData RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

rnf :: RenamerWarning -> () #

Eq RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

(==) :: RenamerWarning -> RenamerWarning -> Bool #

(/=) :: RenamerWarning -> RenamerWarning -> Bool #

Ord RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

Methods

compare :: RenamerWarning -> RenamerWarning -> Ordering #

(<) :: RenamerWarning -> RenamerWarning -> Bool #

(<=) :: RenamerWarning -> RenamerWarning -> Bool #

(>) :: RenamerWarning -> RenamerWarning -> Bool #

(>=) :: RenamerWarning -> RenamerWarning -> Bool #

max :: RenamerWarning -> RenamerWarning -> RenamerWarning #

min :: RenamerWarning -> RenamerWarning -> RenamerWarning #

type Rep RenamerWarning Source #

Instance details

Defined in Cryptol.ModuleSystem.Renamer.Error

renameVar :: NameType -> PName -> RenameM Name Source #

renameType :: NameType -> PName -> RenameM Name Source #

renameModule :: Module PName -> RenameM RenamedModule Source #

Entry point. This is used for renaming a top-level module.

renameTopDecls :: ModName -> [TopDecl PName] -> RenameM (NamingEnv, [TopDecl Name]) Source #

Entry point. Rename a list of top-level declarations. This is used for declaration that don't live in a module (e.g., define on the command line.)

We assume that these declarations do not contain any nested modules.

data RenamerInfo Source #

Information needed to do some renaming.

Constructors

RenamerInfo
Fields renSupply :: Supply Use to make new names renContext :: ModPath We are renaming things in here renEnv :: NamingEnv This is what's in scope renIfaces :: Map ModName (Either ModParamNames Iface) External modules

data NameType Source #

Indicates if a name is in a binding poisition or a use site

Constructors

NameBind
NameUse

data RenamedModule Source #

The result of renaming a module

Constructors

RenamedModule
Fields rmModule :: Module Name The renamed module rmDefines :: NamingEnv What this module defines rmImported :: IfaceDecls Imported declarations. This provides the types for external names (used by the type-checker).

Instances

Instances details

PP RenamedModule Source #
Instance details Defined in Cryptol.ModuleSystem.Renamer Methods ppPrec :: Int -> RenamedModule -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> RenamedModule -> Doc Source #