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 Declaration

Constructors

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

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

TypeSynonymDeclaration ProperName [String] Type

TypeDeclaration Ident Type

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

BindingGroupDeclaration [(Ident, Value)]

ExternDeclaration Ident Type

ExternMemberDeclaration String Ident Type

ExternDataDeclaration ProperName Kind

FixityDeclaration Fixity String

ImportDeclaration ModuleName (Maybe [Either Ident ProperName])

Instances

Data Declaration

Show Declaration

Typeable Declaration