Module

Language.PS.CST.Types.Leafs

Package: purescript-ps-cst
Repository: purescript-codegen/purescript-ps-cst

#Comments Source

data Comments

Constructors

OneLineComments (Array String)
Rendered as
```
-- | line1
-- | line2
```
BlockComments (Array String)
Rendered as
```
{-
  line1
  line2
-}
```

Instances

#ModuleName Source

newtype ModuleName

Constructors

ModuleName (NonEmptyArray (ProperName ProperNameType_Namespace))

Instances

#Ident Source

newtype Ident

Constructors

Ident String

Instances

#OpNameType Source

data OpNameType

#OpNameType_ValueOpName Source

data OpNameType_ValueOpName :: OpNameType

#OpNameType_TypeOpName Source

data OpNameType_TypeOpName :: OpNameType

#OpName Source

newtype OpName (proxy :: OpNameType)

Constructors

OpName String

Instances

Newtype (OpName proxy) _
Generic (OpName proxy) _
Eq (OpName proxy)
Ord (OpName proxy)
Show (OpName proxy)

#ProperNameType Source

data ProperNameType

#ProperNameType_TypeConstructor Source

data ProperNameType_TypeConstructor :: ProperNameType

#ProperNameType_ConstructorName Source

data ProperNameType_ConstructorName :: ProperNameType

#ProperNameType_ClassName Source

data ProperNameType_ClassName :: ProperNameType

#ProperNameType_Namespace Source

data ProperNameType_Namespace :: ProperNameType

#ProperName Source

newtype ProperName (proxy :: ProperNameType)

Constructors

ProperName String

Instances

Newtype (ProperName proxy) _
Generic (ProperName proxy) _
Eq (ProperName proxy)
Ord (ProperName proxy)
Show (ProperName proxy)

#DeclDeriveType Source

data DeclDeriveType

Constructors

Instances

#Fixity Source

data Fixity

Constructors

Instances

#Label Source

newtype Label

Constructors

Label String

Instances

#ClassFundep Source

data ClassFundep

Constructors

FundepDetermines (NonEmptyArray Ident) (NonEmptyArray Ident)

Instances

Generic ClassFundep _
FundepDetermined (NonEmptyArray Ident) -- parser is not allowing it (i.e. class Foo a | a)?
Eq ClassFundep
Ord ClassFundep
Show ClassFundep

#RecordLabeled Source

data RecordLabeled a

Constructors

RecordPun Ident
RecordField Label a