Language.PureScript.Declarations

Documentation

type Precedence = Integer

data Associativity

Constructors

Infixl

Infixr

Instances

Data Associativity

Show Associativity

Typeable Associativity

data Fixity

Constructors

Fixity Associativity Precedence

Instances

Data Fixity

Show Fixity

Typeable Fixity

data Module

Constructors

Module ProperName [Declaration]

Instances

Data Module

Show Module

Typeable Module

data ForeignImportType

Constructors

ForeignImport

TypeClassDictionaryImport

TypeClassAccessorImport

Instances

Eq ForeignImportType

Data ForeignImportType

Show ForeignImportType

Typeable ForeignImportType

data Declaration

Constructors

DataDeclaration ProperName [String] [(ProperName, Maybe Type)]

DataBindingGroupDeclaration [Declaration]

TypeSynonymDeclaration ProperName [String] Type

TypeDeclaration Ident Type

ValueDeclaration Ident [[Binder]] (Maybe Guard) Value

BindingGroupDeclaration [(Ident, Value)]

ExternDeclaration ForeignImportType Ident (Maybe JS) Type

ExternDataDeclaration ProperName Kind

FixityDeclaration Fixity String

ImportDeclaration ModuleName (Maybe [Either Ident ProperName])

TypeClassDeclaration ProperName String [Declaration]

TypeInstanceDeclaration [(Qualified ProperName, Type)] (Qualified ProperName) Type [Declaration]

Instances

Data Declaration

Show Declaration

Typeable Declaration

isValueDecl :: Declaration -> Bool

isDataDecl :: Declaration -> Bool

isImportDecl :: Declaration -> Bool

isExternDataDecl :: Declaration -> Bool

isFixityDecl :: Declaration -> Bool

isExternDecl :: Declaration -> Bool

isTypeClassDeclaration :: Declaration -> Bool