Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
- data Iface = Iface {}
- data IfaceDecls = IfaceDecls {}
- type IfaceTySyn = TySyn
- ifTySynName :: TySyn -> Name
- type IfaceNewtype = Newtype
- data IfaceDecl = IfaceDecl {
- ifDeclName :: !Name
- ifDeclSig :: Schema
- ifDeclPragmas :: [Pragma]
- ifDeclInfix :: Bool
- ifDeclFixity :: Maybe Fixity
- ifDeclDoc :: Maybe String
- mkIfaceDecl :: Decl -> IfaceDecl
- genIface :: Module -> Iface
- ifacePrimMap :: Iface -> PrimMap
Documentation
The resulting interface generated by a module that has been typechecked.
Iface | |
|
data IfaceDecls Source #
type IfaceTySyn = TySyn Source #
ifTySynName :: TySyn -> Name Source #
type IfaceNewtype = Newtype Source #
IfaceDecl | |
|
mkIfaceDecl :: Decl -> IfaceDecl Source #
ifacePrimMap :: Iface -> PrimMap Source #
Produce a PrimMap from an interface.
NOTE: the map will expose both public and private names.