rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellTrustworthy
LanguageHaskell2010

ReWire.HSE.Rename

Synopsis

Documentation

data Renamer Source #

Instances

Instances details
Monoid Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

mempty :: Renamer #

mappend :: Renamer -> Renamer -> Renamer #

mconcat :: [Renamer] -> Renamer #

Semigroup Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

(<>) :: Renamer -> Renamer -> Renamer #

sconcat :: NonEmpty Renamer -> Renamer #

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

Generic Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

Associated Types

type Rep Renamer 
Instance details

Defined in ReWire.HSE.Rename

type Rep Renamer = D1 ('MetaData "Renamer" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Renamer" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rnNames") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Namespace, QName ()) FQName)) :*: S1 ('MetaSel ('Just "rnExports") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (ModuleName ()) Exports))) :*: (S1 ('MetaSel ('Just "rnFixities") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Fixity)) :*: (S1 ('MetaSel ('Just "rnCtors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ctors) :*: S1 ('MetaSel ('Just "rnCtorSigs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CtorSigs)))))

Methods

from :: Renamer -> Rep Renamer x #

to :: Rep Renamer x -> Renamer #

Show Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showsPrec :: Int -> Renamer -> ShowS #

show :: Renamer -> String #

showList :: [Renamer] -> ShowS #

TextShow Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showbPrec :: Int -> Renamer -> Builder #

showb :: Renamer -> Builder #

showbList :: [Renamer] -> Builder

showtPrec :: Int -> Renamer -> Text

showt :: Renamer -> Text #

showtList :: [Renamer] -> Text

showtlPrec :: Int -> Renamer -> Text

showtl :: Renamer -> Text

showtlList :: [Renamer] -> Text

type Rep Renamer Source # 
Instance details

Defined in ReWire.HSE.Rename

type Rep Renamer = D1 ('MetaData "Renamer" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Renamer" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rnNames") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Namespace, QName ()) FQName)) :*: S1 ('MetaSel ('Just "rnExports") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (ModuleName ()) Exports))) :*: (S1 ('MetaSel ('Just "rnFixities") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Fixity)) :*: (S1 ('MetaSel ('Just "rnCtors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ctors) :*: S1 ('MetaSel ('Just "rnCtorSigs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CtorSigs)))))

fixFixity :: (MonadFail m, MonadState AstError m) => Renamer -> Module SrcSpanInfo -> m (Module SrcSpanInfo) Source #

getExports :: ModuleName () -> Renamer -> Exports Source #

allExports :: Renamer -> Exports Source #

exclude :: QNamish a => Namespace -> [a] -> Renamer -> Renamer Source #

extend :: QNamish a => Namespace -> [(a, FQName)] -> Renamer -> Renamer Source #

finger :: QNamish a => Namespace -> Renamer -> a -> Bool Source #

True iff an entry for the name exists in the renamer.

rename :: (QNamish a, QNamish b) => Namespace -> Renamer -> a -> b Source #

data FQName Source #

Instances

Instances details
Generic FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Associated Types

type Rep FQName 
Instance details

Defined in ReWire.HSE.Rename

type Rep FQName = D1 ('MetaData "FQName" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "FQName" 'PrefixI 'True) (S1 ('MetaSel ('Just "mod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ModuleName ())) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Name ()))))

Methods

from :: FQName -> Rep FQName x #

to :: Rep FQName x -> FQName #

Show FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showsPrec :: Int -> FQName -> ShowS #

show :: FQName -> String #

showList :: [FQName] -> ShowS #

Eq FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

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

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

Ord FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

compare :: FQName -> FQName -> Ordering #

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

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

(>) :: FQName -> FQName -> Bool #

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

max :: FQName -> FQName -> FQName #

min :: FQName -> FQName -> FQName #

Hashable FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

hashWithSalt :: Int -> FQName -> Int

hash :: FQName -> Int

QNamish FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: FQName -> QName ()

fromQNamish :: QName l -> FQName

TextShow FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showbPrec :: Int -> FQName -> Builder #

showb :: FQName -> Builder #

showbList :: [FQName] -> Builder

showtPrec :: Int -> FQName -> Text

showt :: FQName -> Text #

showtList :: [FQName] -> Text

showtlPrec :: Int -> FQName -> Text

showtl :: FQName -> Text

showtlList :: [FQName] -> Text

type Rep FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

type Rep FQName = D1 ('MetaData "FQName" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "FQName" 'PrefixI 'True) (S1 ('MetaSel ('Just "mod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ModuleName ())) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Name ()))))

qnamish :: (QNamish a, QNamish b) => a -> b Source #

class QNamish a Source #

Sometimes-partial conversion between name-like things.

Minimal complete definition

toQNamish, fromQNamish

Instances

Instances details
QNamish FQName Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: FQName -> QName ()

fromQNamish :: QName l -> FQName

QNamish Text Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: Text -> QName ()

fromQNamish :: QName l -> Text

QNamish (Name SrcSpanInfo) Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: Name SrcSpanInfo -> QName ()

fromQNamish :: QName l -> Name SrcSpanInfo

QNamish (Name Annote) Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: Name Annote -> QName ()

fromQNamish :: QName l -> Name Annote

QNamish (Name ()) Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: Name () -> QName ()

fromQNamish :: QName l -> Name ()

QNamish (QName Annote) Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: QName Annote -> QName ()

fromQNamish :: QName l -> QName Annote

QNamish (QName ()) Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

toQNamish :: QName () -> QName ()

fromQNamish :: QName l -> QName ()

data Namespace Source #

Constructors

Type 
Value 

Instances

Instances details
Generic Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Associated Types

type Rep Namespace 
Instance details

Defined in ReWire.HSE.Rename

type Rep Namespace = D1 ('MetaData "Namespace" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Namespace -> Rep Namespace x #

to :: Rep Namespace x -> Namespace #

Show Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showsPrec :: Int -> Namespace -> ShowS #

show :: Namespace -> String #

showList :: [Namespace] -> ShowS #

Eq Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

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

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

Ord Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

compare :: Namespace -> Namespace -> Ordering #

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

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

(>) :: Namespace -> Namespace -> Bool #

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

max :: Namespace -> Namespace -> Namespace #

min :: Namespace -> Namespace -> Namespace #

Hashable Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

hashWithSalt :: Int -> Namespace -> Int

hash :: Namespace -> Int

TextShow Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showbPrec :: Int -> Namespace -> Builder #

showb :: Namespace -> Builder #

showbList :: [Namespace] -> Builder

showtPrec :: Int -> Namespace -> Text

showt :: Namespace -> Text #

showtList :: [Namespace] -> Text

showtlPrec :: Int -> Namespace -> Text

showtl :: Namespace -> Text

showtlList :: [Namespace] -> Text

type Rep Namespace Source # 
Instance details

Defined in ReWire.HSE.Rename

type Rep Namespace = D1 ('MetaData "Namespace" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (U1 :: Type -> Type))

data Exports Source #

Instances

Instances details
Monoid Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

mempty :: Exports #

mappend :: Exports -> Exports -> Exports #

mconcat :: [Exports] -> Exports #

Semigroup Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

(<>) :: Exports -> Exports -> Exports #

sconcat :: NonEmpty Exports -> Exports #

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

Generic Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

Associated Types

type Rep Exports 
Instance details

Defined in ReWire.HSE.Rename

type Rep Exports = D1 ('MetaData "Exports" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Exports" 'PrefixI 'True) ((S1 ('MetaSel ('Just "expValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set FQName)) :*: S1 ('MetaSel ('Just "expTypes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set FQName))) :*: (S1 ('MetaSel ('Just "expFixities") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Fixity)) :*: (S1 ('MetaSel ('Just "expCtors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FQCtors) :*: S1 ('MetaSel ('Just "expCtorSigs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FQCtorSigs)))))

Methods

from :: Exports -> Rep Exports x #

to :: Rep Exports x -> Exports #

Show Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showsPrec :: Int -> Exports -> ShowS #

show :: Exports -> String #

showList :: [Exports] -> ShowS #

TextShow Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

Methods

showbPrec :: Int -> Exports -> Builder #

showb :: Exports -> Builder #

showbList :: [Exports] -> Builder

showtPrec :: Int -> Exports -> Text

showt :: Exports -> Text #

showtList :: [Exports] -> Text

showtlPrec :: Int -> Exports -> Text

showtl :: Exports -> Text

showtlList :: [Exports] -> Text

type Rep Exports Source # 
Instance details

Defined in ReWire.HSE.Rename

type Rep Exports = D1 ('MetaData "Exports" "ReWire.HSE.Rename" "rewire-embedder-2.8-G94ytt72LAgDf9UAeQPb84" 'False) (C1 ('MetaCons "Exports" 'PrefixI 'True) ((S1 ('MetaSel ('Just "expValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set FQName)) :*: S1 ('MetaSel ('Just "expTypes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set FQName))) :*: (S1 ('MetaSel ('Just "expFixities") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set Fixity)) :*: (S1 ('MetaSel ('Just "expCtors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FQCtors) :*: S1 ('MetaSel ('Just "expCtorSigs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FQCtorSigs)))))

expValue :: FQName -> Exports -> Exports Source #

expType :: FQName -> Set FQName -> FQCtorSigs -> Exports -> Exports Source #

expFixity :: Assoc () -> Int -> Name () -> Exports -> Exports Source #

expCtorSigs :: Exports -> FQCtorSigs Source #

getCtors :: QNamish a => a -> Exports -> Set FQName Source #

Things in the export list of the named thing (ctors or fields).

type Ctors = Map (Name ()) (Set (Name ())) Source #

Map from type name to its set of data constructors. Note: the set of "ctors" also includes fields (things that might appear in an export list).

type FQCtors = Map FQName (Set FQName) Source #

Qualified (globally-unique) version of the above map.

type CtorSigs = Map (Name ()) [(Maybe (Name ()), Type ())] Source #

Map from constructor name to its field "signature," which is a list of field names and types.

type FQCtorSigs = Map FQName [(Maybe FQName, Type ())] Source #

Qualified (globally-unique) version of the above map.

setCtors :: Ctors -> CtorSigs -> Renamer -> Renamer Source #

getLocalTypes :: Renamer -> Set (Name ()) Source #

getLocalCtorSigs :: Renamer -> CtorSigs Source #

lookupCtors :: QNamish a => Renamer -> a -> Set FQName Source #

lookupCtorSig :: QNamish a => Renamer -> a -> [(Maybe FQName, Type ())] Source #

lookupCtorSigsForType :: QNamish a => Renamer -> a -> FQCtorSigs Source #

findCtorSigFromField :: QNamish a => Renamer -> a -> Maybe (FQName, [(Maybe FQName, Type ())]) Source #

toFilePath :: ModuleName a -> FilePath Source #

fromImps :: (Functor m, MonadError AstError m) => ModuleName () -> Bool -> Exports -> Maybe (ModuleName ()) -> Maybe (ImportSpecList SrcSpanInfo) -> m Renamer Source #

Build renamer from a single import line. Should work on either pre- or post-desugared import lists. Params: module being imported, "qualified", exports (of this import), "... as <qualifier>", imports.