Language.PS.CST.Types.Declaration

data Declaration

Constructors

• DeclData { comments :: Maybe Comments, constructors :: Array DataCtor, head :: DataHead }
• DeclType { comments :: Maybe Comments, head :: DataHead, type_ :: PSType }
• DeclNewtype { comments :: Maybe Comments, head :: DataHead, name :: ProperName ProperNameType_ConstructorName, type_ :: PSType }
• DeclClass { comments :: Maybe Comments, head :: ClassHead, methods :: Array { ident :: Ident, type_ :: PSType } }
• DeclInstanceChain { comments :: Maybe Comments, instances :: NonEmptyArray (Instance) }
• DeclDerive { comments :: Maybe Comments, deriveType :: DeclDeriveType, head :: InstanceHead }
• DeclSignature { comments :: Maybe Comments, ident :: Ident, type_ :: PSType }
• DeclValue { comments :: Maybe Comments, valueBindingFields :: ValueBindingFields }
• DeclFixity { comments :: Maybe Comments, fixityFields :: FixityFields }
• DeclForeign { comments :: Maybe Comments, foreign_ :: Foreign }

Instances

• Generic Declaration _
• Eq Declaration
• Ord Declaration
• Show Declaration

type InstanceHead = { instClass :: QualifiedName (ProperName ProperNameType_ClassName), instConstraints :: Array PSConstraint, instName :: Ident, instTypes :: NonEmptyArray PSType }

data Foreign

Constructors

• ForeignValue { ident :: Ident, type_ :: PSType }
• ForeignData { kind_ :: PSType, name :: ProperName ProperNameType_TypeConstructor }
• ForeignKind { name :: ProperName ProperNameType_TypeConstructor }

Instances

• Generic Foreign _
• Eq Foreign
• Ord Foreign
• Show Foreign

type FixityFields = { keyword :: Fixity, operator :: FixityOp, precedence :: Int }

data FixityOp

Constructors

• FixityValue (Either (QualifiedName Ident) (QualifiedName (ProperName ProperNameType_ConstructorName))) (OpName OpNameType_ValueOpName)
• FixityType (QualifiedName (ProperName ProperNameType_TypeConstructor)) (OpName OpNameType_TypeOpName)

Instances

• Generic FixityOp _
• Eq FixityOp
• Ord FixityOp
• Show FixityOp

data PSType

Constructors

• TypeVar Ident
• TypeConstructor (QualifiedName (ProperName ProperNameType_TypeConstructor))
• TypeWildcard
• TypeHole Ident
• TypeString String
• TypeRow PSRow
• TypeRecord PSRow
• TypeApp PSType PSType
• TypeForall (NonEmptyArray TypeVarBinding) PSType
• TypeArr PSType PSType
• TypeKinded PSType PSType
• TypeOp PSType (QualifiedName (OpName OpNameType_TypeOpName)) PSType
• TypeConstrained PSConstraint PSType

Instances

• Generic PSType _

  TypeOpName (QualifiedName (OpName OpNameType_TypeOpName)) TypeArrName TypeParens PSType -- generated automatically

• Eq PSType
• Ord PSType
• Show PSType

data TypeVarBinding

Constructors

• TypeVarKinded Ident PSType
• TypeVarName Ident

Instances

• Generic TypeVarBinding _
• Eq TypeVarBinding
• Ord TypeVarBinding
• Show TypeVarBinding

newtype DataHead

Constructors

• DataHead { dataHdName :: ProperName ProperNameType_TypeConstructor, dataHdVars :: Array TypeVarBinding }

Instances

• Newtype DataHead _
• Generic DataHead _
• Eq DataHead
• Ord DataHead
• Show DataHead

newtype DataCtor

Constructors

• DataCtor { dataCtorFields :: Array PSType, dataCtorName :: ProperName ProperNameType_ConstructorName }

Instances

• Newtype DataCtor _
• Generic DataCtor _
• Eq DataCtor
• Ord DataCtor
• Show DataCtor

type PSRow = { rowLabels :: Array { label :: Label, type_ :: PSType }, rowTail :: Maybe PSType }

newtype PSConstraint

Constructors

• PSConstraint { args :: Array PSType, className :: QualifiedName (ProperName ProperNameType_ClassName) }

Instances

• Generic PSConstraint _

  ConstraintParens PSConstraint

• Eq PSConstraint
• Ord PSConstraint
• Show PSConstraint

type ClassHead = { fundeps :: Array ClassFundep, name :: ProperName ProperNameType_ClassName, super :: Array PSConstraint, vars :: Array TypeVarBinding }

type ValueBindingFields = { binders :: Array Binder, guarded :: Guarded, name :: Ident }

data Binder

Constructors

• BinderWildcard
• BinderVar Ident
• BinderNamed { binder :: Binder, ident :: Ident }
• BinderConstructor { args :: Array Binder, name :: QualifiedName (ProperName ProperNameType_ConstructorName) }
• BinderBoolean Boolean
• BinderChar Char
• BinderString String
• BinderNumber (Either Int Number)
• BinderArray (Array Binder)
• BinderRecord (Array (RecordLabeled Binder))
• BinderTyped Binder PSType
• BinderOp Binder (QualifiedName (OpName OpNameType_ValueOpName)) Binder

Instances

• Generic Binder _

  BinderParens Binder -- no need

• Eq Binder
• Ord Binder
• Show Binder

data Guarded

Constructors

• Unconditional (Where)
• Guarded (NonEmptyArray GuardedExpr)

Instances

• Generic Guarded _
• Eq Guarded
• Ord Guarded
• Show Guarded

type Where = { expr :: Expr, whereBindings :: Array LetBinding }

data LetBinding

Constructors

• LetBindingSignature { ident :: Ident, type_ :: PSType }
• LetBindingName ValueBindingFields
• LetBindingPattern { binder :: Binder, where_ :: Where }

Instances

• Generic LetBinding _
• Eq LetBinding
• Ord LetBinding
• Show LetBinding

type GuardedExpr = { patterns :: NonEmptyArray PatternGuard, where_ :: Where }

type PatternGuard = { binder :: Maybe Binder, expr :: Expr }

data Expr

Constructors

• ExprHole Ident
• ExprSection
• ExprIdent (QualifiedName Ident)
• ExprConstructor (QualifiedName (ProperName ProperNameType_ConstructorName))
• ExprBoolean Boolean
• ExprChar Char
• ExprString String
• ExprNumber (Either Int Number)
• ExprArray (Array Expr)
• ExprRecord (Array (RecordLabeled Expr))
• ExprTyped Expr PSType
• ExprInfix Expr Expr Expr
• ExprOp Expr (QualifiedName (OpName OpNameType_ValueOpName)) Expr
• ExprOpName (QualifiedName (OpName OpNameType_ValueOpName))
• ExprNegate Expr
• ExprRecordAccessor RecordAccessor
• ExprRecordUpdate Expr (NonEmptyArray RecordUpdate)
• ExprApp Expr Expr
• ExprLambda Lambda
• ExprIf IfThenElse
• ExprCase CaseOf
• ExprLet LetIn
• ExprDo (NonEmptyArray DoStatement)
• ExprAdo AdoBlock

Instances

• Generic Expr _

  ExprParens Expr -- no need

• Eq Expr
• Ord Expr
• Show Expr

type RecordAccessor = { recExpr :: Expr, recPath :: NonEmptyArray Label }

data RecordUpdate

Constructors

• RecordUpdateLeaf Label Expr
• RecordUpdateBranch Label (NonEmptyArray RecordUpdate)

Instances

• Generic RecordUpdate _
• Eq RecordUpdate
• Ord RecordUpdate
• Show RecordUpdate

type Lambda = { binders :: NonEmptyArray Binder, body :: Expr }

type IfThenElse = { cond :: Expr, false_ :: Expr, true_ :: Expr }

type CaseOf = { branches :: NonEmptyArray { binders :: NonEmptyArray Binder, body :: Guarded }, head :: NonEmptyArray Expr }

type LetIn = { bindings :: NonEmptyArray LetBinding, body :: Expr }

data DoStatement

Constructors

• DoLet (NonEmptyArray LetBinding)
• DoDiscard Expr
• DoBind { binder :: Binder, expr :: Expr }

Instances

• Generic DoStatement _
• Eq DoStatement
• Ord DoStatement
• Show DoStatement

type AdoBlock = { result :: Expr, statements :: Array DoStatement }

data InstanceBinding

Constructors

• InstanceBindingSignature { ident :: Ident, type_ :: PSType }
• InstanceBindingName ValueBindingFields

Instances

• Generic InstanceBinding _
• Eq InstanceBinding
• Ord InstanceBinding
• Show InstanceBinding

type Instance = { body :: Array InstanceBinding, head :: InstanceHead }

Operator alias for Language.PS.CST.Types.Declaration.ExprLambda (left-associative / precedence 5)

Operator alias for Language.PS.CST.Types.Declaration.TypeArr (right-associative / precedence 5)