Safe Haskell	None
Language	Haskell98

Language.PureScript.Externs

Description

This module generates code for "externs" files, i.e. files containing only foreign import declarations.

Synopsis

Documentation

The data which will be serialized to an externs file

Constructors

ExternsFile
Fields efVersion :: String The externs version efModuleName :: ModuleName Module name efExports :: [DeclarationRef] List of module exports efImports :: [ExternsImport] List of module imports efFixities :: [ExternsFixity] List of operators and their fixities efDeclarations :: [ExternsDeclaration] List of type and value declaration

Instances

Read ExternsFile Source
Show ExternsFile Source
ToJSON ExternsFile Source
FromJSON ExternsFile Source

A module import in an externs file

Constructors

ExternsImport
Fields eiModule :: ModuleName The imported module eiImportType :: ImportDeclarationType The import type: regular, qualified or hiding eiImportedAs :: Maybe ModuleName The imported-as name, for qualified imports

Instances

Read ExternsImport Source
Show ExternsImport Source
ToJSON ExternsImport Source
FromJSON ExternsImport Source

A fixity declaration in an externs file

Constructors

ExternsFixity
Fields efAssociativity :: Associativity The associativity of the operator efPrecedence :: Precedence The precedence level of the operator efOperator :: String The operator symbol efAlias :: Maybe (Qualified FixityAlias) The value the operator is an alias for

Instances

Read ExternsFixity Source
Show ExternsFixity Source
ToJSON ExternsFixity Source
FromJSON ExternsFixity Source

A type or value declaration appearing in an externs file

Constructors

EDType	A type declaration
Fields edTypeName :: ProperName TypeName edTypeKind :: Kind edTypeDeclarationKind :: TypeKind
EDTypeSynonym	A type synonym
Fields edTypeSynonymName :: ProperName TypeName edTypeSynonymArguments :: [(String, Maybe Kind)] edTypeSynonymType :: Type
EDDataConstructor	A data construtor
Fields edDataCtorName :: ProperName ConstructorName edDataCtorOrigin :: DataDeclType edDataCtorTypeCtor :: ProperName TypeName edDataCtorType :: Type edDataCtorFields :: [Ident]
EDValue	A value declaration
Fields edValueName :: Ident edValueType :: Type
EDClass	A type class declaration
Fields edClassName :: ProperName ClassName edClassTypeArguments :: [(String, Maybe Kind)] edClassMembers :: [(Ident, Type)] edClassConstraints :: [Constraint]
EDInstance	An instance declaration
Fields edInstanceClassName :: Qualified (ProperName ClassName) edInstanceName :: Ident edInstanceTypes :: [Type] edInstanceConstraints :: Maybe [Constraint]

Instances

Read ExternsDeclaration Source
Show ExternsDeclaration Source
ToJSON ExternsDeclaration Source
FromJSON ExternsDeclaration Source

Generate an externs file for all declarations in a module

Convert an externs file back into a module