License | MIT |
---|---|
Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
- data Symbol
- symbolName :: Symbol -> Name
- renameSymbol :: Symbol -> Name -> Symbol
- data Rename = Rename Symbol Name
- destRename :: Rename -> (Symbol, Name)
- newtype Renames = Renames {
- destRenames :: [Rename]
- concatRenames :: [Renames] -> Renames
- data Interpret = Interpret (Map Symbol Name)
- mk :: Map Symbol Name -> Interpret
- empty :: Interpret
- toRenames :: Interpret -> Renames
- fromRenames :: Renames -> Maybe Interpret
- fromRenamesUnsafe :: Renames -> Interpret
- interpret :: Interpret -> Symbol -> Name
- interpretTypeOp :: Interpret -> Name -> Name
- interpretConst :: Interpret -> Name -> Name
- compose :: Interpret -> Interpret -> Interpret
Documentation
symbolName :: Symbol -> Name Source #
Renames | |
|
concatRenames :: [Renames] -> Renames Source #
fromRenamesUnsafe :: Renames -> Interpret Source #