source.purescript.js

// This is a TextMate grammar distributed by `starry-night`.
// This grammar is developed at
// <https://github.com/purescript-contrib/atom-language-purescript>
// and licensed `mit`.
// See <https://github.com/wooorm/starry-night> for more info.
/**
 * @import {Grammar} from '@wooorm/starry-night'
 */

/** @type {Grammar} */
const grammar = {
  extensions: ['.purs'],
  names: ['purescript'],
  patterns: [
    {
      captures: {
        1: {name: 'punctuation.definition.entity.purescript'},
        2: {name: 'punctuation.definition.entity.purescript'}
      },
      match:
        "(`)(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(`)",
      name: 'keyword.operator.function.infix.purescript'
    },
    {
      begin: "^\\s*\\b(module)(?!')\\b",
      beginCaptures: {1: {name: 'keyword.other.purescript'}},
      end: '(where)',
      endCaptures: {1: {name: 'keyword.other.purescript'}},
      name: 'meta.declaration.module.purescript',
      patterns: [
        {include: '#comments'},
        {include: '#module_name'},
        {include: '#module_exports'},
        {match: '[a-z]+', name: 'invalid.purescript'}
      ]
    },
    {
      begin: "^\\s*\\b(class)(?!')\\b",
      beginCaptures: {1: {name: 'storage.type.class.purescript'}},
      end: '\\b(where)\\b|$',
      endCaptures: {1: {name: 'keyword.other.purescript'}},
      name: 'meta.declaration.typeclass.purescript',
      patterns: [{include: '#type_signature'}]
    },
    {
      begin: "^\\s*\\b(else\\s+)?(derive\\s+)?(newtype\\s+)?(instance)(?!')\\b",
      beginCaptures: {
        1: {name: 'keyword.other.purescript'},
        2: {name: 'keyword.other.purescript'},
        3: {name: 'keyword.other.purescript'},
        4: {name: 'keyword.other.purescript'}
      },
      contentName: 'meta.type-signature.purescript',
      end: '\\b(where)\\b|$',
      endCaptures: {1: {name: 'keyword.other.purescript'}},
      name: 'meta.declaration.instance.purescript',
      patterns: [{include: '#type_signature'}]
    },
    {
      begin:
        "^(\\s*)(foreign)\\s+(import)\\s+(data)\\s+([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)",
      beginCaptures: {
        2: {name: 'keyword.other.purescript'},
        3: {name: 'keyword.other.purescript'},
        4: {name: 'keyword.other.purescript'},
        5: {name: 'entity.name.type.purescript'},
        6: {name: 'keyword.other.double-colon.purescript'}
      },
      contentName: 'meta.kind-signature.purescript',
      end: '^(?!\\1[ \\t]|[ \\t]*$)',
      name: 'meta.foreign.data.purescript',
      patterns: [{include: '#double_colon'}, {include: '#kind_signature'}]
    },
    {
      begin:
        "^(\\s*)(foreign)\\s+(import)\\s+([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)",
      beginCaptures: {
        2: {name: 'keyword.other.purescript'},
        3: {name: 'keyword.other.purescript'},
        4: {name: 'entity.name.function.purescript'}
      },
      contentName: 'meta.type-signature.purescript',
      end: '^(?!\\1[ \\t]|[ \\t]*$)',
      name: 'meta.foreign.purescript',
      patterns: [{include: '#double_colon'}, {include: '#type_signature'}]
    },
    {
      begin: "^\\s*\\b(import)(?!')\\b",
      beginCaptures: {1: {name: 'keyword.other.purescript'}},
      end: '($|(?=--))',
      name: 'meta.import.purescript',
      patterns: [
        {include: '#module_name'},
        {include: '#module_exports'},
        {
          captures: {1: {name: 'keyword.other.purescript'}},
          match: '\\b(as|hiding)\\b'
        }
      ]
    },
    {
      begin: '^(\\s)*(data|newtype)\\s+(.+?)\\s*(?=\\=|$)',
      beginCaptures: {
        2: {name: 'storage.type.data.purescript'},
        3: {
          name: 'meta.type-signature.purescript',
          patterns: [{include: '#type_signature'}]
        }
      },
      end: '^(?!\\1[ \\t]|[ \\t]*$)',
      name: 'meta.declaration.type.data.purescript',
      patterns: [
        {include: '#comments'},
        {
          captures: {0: {name: 'keyword.operator.assignment.purescript'}},
          match: '='
        },
        {
          captures: {
            1: {patterns: [{include: '#data_ctor'}]},
            2: {
              name: 'meta.type-signature.purescript',
              patterns: [{include: '#type_signature'}]
            }
          },
          match:
            "(?:(?:\\b([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)\\s+)(?:(?<ctorArgs>(?:(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|(?:(?:[\\w()'→⇒\\[\\],]|->|=>)+\\s*)+))(?:\\s*(?:\\s+)\\s*\\g<ctorArgs>)?)?))"
        },
        {
          captures: {0: {name: 'punctuation.separator.pipe.purescript'}},
          match: '\\|'
        },
        {include: '#record_types'}
      ]
    },
    {
      begin: '^(\\s)*(type)\\s+(.+?)\\s*(?=\\=|$)',
      beginCaptures: {
        2: {name: 'storage.type.data.purescript'},
        3: {
          name: 'meta.type-signature.purescript',
          patterns: [{include: '#type_signature'}]
        }
      },
      contentName: 'meta.type-signature.purescript',
      end: '^(?!\\1[ \\t]|[ \\t]*$)',
      name: 'meta.declaration.type.type.purescript',
      patterns: [
        {
          captures: {0: {name: 'keyword.operator.assignment.purescript'}},
          match: '='
        },
        {include: '#type_signature'},
        {include: '#record_types'},
        {include: '#comments'}
      ]
    },
    {
      match:
        "^\\s*\\b(derive|where|data|type|newtype|infix[lr]?|foreign(\\s+import)?(\\s+data)?)(?!')\\b",
      name: 'keyword.other.purescript'
    },
    {
      match:
        "\\?(?:[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*|[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)",
      name: 'entity.name.function.typed-hole.purescript'
    },
    {
      match: "^\\s*\\b(data|type|newtype)(?!')\\b",
      name: 'storage.type.purescript'
    },
    {
      match: "\\b(do|ado|if|then|else|case|of|let|in)(?!('|\\s*(:|=)))\\b",
      name: 'keyword.control.purescript'
    },
    {
      match: '\\b(?<!\\$)0(x|X)[0-9a-fA-F]+\\b(?!\\$)',
      name: 'constant.numeric.hex.purescript'
    },
    {
      captures: {
        0: {name: 'constant.numeric.decimal.purescript'},
        1: {name: 'meta.delimiter.decimal.period.purescript'},
        2: {name: 'meta.delimiter.decimal.period.purescript'},
        3: {name: 'meta.delimiter.decimal.period.purescript'},
        4: {name: 'meta.delimiter.decimal.period.purescript'},
        5: {name: 'meta.delimiter.decimal.period.purescript'},
        6: {name: 'meta.delimiter.decimal.period.purescript'}
      },
      match:
        '(?x)\n(?<!\\$)(?:\n  (?:\\b[0-9]+(\\.)[0-9]+[eE][+-]?[0-9]+\\b)| # 1.1E+3\n  (?:\\b[0-9]+[eE][+-]?[0-9]+\\b)|            # 1E+3\n  (?:\\b[0-9]+(\\.)[0-9]+\\b)|                # 1.1\n  (?:\\b[0-9]+\\b(?!\\.))                     # 1\n)(?!\\$)',
      name: 'constant.numeric.decimal.purescript'
    },
    {match: '\\b(true|false)\\b', name: 'constant.language.boolean.purescript'},
    {
      match: '\\b(([0-9]+_?)*[0-9]+|0([xX][0-9a-fA-F]+|[oO][0-7]+))\\b',
      name: 'constant.numeric.purescript'
    },
    {
      begin: '"""',
      beginCaptures: {
        0: {name: 'punctuation.definition.string.begin.purescript'}
      },
      end: '"""',
      endCaptures: {0: {name: 'punctuation.definition.string.end.purescript'}},
      name: 'string.quoted.triple.purescript'
    },
    {
      begin: '"',
      beginCaptures: {
        0: {name: 'punctuation.definition.string.begin.purescript'}
      },
      end: '"',
      endCaptures: {0: {name: 'punctuation.definition.string.end.purescript'}},
      name: 'string.quoted.double.purescript',
      patterns: [
        {include: '#characters'},
        {
          begin: '\\\\\\s',
          beginCaptures: {
            0: {name: 'markup.other.escape.newline.begin.purescript'}
          },
          end: '\\\\',
          endCaptures: {
            0: {name: 'markup.other.escape.newline.end.purescript'}
          },
          patterns: [
            {
              match: '\\S+',
              name: 'invalid.illegal.character-not-allowed-here.purescript'
            }
          ]
        }
      ]
    },
    {match: '\\\\$', name: 'markup.other.escape.newline.purescript'},
    {
      captures: {
        1: {name: 'punctuation.definition.string.begin.purescript'},
        2: {patterns: [{include: '#characters'}]},
        7: {name: 'punctuation.definition.string.end.purescript'}
      },
      match:
        "(')((?:[ -\\[\\]-~]|(\\\\(?:NUL|SOH|STX|ETX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|SO|SI|DLE|DC1|DC2|DC3|DC4|NAK|SYN|ETB|CAN|EM|SUB|ESC|FS|GS|RS|US|SP|DEL|[abfnrtv\\\\\\\"'\\&]))|(\\\\o[0-7]+)|(\\\\x[0-9A-Fa-f]+)|(\\^[A-Z@\\[\\]\\\\\\^_])))(')",
      name: 'string.quoted.single.purescript'
    },
    {include: '#function_type_declaration'},
    {
      captures: {
        1: {patterns: [{include: '$self'}]},
        2: {name: 'keyword.other.double-colon.purescript'},
        3: {
          name: 'meta.type-signature.purescript',
          patterns: [{include: '#type_signature'}]
        }
      },
      match:
        '\\((?<paren>(?:[^()]|\\(\\g<paren>\\))*)(::|∷)(?<paren2>(?:[^()]|\\(\\g<paren2>\\))*)\\)'
    },
    {
      begin: '^(\\s*)(?:(::|∷))',
      beginCaptures: {2: {name: 'keyword.other.double-colon.purescript'}},
      end: '^(?!\\1[ \\t]*|[ \\t]*$)',
      patterns: [{include: '#type_signature'}]
    },
    {include: '#data_ctor'},
    {include: '#comments'},
    {include: '#infix_op'},
    {match: '\\<-|-\\>', name: 'keyword.other.arrow.purescript'},
    {
      match: '[\\p{S}\\p{P}&&[^(),;\\[\\]`{}_"\']]+',
      name: 'keyword.operator.purescript'
    },
    {match: ',', name: 'punctuation.separator.comma.purescript'}
  ],
  repository: {
    block_comment: {
      patterns: [
        {
          applyEndPatternLast: true,
          begin: '\\{-\\s*\\|',
          beginCaptures: {
            0: {name: 'punctuation.definition.comment.documentation.purescript'}
          },
          end: '-\\}',
          endCaptures: {
            0: {name: 'punctuation.definition.comment.documentation.purescript'}
          },
          name: 'comment.block.documentation.purescript',
          patterns: [{include: '#block_comment'}]
        },
        {
          applyEndPatternLast: true,
          begin: '\\{-',
          beginCaptures: {
            0: {name: 'punctuation.definition.comment.purescript'}
          },
          end: '-\\}',
          name: 'comment.block.purescript',
          patterns: [{include: '#block_comment'}]
        }
      ]
    },
    characters: {
      patterns: [
        {
          captures: {
            1: {name: 'constant.character.escape.purescript'},
            2: {name: 'constant.character.escape.octal.purescript'},
            3: {name: 'constant.character.escape.hexadecimal.purescript'},
            4: {name: 'constant.character.escape.control.purescript'}
          },
          match:
            '(?:[ -\\[\\]-~]|(\\\\(?:NUL|SOH|STX|ETX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|SO|SI|DLE|DC1|DC2|DC3|DC4|NAK|SYN|ETB|CAN|EM|SUB|ESC|FS|GS|RS|US|SP|DEL|[abfnrtv\\\\\\"\'\\&]))|(\\\\o[0-7]+)|(\\\\x[0-9A-Fa-f]+)|(\\^[A-Z@\\[\\]\\\\\\^_]))'
        }
      ]
    },
    class_constraint: {
      patterns: [
        {
          captures: {
            1: {
              patterns: [
                {
                  match:
                    "\\b[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*",
                  name: 'entity.name.type.purescript'
                }
              ]
            },
            2: {patterns: [{include: '#type_name'}, {include: '#generic_type'}]}
          },
          match:
            "(?:(?:([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)\\s+)(?:(?<classConstraint>(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)(?:\\s*(?:\\s+)\\s*\\g<classConstraint>)?)))",
          name: 'meta.class-constraint.purescript'
        }
      ]
    },
    comments: {
      patterns: [
        {
          begin: '(^[ \\t]+)?(?=--+\\s+\\|)',
          beginCaptures: {
            1: {name: 'punctuation.whitespace.comment.leading.purescript'}
          },
          end: '(?!\\G)',
          patterns: [
            {
              begin: '(--+)\\s+(\\|)',
              beginCaptures: {
                1: {name: 'punctuation.definition.comment.purescript'},
                2: {
                  name: 'punctuation.definition.comment.documentation.purescript'
                }
              },
              end: '\\n',
              name: 'comment.line.double-dash.documentation.purescript'
            }
          ]
        },
        {
          begin: '(^[ \\t]+)?(?=--+(?![\\p{S}\\p{P}&&[^(),;\\[\\]`{}_"\']]))',
          beginCaptures: {
            1: {name: 'punctuation.whitespace.comment.leading.purescript'}
          },
          end: '(?!\\G)',
          patterns: [
            {
              begin: '--',
              beginCaptures: {
                0: {name: 'punctuation.definition.comment.purescript'}
              },
              end: '\\n',
              name: 'comment.line.double-dash.purescript'
            }
          ]
        },
        {include: '#block_comment'}
      ]
    },
    data_ctor: {
      patterns: [
        {
          match:
            "\\b[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*",
          name: 'entity.name.tag.purescript'
        }
      ]
    },
    double_colon: {
      patterns: [
        {match: '(?:::|∷)', name: 'keyword.other.double-colon.purescript'}
      ]
    },
    function_type_declaration: {
      patterns: [
        {
          begin:
            "^(\\s*)([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)\\s*(?:(::|∷)(?!.*<-))",
          beginCaptures: {
            2: {name: 'entity.name.function.purescript'},
            3: {name: 'keyword.other.double-colon.purescript'}
          },
          contentName: 'meta.type-signature.purescript',
          end: '^(?!\\1[ \\t]|[ \\t]*$)',
          name: 'meta.function.type-declaration.purescript',
          patterns: [{include: '#double_colon'}, {include: '#type_signature'}]
        }
      ]
    },
    generic_type: {
      patterns: [
        {
          match:
            "\\b(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*",
          name: 'variable.other.generic-type.purescript'
        }
      ]
    },
    infix_op: {
      patterns: [
        {
          match: '(?:\\((?!--+\\))[\\p{S}\\p{P}&&[^(),;\\[\\]`{}_"\']]+\\))',
          name: 'entity.name.function.infix.purescript'
        }
      ]
    },
    kind_signature: {
      patterns: [
        {match: '\\*', name: 'keyword.other.star.purescript'},
        {match: '!', name: 'keyword.other.exclaimation-point.purescript'},
        {match: '#', name: 'keyword.other.pound-sign.purescript'},
        {match: '->|→', name: 'keyword.other.arrow.purescript'}
      ]
    },
    module_exports: {
      patterns: [
        {
          begin: '\\(',
          end: '\\)',
          name: 'meta.declaration.exports.purescript',
          patterns: [
            {include: '#comments'},
            {
              match:
                "\\b(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*",
              name: 'entity.name.function.purescript'
            },
            {include: '#type_name'},
            {match: ',', name: 'punctuation.separator.comma.purescript'},
            {include: '#infix_op'},
            {match: '\\(.*?\\)', name: 'meta.other.constructor-list.purescript'}
          ]
        }
      ]
    },
    module_name: {
      patterns: [
        {
          match:
            "(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)*[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.?",
          name: 'support.other.module.purescript'
        }
      ]
    },
    record_field_declaration: {
      patterns: [
        {
          begin: "([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)\\s*(::|∷)",
          beginCaptures: {
            1: {
              patterns: [
                {
                  match:
                    "(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*",
                  name: 'entity.other.attribute-name.purescript'
                }
              ]
            },
            2: {name: 'keyword.other.double-colon.purescript'}
          },
          contentName: 'meta.type-signature.purescript',
          end: "(?=([\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)\\s*(::|∷)|})",
          name: 'meta.record-field.type-declaration.purescript',
          patterns: [{include: '#type_signature'}, {include: '#record_types'}]
        }
      ]
    },
    record_types: {
      patterns: [
        {
          begin: '\\{',
          beginCaptures: {
            0: {name: 'keyword.operator.type.record.begin.purescript'}
          },
          end: '\\}',
          endCaptures: {
            0: {name: 'keyword.operator.type.record.end.purescript'}
          },
          name: 'meta.type.record.purescript',
          patterns: [
            {match: ',', name: 'punctuation.separator.comma.purescript'},
            {include: '#record_field_declaration'},
            {include: '#comments'}
          ]
        }
      ]
    },
    type_name: {
      patterns: [
        {
          match:
            "\\b[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*",
          name: 'entity.name.type.purescript'
        }
      ]
    },
    type_signature: {
      patterns: [
        {
          captures: {
            1: {patterns: [{include: '#class_constraint'}]},
            4: {name: 'keyword.other.big-arrow.purescript'}
          },
          match:
            "(?:(?:\\()(?:(?<classConstraints>(?:(?:(?:([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)\\s+)(?:(?<classConstraint>(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)(?:\\s*(?:\\s+)\\s*\\g<classConstraint>)?))))(?:\\s*(?:,)\\s*\\g<classConstraints>)?))(?:\\))(?:\\s*(=>|<=|⇐|⇒)))",
          name: 'meta.class-constraints.purescript'
        },
        {
          captures: {
            1: {patterns: [{include: '#class_constraint'}]},
            4: {name: 'keyword.other.big-arrow.purescript'}
          },
          match:
            "((?:(?:([\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*)\\s+)(?:(?<classConstraint>(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*|(?:[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*(?:\\.[\\p{Lu}\\p{Lt}][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)*\\.)?[\\p{Ll}_][\\p{Ll}_\\p{Lu}\\p{Lt}\\p{Nd}']*)(?:\\s*(?:\\s+)\\s*\\g<classConstraint>)?))))\\s*(=>|<=|⇐|⇒)",
          name: 'meta.class-constraints.purescript'
        },
        {match: '->|→', name: 'keyword.other.arrow.purescript'},
        {match: '=>|⇒', name: 'keyword.other.big-arrow.purescript'},
        {match: '<=|⇐', name: 'keyword.other.big-arrow-left.purescript'},
        {match: 'forall|∀', name: 'keyword.other.forall.purescript'},
        {include: '#generic_type'},
        {include: '#type_name'},
        {include: '#comments'}
      ]
    }
  },
  scopeName: 'source.purescript'
}

export default grammar