PureScript.CST.Types

newtype ModuleName

Constructors

• ModuleName String

Instances

• Eq ModuleName
• Ord ModuleName
• Newtype ModuleName _

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

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

data Comment l

Constructors

• Comment String
• Space Int
• Line l Int

data LineFeed

Constructors

• LF
• CRLF

data SourceStyle

Constructors

• ASCII
• Unicode

Instances

• Eq SourceStyle

data IntValue

Constructors

• SmallInt Int
• BigInt String
• BigHex String

Instances

• Eq IntValue

data Token

Constructors

• TokLeftParen
• TokRightParen
• TokLeftBrace
• TokRightBrace
• TokLeftSquare
• TokRightSquare
• TokLeftArrow SourceStyle
• TokRightArrow SourceStyle
• TokRightFatArrow SourceStyle
• TokDoubleColon SourceStyle
• TokForall SourceStyle
• TokEquals
• TokPipe
• TokTick
• TokDot
• TokComma
• TokUnderscore
• TokBackslash
• TokAt
• TokLowerName (Maybe ModuleName) String
• TokUpperName (Maybe ModuleName) String
• TokOperator (Maybe ModuleName) String
• TokSymbolName (Maybe ModuleName) String
• TokSymbolArrow SourceStyle
• TokHole String
• TokChar String Char
• TokString String String
• TokRawString String
• TokInt String IntValue
• TokNumber String Number
• TokLayoutStart Int
• TokLayoutSep Int
• TokLayoutEnd Int

Instances

• Eq Token

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

newtype Ident

Constructors

• Ident String

Instances

• Eq Ident
• Ord Ident
• Newtype Ident _

newtype Proper

Constructors

• Proper String

Instances

• Eq Proper
• Ord Proper
• Newtype Proper _

newtype Label

Constructors

• Label String

Instances

• Eq Label
• Ord Label
• Newtype Label _

newtype Operator

Constructors

• Operator String

Instances

• Eq Operator
• Ord Operator
• Newtype Operator _

newtype Name a

Constructors

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

Instances

• Newtype (Name a) _

newtype QualifiedName a

Constructors

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

Instances

• Newtype (QualifiedName a) _

newtype Wrapped a

Constructors

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

Instances

• Newtype (Wrapped a) _

newtype Separated a

Constructors

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

Instances

• Newtype (Separated a) _

newtype Labeled a b

Constructors

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

Instances

• Newtype (Labeled a b) _

newtype Prefixed a

Constructors

• Prefixed { prefix :: Maybe SourceToken, value :: a }

Instances

• Newtype (Prefixed a) _

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

type DelimitedNonEmpty a = Wrapped (Separated a)

data OneOrDelimited a

Constructors

• One a
• Many (DelimitedNonEmpty a)

data Type e

Constructors

• TypeVar (Name Ident)
• TypeConstructor (QualifiedName Proper)
• TypeWildcard SourceToken
• TypeHole (Name Ident)
• TypeString SourceToken String
• TypeInt (Maybe SourceToken) SourceToken IntValue
• TypeRow (Wrapped (Row e))
• TypeRecord (Wrapped (Row e))
• TypeForall SourceToken (NonEmptyArray (TypeVarBinding (Prefixed (Name Ident)) e)) SourceToken (Type e)
• TypeKinded (Type e) SourceToken (Type e)
• TypeApp (Type e) (NonEmptyArray (Type e))
• TypeOp (Type e) (NonEmptyArray (Tuple (QualifiedName Operator) (Type e)))
• TypeOpName (QualifiedName Operator)
• TypeArrow (Type e) SourceToken (Type e)
• TypeArrowName SourceToken
• TypeConstrained (Type e) SourceToken (Type e)
• TypeParens (Wrapped (Type e))
• TypeError e

data TypeVarBinding a e

Constructors

• TypeVarKinded (Wrapped (Labeled a (Type e)))
• TypeVarName a

newtype Row e

Constructors

• Row { labels :: Maybe (Separated (Labeled (Name Label) (Type e))), tail :: Maybe (Tuple SourceToken (Type e)) }

Instances

• Newtype (Row e) _

newtype Module e

Constructors

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

Instances

• Newtype (Module e) _

newtype ModuleHeader e

Constructors

• ModuleHeader { exports :: Maybe (DelimitedNonEmpty (Export e)), imports :: Array (ImportDecl e), keyword :: SourceToken, name :: Name ModuleName, where :: SourceToken }

Instances

• Newtype (ModuleHeader e) _

newtype ModuleBody e

Constructors

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

Instances

• Newtype (ModuleBody e) _

data Export e

Constructors

• ExportValue (Name Ident)
• ExportOp (Name Operator)
• ExportType (Name Proper) (Maybe DataMembers)
• ExportTypeOp SourceToken (Name Operator)
• ExportClass SourceToken (Name Proper)
• ExportModule SourceToken (Name ModuleName)
• ExportError e

data DataMembers

Constructors

• DataAll SourceToken
• DataEnumerated (Delimited (Name Proper))

data Declaration e

Constructors

• DeclData (DataHead e) (Maybe (Tuple SourceToken (Separated (DataCtor e))))
• DeclType (DataHead e) SourceToken (Type e)
• DeclNewtype (DataHead e) SourceToken (Name Proper) (Type e)
• DeclClass (ClassHead e) (Maybe (Tuple SourceToken (NonEmptyArray (Labeled (Name Ident) (Type e)))))
• DeclInstanceChain (Separated (Instance e))
• DeclDerive SourceToken (Maybe SourceToken) (InstanceHead e)
• DeclKindSignature SourceToken (Labeled (Name Proper) (Type e))
• DeclSignature (Labeled (Name Ident) (Type e))
• DeclValue (ValueBindingFields e)
• DeclFixity FixityFields
• DeclForeign SourceToken SourceToken (Foreign e)
• DeclRole SourceToken SourceToken (Name Proper) (NonEmptyArray (Tuple SourceToken Role))
• DeclError e

newtype Instance e

Constructors

• Instance { body :: Maybe (Tuple SourceToken (NonEmptyArray (InstanceBinding e))), head :: InstanceHead e }

Instances

• Newtype (Instance e) _

data InstanceBinding e

Constructors

• InstanceBindingSignature (Labeled (Name Ident) (Type e))
• InstanceBindingName (ValueBindingFields e)

newtype ImportDecl e

Constructors

• ImportDecl { keyword :: SourceToken, module :: Name ModuleName, names :: Maybe (Tuple (Maybe SourceToken) (DelimitedNonEmpty (Import e))), qualified :: Maybe (Tuple SourceToken (Name ModuleName)) }

Instances

• Newtype (ImportDecl e) _

data Import e

Constructors

• ImportValue (Name Ident)
• ImportOp (Name Operator)
• ImportType (Name Proper) (Maybe DataMembers)
• ImportTypeOp SourceToken (Name Operator)
• ImportClass SourceToken (Name Proper)
• ImportError e

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

newtype DataCtor e

Constructors

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

Instances

• Newtype (DataCtor e) _

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

data ClassFundep

Constructors

• FundepDetermined SourceToken (NonEmptyArray (Name Ident))
• FundepDetermines (NonEmptyArray (Name Ident)) SourceToken (NonEmptyArray (Name Ident))

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

Constructors

• Infix
• Infixl
• Infixr

data FixityOp

Constructors

• FixityValue (QualifiedName (Either Ident Proper)) SourceToken (Name Operator)
• FixityType SourceToken (QualifiedName Proper) SourceToken (Name Operator)

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

Constructors

• Unconditional SourceToken (Where e)
• Guarded (NonEmptyArray (GuardedExpr e))

newtype GuardedExpr e

Constructors

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

Instances

• Newtype (GuardedExpr e) _

newtype PatternGuard e

Constructors

• PatternGuard { binder :: Maybe (Tuple (Binder e) SourceToken), expr :: Expr e }

Instances

• Newtype (PatternGuard e) _

data Foreign e

Constructors

• ForeignValue (Labeled (Name Ident) (Type e))
• ForeignData SourceToken (Labeled (Name Proper) (Type e))
• ForeignKind SourceToken (Name Proper)

data Role

Constructors

• Nominal
• Representational
• Phantom

data Expr e

Constructors

• ExprHole (Name Ident)
• ExprSection SourceToken
• ExprIdent (QualifiedName Ident)
• ExprConstructor (QualifiedName Proper)
• ExprBoolean SourceToken Boolean
• ExprChar SourceToken Char
• ExprString SourceToken String
• ExprInt SourceToken IntValue
• ExprNumber SourceToken Number
• ExprArray (Delimited (Expr e))
• ExprRecord (Delimited (RecordLabeled (Expr e)))
• ExprParens (Wrapped (Expr e))
• ExprTyped (Expr e) SourceToken (Type e)
• ExprInfix (Expr e) (NonEmptyArray (Tuple (Wrapped (Expr e)) (Expr e)))
• ExprOp (Expr e) (NonEmptyArray (Tuple (QualifiedName Operator) (Expr e)))
• ExprOpName (QualifiedName Operator)
• ExprNegate SourceToken (Expr e)
• ExprRecordAccessor (RecordAccessor e)
• ExprRecordUpdate (Expr e) (DelimitedNonEmpty (RecordUpdate e))
• ExprApp (Expr e) (NonEmptyArray (AppSpine Expr e))
• ExprLambda (Lambda e)
• ExprIf (IfThenElse e)
• ExprCase (CaseOf e)
• ExprLet (LetIn e)
• ExprDo (DoBlock e)
• ExprAdo (AdoBlock e)
• ExprError e

data AppSpine :: (Type -> Type) -> Type -> Typedata AppSpine f e

Constructors

• AppType SourceToken (Type e)
• AppTerm (f e)

data RecordLabeled a

Constructors

• RecordPun (Name Ident)
• RecordField (Name Label) SourceToken a

data RecordUpdate e

Constructors

• RecordUpdateLeaf (Name Label) SourceToken (Expr e)
• RecordUpdateBranch (Name Label) (DelimitedNonEmpty (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

Constructors

• Where { bindings :: Maybe (Tuple SourceToken (NonEmptyArray (LetBinding e))), expr :: Expr e }

Instances

• Newtype (Where e) _

data LetBinding e

Constructors

• LetBindingSignature (Labeled (Name Ident) (Type e))
• LetBindingName (ValueBindingFields e)
• LetBindingPattern (Binder e) SourceToken (Where e)
• LetBindingError e

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

data DoStatement e

Constructors

• DoLet SourceToken (NonEmptyArray (LetBinding e))
• DoDiscard (Expr e)
• DoBind (Binder e) SourceToken (Expr e)
• DoError e

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

data Binder e

Constructors

• BinderWildcard SourceToken
• BinderVar (Name Ident)
• BinderNamed (Name Ident) SourceToken (Binder e)
• BinderConstructor (QualifiedName Proper) (Array (Binder e))
• BinderBoolean SourceToken Boolean
• BinderChar SourceToken Char
• BinderString SourceToken String
• BinderInt (Maybe SourceToken) SourceToken IntValue
• BinderNumber (Maybe SourceToken) SourceToken Number
• BinderArray (Delimited (Binder e))
• BinderRecord (Delimited (RecordLabeled (Binder e)))
• BinderParens (Wrapped (Binder e))
• BinderTyped (Binder e) SourceToken (Type e)
• BinderOp (Binder e) (NonEmptyArray (Tuple (QualifiedName Operator) (Binder e)))
• BinderError e