PureScript.CST.Types

newtype ModuleName

type SourcePos = { column :: Int, line :: Int }

type SourceRange = { end :: SourcePos, start :: SourcePos }

data Comment l

data LineFeed

data SourceStyle

data IntValue

data Token

type SourceToken = { leadingComments :: Array (Comment LineFeed), range :: SourceRange, trailingComments :: Array (Comment Void), value :: Token }

newtype Ident

newtype Proper

newtype Label

newtype Operator

newtype Name a

Name { name :: a, token :: SourceToken }

newtype QualifiedName a

QualifiedName { module :: Maybe ModuleName, name :: a, token :: SourceToken }

newtype Wrapped a

Wrapped { close :: SourceToken, open :: SourceToken, value :: a }

newtype Separated a

Separated { head :: a, tail :: Array (Tuple SourceToken a) }

newtype Labeled a b

Labeled { label :: a, separator :: SourceToken, value :: b }

type Delimited a = Wrapped (Maybe (Separated a))

type DelimitedNonEmpty a = Wrapped (Separated a)

data OneOrDelimited a

data Type e

data TypeVarBinding e

newtype Row e

newtype Module e

Module { body :: ModuleBody e, header :: ModuleHeader e }

newtype ModuleHeader e

newtype ModuleBody e

ModuleBody { decls :: Array (Declaration e), end :: SourcePos, trailingComments :: Array (Comment LineFeed) }

data Export e

data DataMembers

data Declaration e

newtype Instance e

data InstanceBinding e

newtype ImportDecl e

data Import e

type DataHead e = { keyword :: SourceToken, name :: Name Proper, vars :: Array (TypeVarBinding e) }

newtype DataCtor e

DataCtor { fields :: Array (Type e), name :: Name Proper }

type ClassHead e = { fundeps :: Maybe (Tuple SourceToken (Separated ClassFundep)), keyword :: SourceToken, name :: Name Proper, super :: Maybe (Tuple (OneOrDelimited (Type e)) SourceToken), vars :: Array (TypeVarBinding e) }

data ClassFundep

type InstanceHead e = { className :: QualifiedName Proper, constraints :: Maybe (Tuple (OneOrDelimited (Type e)) SourceToken), keyword :: SourceToken, name :: Maybe (Tuple (Name Ident) SourceToken), types :: Array (Type e) }

data Fixity

data FixityOp

type FixityFields = { keyword :: Tuple SourceToken Fixity, operator :: FixityOp, prec :: Tuple SourceToken Int }

type ValueBindingFields e = { binders :: Array (Binder e), guarded :: Guarded e, name :: Name Ident }

data Guarded e

newtype GuardedExpr e

GuardedExpr { bar :: SourceToken, patterns :: Separated (PatternGuard e), separator :: SourceToken, where :: Where e }

newtype PatternGuard e

data Foreign e

data Role

data Expr e

data RecordLabeled a

data RecordUpdate e

type RecordAccessor e = { dot :: SourceToken, expr :: Expr e, path :: Separated (Name Label) }

type Lambda e = { arrow :: SourceToken, binders :: NonEmptyArray (Binder e), body :: Expr e, symbol :: SourceToken }

type IfThenElse e = { cond :: Expr e, else :: SourceToken, false :: Expr e, keyword :: SourceToken, then :: SourceToken, true :: Expr e }

type CaseOf e = { branches :: NonEmptyArray (Tuple (Separated (Binder e)) (Guarded e)), head :: Separated (Expr e), keyword :: SourceToken, of :: SourceToken }

type LetIn e = { bindings :: NonEmptyArray (LetBinding e), body :: Expr e, in :: SourceToken, keyword :: SourceToken }

newtype Where e

data LetBinding e

type DoBlock e = { keyword :: SourceToken, statements :: NonEmptyArray (DoStatement e) }

data DoStatement e

type AdoBlock e = { in :: SourceToken, keyword :: SourceToken, result :: Expr e, statements :: Array (DoStatement e) }

data Binder e

PureScript.CST.Types

#ModuleName Source

Constructors

Instances

#SourcePos Source

#SourceRange Source

#Comment Source

Constructors

#LineFeed Source

Constructors

#SourceStyle Source

Constructors

Instances

#IntValue Source

Constructors

Instances

#Token Source

Constructors

Instances

#SourceToken Source

#Ident Source

Constructors

Instances

#Proper Source

Constructors

Instances

#Label Source

Constructors

Instances

#Operator Source

Constructors

Instances

#Name Source

Constructors

Instances

#QualifiedName Source

Constructors

Instances

#Wrapped Source

Constructors

Instances

#Separated Source

Constructors

Instances

#Labeled Source

Constructors

Instances

#Delimited Source

#DelimitedNonEmpty Source

#OneOrDelimited Source

Constructors

#Type Source

Constructors

#TypeVarBinding Source

Constructors

#Row Source

Constructors

Instances

#Module Source

Constructors

Instances

#ModuleHeader Source

Constructors

Instances

#ModuleBody Source

Constructors

Instances

#Export Source

Constructors

#DataMembers Source

Constructors

#Declaration Source

Constructors

#Instance Source

Constructors

Instances

#InstanceBinding Source

Constructors

#ImportDecl Source

Constructors