Safe Haskell	None
Language	Haskell2010

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

Fields

Instances

Show ExternsFile Source #
Methods showsPrec :: Int -> ExternsFile -> ShowS # show :: ExternsFile -> String # showList :: [ExternsFile] -> ShowS #
ToJSON ExternsFile Source #
Methods toJSON :: ExternsFile -> Value # toEncoding :: ExternsFile -> Encoding # toJSONList :: [ExternsFile] -> Value # toEncodingList :: [ExternsFile] -> Encoding #
FromJSON ExternsFile Source #
Methods parseJSON :: Value -> Parser ExternsFile # parseJSONList :: Value -> Parser [ExternsFile] #

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

Show ExternsImport Source #
Methods showsPrec :: Int -> ExternsImport -> ShowS # show :: ExternsImport -> String # showList :: [ExternsImport] -> ShowS #
ToJSON ExternsImport Source #
Methods toJSON :: ExternsImport -> Value # toEncoding :: ExternsImport -> Encoding # toJSONList :: [ExternsImport] -> Value # toEncodingList :: [ExternsImport] -> Encoding #
FromJSON ExternsImport Source #
Methods parseJSON :: Value -> Parser ExternsImport # parseJSONList :: Value -> Parser [ExternsImport] #

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 :: OpName ValueOpName The operator symbol efAlias :: Qualified (Either Ident (ProperName ConstructorName)) The value the operator is an alias for

Instances

Show ExternsFixity Source #
Methods showsPrec :: Int -> ExternsFixity -> ShowS # show :: ExternsFixity -> String # showList :: [ExternsFixity] -> ShowS #
ToJSON ExternsFixity Source #
Methods toJSON :: ExternsFixity -> Value # toEncoding :: ExternsFixity -> Encoding # toJSONList :: [ExternsFixity] -> Value # toEncodingList :: [ExternsFixity] -> Encoding #
FromJSON ExternsFixity Source #
Methods parseJSON :: Value -> Parser ExternsFixity # parseJSONList :: Value -> Parser [ExternsFixity] #

A type fixity declaration in an externs file

Constructors

ExternsTypeFixity
Fields efTypeAssociativity :: Associativity The associativity of the operator efTypePrecedence :: Precedence The precedence level of the operator efTypeOperator :: OpName TypeOpName The operator symbol efTypeAlias :: Qualified (ProperName TypeName) The value the operator is an alias for

Instances

Show ExternsTypeFixity Source #
Methods showsPrec :: Int -> ExternsTypeFixity -> ShowS # show :: ExternsTypeFixity -> String # showList :: [ExternsTypeFixity] -> ShowS #
ToJSON ExternsTypeFixity Source #
Methods toJSON :: ExternsTypeFixity -> Value # toEncoding :: ExternsTypeFixity -> Encoding # toJSONList :: [ExternsTypeFixity] -> Value # toEncodingList :: [ExternsTypeFixity] -> Encoding #
FromJSON ExternsTypeFixity Source #
Methods parseJSON :: Value -> Parser ExternsTypeFixity # parseJSONList :: Value -> Parser [ExternsTypeFixity] #

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 :: [(Text, 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 :: [(Text, Maybe Kind)] edClassMembers :: [(Ident, Type)] edClassConstraints :: [Constraint] edFunctionalDependencies :: [FunctionalDependency]
EDInstance	An instance declaration
Fields edInstanceClassName :: Qualified (ProperName ClassName) edInstanceName :: Ident edInstanceTypes :: [Type] edInstanceConstraints :: Maybe [Constraint] edInstanceChain :: [Qualified Ident] edInstanceChainIndex :: Integer
EDKind	A kind declaration
Fields edKindName :: ProperName KindName

Instances

Show ExternsDeclaration Source #
Methods showsPrec :: Int -> ExternsDeclaration -> ShowS # show :: ExternsDeclaration -> String # showList :: [ExternsDeclaration] -> ShowS #
ToJSON ExternsDeclaration Source #
Methods toJSON :: ExternsDeclaration -> Value # toEncoding :: ExternsDeclaration -> Encoding # toJSONList :: [ExternsDeclaration] -> Value # toEncodingList :: [ExternsDeclaration] -> Encoding #
FromJSON ExternsDeclaration Source #
Methods parseJSON :: Value -> Parser ExternsDeclaration # parseJSONList :: Value -> Parser [ExternsDeclaration] #

Generate an externs file for all declarations in a module

Convert an externs file back into a module