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 PolyType)]

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

TypeSynonymDeclaration ProperName [String] PolyType

TypeDeclaration Ident PolyType

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

BindingGroupDeclaration [(Ident, Value)]

ExternDeclaration Ident PolyType

ExternMemberDeclaration String Ident PolyType

ExternDataDeclaration ProperName Kind

FixityDeclaration Fixity String

ImportDeclaration ModuleName (Maybe [Either Ident ProperName])

Instances

Data Declaration

Show Declaration

Typeable Declaration