Language.PS.CST.Types.Leafs

data Comments

Constructors

• OneLineComments (Array String)

  Rendered as

  -- | line1
  -- | line2
  

• BlockComments (Array String)

  Rendered as

  {-
    line1
    line2
  -}
  

Instances

• Generic Comments _
• Eq Comments
• Ord Comments
• Show Comments

newtype ModuleName

Constructors

• ModuleName (NonEmptyArray (ProperName ProperNameType_Namespace))

Instances

• Newtype ModuleName _
• Generic ModuleName _
• Eq ModuleName
• Ord ModuleName
• Show ModuleName

newtype Ident

Constructors

• Ident String

Instances

• Newtype Ident _
• Generic Ident _
• Eq Ident
• Ord Ident
• Show Ident

data OpNameType

data OpNameType_ValueOpName :: OpNameType

data OpNameType_TypeOpName :: OpNameType

newtype OpName (proxy :: OpNameType)

Constructors

• OpName String

Instances

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

data ProperNameType

data ProperNameType_TypeConstructor :: ProperNameType

data ProperNameType_ConstructorName :: ProperNameType

data ProperNameType_ClassName :: ProperNameType

data ProperNameType_Namespace :: ProperNameType

newtype ProperName (proxy :: ProperNameType)

Constructors

• ProperName String

Instances

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

data DeclDeriveType

Constructors

• DeclDeriveType_Newtype
• DeclDeriveType_Ordinary

Instances

• Generic DeclDeriveType _
• Eq DeclDeriveType
• Ord DeclDeriveType
• Show DeclDeriveType

data Fixity

Constructors

• Infix
• Infixl
• Infixr

Instances

• Generic Fixity _
• Eq Fixity
• Ord Fixity
• Show Fixity

newtype Label

Constructors

• Label String

Instances

• Newtype Label _
• Generic Label _
• Eq Label
• Ord Label
• Show Label

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

data RecordLabeled a

Constructors

• RecordPun Ident
• RecordField Label a

Instances

• Functor RecordLabeled
• Foldable RecordLabeled
• Traversable RecordLabeled
• Generic (RecordLabeled a) _
• (Eq a) => Eq (RecordLabeled a)
• (Ord a) => Ord (RecordLabeled a)
• (Show a) => Show (RecordLabeled a)