Cryptol.ModuleSystem.Interface

Documentation

data Iface

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

Constructors

Iface

Fields

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

Instances

Show Iface

Methods

showsPrec :: Int -> Iface -> ShowS

show :: Iface -> String

showList :: [Iface] -> ShowS

Generic Iface

Associated Types

type Rep Iface :: * -> *

Methods

from :: Iface -> Rep Iface x

to :: Rep Iface x -> Iface

NFData Iface

Methods

rnf :: Iface -> ()

type Rep Iface

type Rep Iface = D1 (MetaData "Iface" "Cryptol.ModuleSystem.Interface" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) (C1 (MetaCons "Iface" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "ifModName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ModName)) ((:*:) (S1 (MetaSel (Just Symbol "ifPublic") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IfaceDecls)) (S1 (MetaSel (Just Symbol "ifPrivate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IfaceDecls)))))

data IfaceDecls

Constructors

IfaceDecls

Fields

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

Instances

Show IfaceDecls

Methods

showsPrec :: Int -> IfaceDecls -> ShowS

show :: IfaceDecls -> String

showList :: [IfaceDecls] -> ShowS

Generic IfaceDecls

Associated Types

type Rep IfaceDecls :: * -> *

Methods

from :: IfaceDecls -> Rep IfaceDecls x

to :: Rep IfaceDecls x -> IfaceDecls

Monoid IfaceDecls

Methods

mempty :: IfaceDecls

mappend :: IfaceDecls -> IfaceDecls -> IfaceDecls

mconcat :: [IfaceDecls] -> IfaceDecls

NFData IfaceDecls

Methods

rnf :: IfaceDecls -> ()

type Rep IfaceDecls

type Rep IfaceDecls = D1 (MetaData "IfaceDecls" "Cryptol.ModuleSystem.Interface" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) (C1 (MetaCons "IfaceDecls" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "ifTySyns") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Name IfaceTySyn))) ((:*:) (S1 (MetaSel (Just Symbol "ifNewtypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Name IfaceNewtype))) (S1 (MetaSel (Just Symbol "ifDecls") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Name IfaceDecl))))))

type IfaceTySyn = TySyn

ifTySynName :: TySyn -> Name

type IfaceNewtype = Newtype

data IfaceDecl

Constructors

IfaceDecl

Fields

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

Instances

Show IfaceDecl

Methods

showsPrec :: Int -> IfaceDecl -> ShowS

show :: IfaceDecl -> String

showList :: [IfaceDecl] -> ShowS

Generic IfaceDecl

Associated Types

type Rep IfaceDecl :: * -> *

Methods

from :: IfaceDecl -> Rep IfaceDecl x

to :: Rep IfaceDecl x -> IfaceDecl

NFData IfaceDecl

Methods

rnf :: IfaceDecl -> ()

type Rep IfaceDecl

type Rep IfaceDecl = D1 (MetaData "IfaceDecl" "Cryptol.ModuleSystem.Interface" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) (C1 (MetaCons "IfaceDecl" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "ifDeclName") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Name)) ((:*:) (S1 (MetaSel (Just Symbol "ifDeclSig") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Schema)) (S1 (MetaSel (Just Symbol "ifDeclPragmas") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Pragma])))) ((:*:) (S1 (MetaSel (Just Symbol "ifDeclInfix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((:*:) (S1 (MetaSel (Just Symbol "ifDeclFixity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Fixity))) (S1 (MetaSel (Just Symbol "ifDeclDoc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))))))

mkIfaceDecl :: Decl -> IfaceDecl

genIface :: Module -> Iface

Generate an Iface from a typechecked module.

ifacePrimMap :: Iface -> PrimMap

Produce a PrimMap from an interface.

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