cryptol-2.3.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois, Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.ModuleSystem.Interface

Description

 

Synopsis

Documentation

data Iface Source

The resulting interface generated by a module that has been typechecked.

Constructors

Iface 

Fields

ifModName :: !ModName
 
ifPublic :: IfaceDecls
 
ifPrivate :: IfaceDecls
 

Instances

data IfaceDecls Source

Constructors

IfaceDecls 

Fields

ifTySyns :: Map Name IfaceTySyn
 
ifNewtypes :: Map Name IfaceNewtype
 
ifDecls :: Map Name IfaceDecl
 

Instances

type IfaceTySyn = TySyn Source

ifTySynName :: TySyn -> Name Source

type IfaceNewtype = Newtype Source

data IfaceDecl Source

Constructors

IfaceDecl 

Fields

ifDeclName :: !Name
 
ifDeclSig :: Schema
 
ifDeclPragmas :: [Pragma]
 
ifDeclInfix :: Bool
 
ifDeclFixity :: Maybe Fixity
 
ifDeclDoc :: Maybe String
 

Instances

mkIfaceDecl :: Decl -> IfaceDecl Source

genIface :: Module -> Iface Source

Generate an Iface from a typechecked module.

ifacePrimMap :: Iface -> PrimMap Source

Produce a PrimMap from an interface.

NOTE: the map will expose both public and private names.