### Starting PureScript PSCi REPL

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Launches the PureScript interactive environment (PSCi) using the Spago build tool.

```Command Line
spago repl
```

--------------------------------

### Installing PureScript Compiler with npm

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Installs the PureScript compiler globally using the npm package manager. Requires Node.js and npm to be installed.

```bash
npm install -g purescript
```

--------------------------------

### Installing Dependencies with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Installs specified library dependencies (`lists` and `foldable-traversable`) for the PureScript project using the Spago package manager. The libraries are downloaded and made available for compilation.

```bash
spago install lists foldable-traversable
```

--------------------------------

### Installing PureScript Library with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Command to install the 'assert' library dependency for the PureScript project using the Spago package manager, required for writing tests.

```Shell
spago install assert
```

--------------------------------

### Installing Spago Build Tool with npm

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Installs the Spago package manager and build tool globally using the npm package manager. Spago is recommended for PureScript projects.

```bash
npm install -g spago
```

--------------------------------

### Displaying PSCi Help

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Shows a list of available commands and their descriptions within the PSCi REPL.

```PSCi
:?
```

--------------------------------

### Setting up PSCi with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/PSCi.md

These commands demonstrate how to install Spago, initialize a new project, and start the PSCi REPL.

```text
$ npm install -g spago
$ cd my-project
$ spago init
$ spago repl
```

--------------------------------

### Example of PureScript Compiled to JavaScript (JavaScript)

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Shows a snippet of the JavaScript code generated by the PureScript compiler. Illustrates how PureScript modules, functions, and variables are translated into JavaScript, including dead code elimination and module structure.

```JavaScript
(() => {
  // output/Data.Show/foreign.js
  var showIntImpl = function(n) {
    return n.toString();
  };

  ...

  // output/Euler/index.js
  var ns = /* @__PURE__ */ function() {
    return range2(0)(999);
  }();
  var multiples = /* @__PURE__ */ function() {
    return filter(function(n) {
      return mod(euclideanRingInt)(n)(3) === 0 || mod(euclideanRingInt)(n)(5) === 0;
    })(ns);
  }();
  var answer = /* @__PURE__ */ function() {
    return sum(foldableList)(semiringInt)(multiples);
  }();

  // output/Main/index.js
  var main = /* @__PURE__ */ function() {
    return log("The answer is " + show(showInt)(answer));
  }();

  // <stdin>
  main();
})();
```

--------------------------------

### Verifying PureScript Compiler Installation

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Runs the `purs` command on the command line to check if the PureScript compiler executable is available in the system's PATH.

```bash
purs
```

--------------------------------

### Quitting PSCi REPL

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Exits the PureScript interactive environment (PSCi).

```PSCi
:quit
```

--------------------------------

### Creating a New PureScript Project with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Creates a new directory, navigates into it, and initializes a new PureScript project using `spago init`. This sets up the basic project structure and configuration files.

```bash
mkdir my-project
cd my-project
spago init
```

--------------------------------

### Running PureScript Project Tests with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Executes the test suite defined in the PureScript project using the Spago build tool. This verifies the project's functionality.

```bash
spago test
```

--------------------------------

### Building a PureScript Project with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Compiles the PureScript project source files using the Spago build tool. This command processes the code and dependencies.

```bash
spago build
```

--------------------------------

### Compiling PureScript Project with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Shows the command to compile the PureScript source files in the 'src/' directory into JavaScript files in the 'output/' directory using the Spago build tool.

```Shell
spago build
```

--------------------------------

### Importing Modules in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Imports the standard Prelude and Data.List modules into the current PSCi session, making their functions available.

```PSCi
import Prelude
import Data.List
```

--------------------------------

### Running PureScript Executable with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Command to compile and execute the 'Main' module of the PureScript project using Spago. This runs the code defined in 'src/Main.purs'.

```Shell
$ spago run
[info] Build succeeded.
The answer is 233168
```

--------------------------------

### Running PureScript Tests with Spago

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Command to execute the test suite defined in the project, typically located in the 'test/' directory, using the Spago build tool.

```Shell
spago test
```

--------------------------------

### Bundle PureScript for Browser with Spago (Shell)

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Executes the Spago command to compile and bundle PureScript code into a single JavaScript file (index.js) suitable for web browsers. Shows the command output including file size and completion time.

```Shell
$ spago bundle-app
  index.js  11.8kb

⚡ Done in 14ms
[info] Bundle succeeded and output file to index.js
```

--------------------------------

### Loading Module into PureScript REPL

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Demonstrates how to load the 'Euler' module into the Spago REPL for interactive testing and exploration. Shows importing the module and accessing the 'answer' value.

```Shell
spago repl
> import Euler
> answer
233168
> :quit
See ya!
```

--------------------------------

### Example PureScript Module Triggering Error

Source: https://github.com/purescript/documentation/blob/master/errors/CannotUseBindWithDo.md

This code snippet provides a minimal example of a PureScript module structure where the 'CannotUseBindWithDo' error might occur. It serves as a starting point to understand the context of the error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Importing Data.Foldable in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Imports the Data.Foldable module into the current PSCi session to access functions like 'sum'.

```PSCi
import Data.Foldable
```

--------------------------------

### Generating a Range of Numbers in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Uses the 'range' function from Data.List to create a list of integers from 0 up to 999 (inclusive).

```PureScript
range 0 999
```

--------------------------------

### Installing psc-ide plugin for VIM

Source: https://github.com/purescript/documentation/blob/master/guides/psc-ide-FAQ.md

This snippet shows the command to install the psc-ide plugin for the VIM editor using the NeoBundle plugin manager. This is required to get psc-ide support within VIM.

```Vim script
NeoBundle "frigoeu/psc-ide-vim"
```

--------------------------------

### HTML Structure Including Bundled PureScript Output (HTML)

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Provides a basic HTML document structure that includes the bundled JavaScript file (index.js) generated by spago bundle-app. This demonstrates how to integrate the compiled PureScript code into a web page.

```HTML
<!DOCTYPE html>
<html>

  <head>
    <meta charset="UTF-8">
    <title>Euler Exercise</title>
  </head>

  <body>
    <script src="./index.js"></script>
  </body>

</html>
```

--------------------------------

### Build PureScript as ES Modules with Spago (Shell)

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Executes the Spago command to compile PureScript code into separate ES modules. This is useful for Node.js projects or larger web projects using module systems. Shows the command output indicating successful build.

```Shell
$ spago build
...
Build succeeded.
```

--------------------------------

### Writing Test Suite in PureScript

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Provides a basic test suite in PureScript using the 'Test.Assert' library. It defines a 'main' function that asserts the calculated 'answer' from the 'Euler' module is equal to the expected value. Requires the 'assert' library.

```PureScript
module Test.Main where

import Prelude

import Euler (answer)
import Test.Assert (assert)

main = do
  assert (answer == 233168)
```

--------------------------------

### Creating Executable Main Module in PureScript

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Modifies the 'src/Main.purs' module to create an executable. It imports the 'answer' from the 'Euler' module and uses 'Effect.Console.log' to print the result to the console. Requires the 'effect' library (implicitly via Prelude or other dependencies).

```PureScript
module Main where

import Prelude

import Euler (answer)
import Effect.Console (log)

main = do
  log ("The answer is " <> show answer)
```

--------------------------------

### Calculating Sum of List in PureScript

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Uses the 'sum' function from Data.Foldable to calculate the sum of all elements in the 'multiples' list.

```PureScript
sum multiples
```

--------------------------------

### Example of PossiblyInfiniteInstance Error Context in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/PossiblyInfiniteInstance.md

This snippet provides a minimal example of a PureScript module structure where the `PossiblyInfiniteInstance` error might manifest. It serves as a starting point to illustrate the context of the error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of New Polymorphic Proxy Usage - PureScript

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Shows the recommended way to use the new polymorphic `Proxy` type in PureScript 0.14 and later, replacing deprecated monomorphic proxies like `SProxy`.

```PureScript
-- Code written for PureScript 0.14 which will continue to work with
-- PureScript 0.15.
getFoo = Record.get (Proxy :: Proxy "foo")
```

--------------------------------

### PureScript Documentation Comment (bool)

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Example of a documentation comment for a function, starting with `-- |`. These comments are used by documentation generation tools.

```purescript
-- | `bool` performs case analysis for the `Boolean` data type, like an `if` statement.
bool :: forall a. Boolean -> a -> a -> a
bool true x _ = x
bool false _ x = x
```

--------------------------------

### Evaluating Variable in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Evaluates and prints the value currently assigned to the 'multiples' variable in the PSCi session.

```PureScript
multiples
```

--------------------------------

### Defining Euler Module in PureScript

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Defines a PureScript module 'Euler' that calculates the sum of multiples of 3 or 5 below 1000. It imports 'Prelude', 'Data.List' for 'range' and 'filter', and 'Data.Foldable' for 'sum'.

```PureScript
module Euler where

import Prelude

import Data.List (range, filter)
import Data.Foldable (sum)

ns = range 0 999

multiples = filter (\n -> mod n 3 == 0 || mod n 5 == 0) ns

answer = sum multiples
```

--------------------------------

### Example Values for ZipList Alt Instance Issue in PureScript

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

These PureScript values `f`, `g`, and `x` are used to demonstrate the failure of the old `ZipList` `Alt` instance to satisfy the `Alternative` distributivity law, showing different results for the left and right sides of the equation.

```PureScript
f = g = ZipList ((_ + 1) : Nil)
x = ZipList (0 : Nil)
```

--------------------------------

### Example of Deprecated SProxy Usage - PureScript

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Demonstrates how a monomorphic proxy like `SProxy` was used before PureScript 0.14. This code will compile in 0.14 but is deprecated and will not compile in 0.15.

```PureScript
-- Code written pre-PureScript 0.14, which will compile with PureScript 0.14
-- but will not compile with PureScript 0.15.
getFoo = Record.get (SProxy :: SProxy "foo")
```

--------------------------------

### Example Purescript Module for UserDefinedWarning

Source: https://github.com/purescript/documentation/blob/master/errors/UserDefinedWarning.md

An example Purescript module illustrating the context where a 'UserDefinedWarning' error might occur. This snippet serves as a minimal failing example.

```Purescript
module ShortFailingExample where

...
```

--------------------------------

### Filtering Multiples of 3 or 5 in PureScript

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Filters the list 'ns' to keep only numbers that are multiples of 3 or 5, using a lambda function as the predicate.

```PureScript
multiples = filter (\n -> mod n 3 == 0 || mod n 5 == 0) ns
```

--------------------------------

### Example Module Definition - PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/UnverifiableSuperclassInstance.md

This snippet shows a basic PureScript module definition that serves as an example context where the `UnverifiableSuperclassInstance` warning might occur. The '...' indicates placeholder code.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Checking Type of Data.List.zip in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Displays the inferred type signature of the 'zip' function from the Data.List module within the PSCi REPL.

```PSCi
:type zip
```

--------------------------------

### Evaluating Basic Expressions in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/PSCi.md

Examples of evaluating simple expressions, arithmetic, and importing/using effects within the PSCi REPL.

```PureScript
> "hello"
"hello"

> import Prelude

> 1 + 2 * 3
7

> import Effect.Console

> log "print this to the screen"
print this to the screen
unit
```

--------------------------------

### PureScript Documentation Comment (sort)

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Another example of documentation comments, showing how multiple lines can be marked as documentation and how regular comments can coexist.

```purescript
-- | Sort an array based on its `Ord` instance.
-- |
-- | This implementation runs in `O(n^2)` time, where `n` is the length of the
-- | input array.
-- TODO: try to optimise this?
sort :: forall a. (Ord a) => Array a -> Array a
sort xs = [...]
```

--------------------------------

### Checking Type of Function in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Displays the inferred type signature of the 'map' function from an imported module within the PSCi REPL.

```PSCi
:type map
```

--------------------------------

### Simple Function Declaration Example in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Pattern-Matching.md

Provides a basic example of a function declaration in PureScript, illustrating the syntax where arguments are simple variable patterns.

```purescript
example x y z = x * y + z
```

--------------------------------

### Example PureScript Module for Error Documentation

Source: https://github.com/purescript/documentation/blob/master/errors/Template.md

An example PureScript module demonstrating the structure used within the `ErrorCode` error documentation. It shows a basic module definition.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Assigning Range to Variable in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Assigns the list generated by 'range 0 999' to the variable 'ns' for later use in the PSCi session.

```PureScript
ns = range 0 999
```

--------------------------------

### JavaScript Equivalent of PureScript Lambda

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Provides the equivalent JavaScript code for the PureScript anonymous function example, showing how currying is handled.

```javascript
function (a) {
  return function (b) {
    return a + b;
  }
}
```

--------------------------------

### Basic PureScript Module Example

Source: https://github.com/purescript/documentation/blob/master/errors/ExpectedWildcard.md

This snippet shows a basic PureScript module definition, likely used as an example to demonstrate the ExpectedWildcard error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Purescript Module Demonstrating Error Context

Source: https://github.com/purescript/documentation/blob/master/errors/UnusedFFIImplementations.md

This snippet shows a basic Purescript module structure, likely used as a minimal example to trigger or illustrate the 'UnusedFFIImplementations' error.

```Purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Module for Incomplete Exhaustivity Check

Source: https://github.com/purescript/documentation/blob/master/errors/IncompleteExhaustivityCheck.md

A minimal PureScript module example demonstrating the context where the `IncompleteExhaustivityCheck` error might occur. This snippet shows the basic structure of a module that could trigger the error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Module Definition - PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/CycleInTypeSynonym.md

This snippet shows a basic PureScript module definition used as an example to illustrate the `CycleInTypeSynonym` error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of UnknownExportDataConstructor Error in Purescript

Source: https://github.com/purescript/documentation/blob/master/errors/UnknownExportDataConstructor.md

Provides a minimal Purescript module structure used as an example to demonstrate the `UnknownExportDataConstructor` error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Deprecated Monomorphic Proxy Types - PureScript

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Shows examples of various monomorphic proxy types (`Proxy`, `Proxy2`, `SProxy`, etc.) used before PureScript 0.14, which are now deprecated in favor of a single polymorphic `Proxy`.

```PureScript
data Proxy (a :: Type) = Proxy
data Proxy2 (a :: Type -> Type) = Proxy2
data Proxy3 (a :: Type -> Type -> Type) = Proxy3
data SProxy (a :: Symbol) = SProxy
data RProxy (row :: # Type) = RProxy
data RLProxy (row :: RowList) = RLProxy
-- ...and so on.
```

--------------------------------

### PureScript Module Definition Example

Source: https://github.com/purescript/documentation/blob/master/errors/ExpectedTypeConstructor.md

This snippet shows a basic PureScript module definition, likely used as part of an example demonstrating the `ExpectedTypeConstructor` error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example PureScript Module

Source: https://github.com/purescript/documentation/blob/master/errors/IncorrectConstructorArity.md

An example PureScript module intended to demonstrate the IncorrectConstructorArity error. The '...' indicates placeholder code that would trigger the error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Purescript Module Triggering InfiniteKind Error

Source: https://github.com/purescript/documentation/blob/master/errors/InfiniteKind.md

This code snippet provides a minimal example of a Purescript module structure that is intended to demonstrate or trigger the 'InfiniteKind' error. The '...' placeholder indicates where the specific problematic code would be located.

```Purescript
module ShortFailingExample where

...
```

--------------------------------

### Example PureScript Module Definition

Source: https://github.com/purescript/documentation/blob/master/errors/MultipleValueOpFixities.md

This snippet shows a basic PureScript module definition used as an example within the documentation for the MultipleValueOpFixities error. It serves as a placeholder to illustrate the context where the error might occur.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Module Declaration - PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/InvalidFFIIdentifier.md

A minimal PureScript module declaration used as an example that might encounter the `InvalidFFIIdentifier` error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Purescript Module for UnknownClass Error

Source: https://github.com/purescript/documentation/blob/master/errors/UnknownClass.md

This snippet provides a minimal example of a Purescript module structure, likely intended to demonstrate code that could trigger the 'UnknownClass' error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Purescript Module for UnknownExport Error

Source: https://github.com/purescript/documentation/blob/master/errors/UnknownExport.md

A minimal Purescript module definition used as an example to demonstrate the `UnknownExport` error. It shows the basic structure of a module declaration.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Triggering ImplicitQualifiedImportReExport Warning

Source: https://github.com/purescript/documentation/blob/master/errors/ImplicitQualifiedImportReExport.md

This PureScript code snippet provides a minimal example that is intended to trigger the `ImplicitQualifiedImportReExport` warning, demonstrating the scenario where the warning occurs.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example Code for OverlappingInstances Error (Purescript)

Source: https://github.com/purescript/documentation/blob/master/errors/OverlappingInstances.md

This code snippet provides a minimal example that might trigger the OverlappingInstances error in Purescript. It serves as a starting point for understanding the context where this error occurs.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of AdditionalProperty Error (Purescript)

Source: https://github.com/purescript/documentation/blob/master/errors/AdditionalProperty.md

This Purescript code snippet provides a minimal example module intended to demonstrate or trigger the 'AdditionalProperty' error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of ShadowedTypeVar Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/ShadowedTypeVar.md

This code snippet provides a minimal example module in PureScript designed to demonstrate or trigger the ShadowedTypeVar compiler error. It serves as a starting point for understanding the context in which this error occurs.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Example PureScript Module Triggering Error

Source: https://github.com/purescript/documentation/blob/master/errors/MissingFFIImplementations.md

This snippet shows a minimal PureScript module structure that is used as an example to demonstrate the context in which the MissingFFIImplementations error might occur. The '...' placeholder indicates where the specific code causing the error would be located.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Purescript Module Definition Example

Source: https://github.com/purescript/documentation/blob/master/errors/ConstrainedTypeUnified.md

A minimal Purescript module definition used as an example, likely to demonstrate a scenario that triggers the 'ConstrainedTypeUnified' error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### PureScript Module Definition Example

Source: https://github.com/purescript/documentation/blob/master/errors/AmbiguousTypeVariables.md

An example PureScript module definition used to demonstrate the 'AmbiguousTypeVariables' error. This snippet shows the basic structure of a module declaration.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### PureScript Numeric Literals

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Examples of integer (`Int`) and floating-point (`Number`) literals, including hexadecimal notation for integers.

```purescript
16 :: Int
0xF0 :: Int
16.0 :: Number
```

--------------------------------

### Checking Type of Variable in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/Getting-Started.md

Displays the inferred type of the 'multiples' variable within the PSCi REPL.

```PSCi
:type multiples
```

--------------------------------

### Example of MissingNewtypeSuperclassInstance Warning in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/MissingNewtypeSuperclassInstance.md

This snippet provides a minimal example demonstrating the context in which the `MissingNewtypeSuperclassInstance` warning might occur in PureScript code.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Example PureScript Module Definition

Source: https://github.com/purescript/documentation/blob/master/errors/HoleInferredType.md

This snippet shows a basic PureScript module definition, likely used as a minimal example to demonstrate the `HoleInferredType` error.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Generics Module Renaming Mapping - Text

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Lists the mapping of old `Data.Generic.Rep` module names to their new locations in `prelude` or `enums` after the `generics-rep` library was merged.

```text
Data.Generic.Rep.Bounded        -> Data.Bounded.Generic
Data.Generic.Rep.Enum           -> Data.Enum.Generic (in the `enums` package)
Data.Generic.Rep.Eq             -> Data.Eq.Generic
Data.Generic.Rep.HeytingAlgebra -> Data.HeytingAlgebra.Generic
Data.Generic.Rep.Monoid         -> Data.Monoid.Generic
Data.Generic.Rep.Ord            -> Data.Ord.Generic
Data.Generic.Rep.Ring           -> Data.Ring.Generic
Data.Generic.Rep.Semigroup      -> Data.Semigroup.Generic
Data.Generic.Rep.Semiring      -> Data.Semiring.Generic
Data.Generic.Rep.Show           -> Data.Show.Generic
```

--------------------------------

### Example PureScript module demonstrating MultipleTypeOpFixities error

Source: https://github.com/purescript/documentation/blob/master/errors/MultipleTypeOpFixities.md

This snippet provides a minimal example of a PureScript module that is intended to trigger or illustrate the MultipleTypeOpFixities error. The '...' indicates that the problematic code causing the error would be present here.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Example PureScript Module

Source: https://github.com/purescript/documentation/blob/master/errors/CycleInTypeClassDeclaration.md

An example PureScript module demonstrating the context where the CycleInTypeClassDeclaration error might occur. The '...' indicates placeholder code that would likely trigger the error.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Updating QuickCheck frequency to NonEmptyArray (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Provides examples of how to update code using the `frequency` function in `purescript-quickcheck` to use `NonEmptyArray` instead of `NonEmptyList`, reflecting a change in the library for better array syntax support. Includes examples for constructing the array from a literal list or using `cons'`.

```PureScript
import Partial.Unsafe (unsafePartial)
import Data.Maybe (fromJust)
import Data.Array.NonEmpty as NEA

foo = frequency $ unsafePartial $ fromJust $ NEA.fromArray
 [ Tuple 1 $ pure 1
 , Tuple 2 $ pure 2
 , Tuple 3 $ pure 3
 ]
```

```PureScript
import Data.Array.NonEmpty as NEA

foo = frequency $ NEA.cons' (Tuple 1 (pure 1)) someArrayOfTupleGen
```

--------------------------------

### Example PureScript Module for Export Conflict

Source: https://github.com/purescript/documentation/blob/master/errors/ExportConflict.md

A minimal PureScript module example intended to illustrate the `ExportConflict` error. The `...` placeholder indicates where conflicting exports or definitions would typically be placed.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Configuring Travis CI for PureScript Projects

Source: https://github.com/purescript/documentation/blob/master/guides/Style-Guide.md

This YAML configuration file sets up Travis CI for a PureScript project. It specifies Node.js as the environment, installs PureScript and Spago globally, and defines the build script to compile and test the project using Spago.

```yaml
language: node_js
dist: trusty
sudo: required
node_js: 6
install:
  - npm install purescript spago -g
script:
  - spago build && spago test
```

--------------------------------

### Hello World in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/README.md

Basic PureScript program that imports the console effect and logs "Hello, World!" to the console. Demonstrates module definition and the `main` function, which is the entry point for the program.

```purescript
module Main where

import Effect.Console

main = log "Hello, World!"
```

--------------------------------

### Desugared PureScript Do Notation Example

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

This PureScript snippet shows the underlying `bind` operations that the `do` notation from the previous example desugars into. It explicitly uses the `bind` function to sequence monadic operations and the `let-in` structure to define the intermediate `result` before returning the final monadic value using `pure`.

```PureScript
maybeSum a b =
  bind a \n ->
    bind b \m ->
      let result = n + m
      in pure result
```

--------------------------------

### Example PureScript Module Showing Error Context

Source: https://github.com/purescript/documentation/blob/master/errors/ExprDoesNotHaveType.md

Provides a minimal PureScript module structure used as an example to illustrate the context in which the ExprDoesNotHaveType error might occur. The '...' indicates where the failing code would be placed.

```purescript
module ShortFailingExample where\n\n...
```

--------------------------------

### Example of DuplicateExportRef Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/DuplicateExportRef.md

A minimal PureScript module structure illustrating where the `DuplicateExportRef` error might occur. This serves as a starting point for demonstrating the error.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Bundling PureScript output with webpack (Bash)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Provides basic webpack command examples for bundling, assuming a webpack.config.js file is present according to the documentation. Shows commands for development (unminified) and production (minified) modes.

```bash
# Create webpack.config.js according to docs
webpack --mode=development # bundle
webpack --mode=production # minified bundle
```

--------------------------------

### Qualified Import Example for Ambiguous Function Names in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Modules.md

Provides another example of using a qualified import (`MyWebFramework`) for a function with a non-descriptive name (`run`) to improve code readability and understanding.

```purescript
import MyWebFramework as MyWebFramework

main :: Effect Unit
main = do
  elem <- domElementById "appContainer"
  MyWebFramework.run elem
  -- ^ this may be more clear than
  -- `run elem`
```

--------------------------------

### PureScript Function Application

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Demonstrates how functions are applied to arguments in PureScript using simple juxtaposition.

```purescript
add 10 20
```

--------------------------------

### Example of PropertyIsMissing Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/PropertyIsMissing.md

This snippet shows the beginning of a PureScript module intended to demonstrate the PropertyIsMissing error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Exhaustive Guards Examples in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Pattern-Matching.md

Shows two ways to write exhaustive guards in PureScript, either by using `otherwise` or by providing a final catch-all pattern.

```purescript
compare x y
    | x > y = GT
    | x < y = LT
    | otherwise = EQ

compare x y | x > y = GT
compare x y | x < y = LT
compare _ _ = EQ
```

--------------------------------

### PureScript Declaration with Type Signature

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Example of a top-level function declaration including an explicit type signature, which is considered good practice.

```purescript
multiply :: Number -> Number -> Number
multiply x y = x * y
```

--------------------------------

### Example PureScript Module Triggering ExpectedType Error

Source: https://github.com/purescript/documentation/blob/master/errors/ExpectedType.md

This code snippet provides a minimal example of a PureScript module structure that is used to demonstrate or reproduce the ExpectedType error. The '...' indicates placeholder code that would cause the specific type mismatch.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Example module definition - Purescript

Source: https://github.com/purescript/documentation/blob/master/errors/InvalidDerivedInstance.md

This code snippet provides a minimal example of a Purescript module definition that is intended to illustrate the context in which the InvalidDerivedInstance error might occur. The '...' placeholder indicates that the full code causing the error is omitted for brevity.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Default Kind Inference (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Demonstrates how PureScript 0.13 would default the kind of a type parameter like `a` in `data Proxy a` to `Type`.

```PureScript
data Proxy a
```

--------------------------------

### PureScript Partial Function Application

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Shows how partial application works naturally in PureScript due to functions being curried by default.

```purescript
add10 = add 10
```

--------------------------------

### PureScript Single-Line Comment

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Shows the syntax for a single-line comment in PureScript, which starts with two hyphens (`--`).

```purescript
-- This is a comment
```

--------------------------------

### Example Triggering DuplicateTypeClass Error - PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/DuplicateTypeClass.md

A minimal PureScript code snippet demonstrating the context in which the `DuplicateTypeClass` error might occur. This serves as a starting point for understanding the error.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Bundling PureScript output with parcel (Bash)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Illustrates using parcel to build a project, typically starting from an HTML file that includes the compiled PureScript output via a script tag. Shows commands for unoptimized and minified builds, specifying the output directory.

```bash
# Note: in the examples below, the `index.html` file
# refers to a JavaScript file. If you are including your app
# as the entry point, it would have a script tag somewhere in it
# that looks something like this:
#   `<script type="module" src="./output/Main/index.js">`
parcel build index.html --no-source-maps --no-optimize --no-scope-hoist --dist-dir "dist/" # bundle for the browser
parcel build index.html --no-source-maps --dist-dir "dist/" # minified bundle for the browser
```

--------------------------------

### Defining Arbitrary Instance with NonEmpty Array (Old)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

This snippet shows the previous method for defining an `Arbitrary` instance using `Test.QuickCheck.Gen.elements` with a `NonEmpty Array` constructed using the `Data.NonEmpty.:|` operator.

```Purescript
import Data.NonEmpty ((:|))

instance arbitraryOrdering :: Arbitrary Ordering where
  arbitrary = elements $ LT :| [ EQ, GT ]
```

--------------------------------

### Argonaut Generics Module Renaming Mapping - Text

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Lists the mapping of old `Data.Argonaut...Generic.Rep` module names to their new locations within the `argonaut-generic` library.

```text
Data.Argonaut.Decode.Generic.Rep -> Data.Argonaut.Decode.Generic
Data.Argonaut.Encode.Generic.Rep -> Data.Argonaut.Encode.Generic
Data.Argonaut.Types.Generic.Rep  -> Data.Argonaut.Types.Generic
```

--------------------------------

### Bundling PureScript with spago (Bash)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Demonstrates basic spago commands for bundling PureScript applications and modules for browser and Node.js platforms, including minification options. Refer to the official spago documentation for more details.

```bash
spago bundle-app # bundle for the browser
spago bundle-app --platform node # bundle for node
spago bundle-app --minify # minified bundle for the browser
spago bundle-app --platform node --minify # minified bundle for node

spago bundle-module # bundle for the browser
spago bundle-module --platform node # bundle for node
spago bundle-module --minify # minified bundle for the browser
spago bundle-module --platform node --minify # minified bundle for node
```

--------------------------------

### Implementing FFI Passing PS Data Constructors as Args (Recommended)

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Implements the JavaScript FFI function that receives PureScript data constructors (`just`, `nothing`) as arguments and uses them. This is the recommended approach as it is robust to compiler changes and works correctly with dead code elimination.

```javascript
exports.doSomethingImpl = function(just, nothing, fn, value) {
  if (fn(value)) {
    return just(value);
  } else {
    return nothing;
  }
};
```

--------------------------------

### Replace MonadZero Constraint (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Replace the deprecated `MonadZero m` constraint in type signatures with the equivalent `Monad m => Alternative m` constraint.

```diff
- x :: forall m. MonadZero m => ...
+ x :: forall m. Monad m => Alternative m => ...
```

--------------------------------

### Example demonstrating InvalidDoBind error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/InvalidDoBind.md

This snippet provides a minimal PureScript module structure intended to demonstrate the `InvalidDoBind` error. The `...` indicates where the problematic code would be placed.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### Example of HiddenConstructors Warning Cause

Source: https://github.com/purescript/documentation/blob/master/errors/HiddenConstructors.md

Defines a newtype `N` with a hidden constructor `MkN` and derives `Newtype` and `Generic` instances. This setup triggers the `HiddenConstructors` warning because the instances implicitly expose the constructor.

```purescript
module ShortFailingExample (N) where

import Data.Newtype (class Newtype)
import Data.Generic.Rep (class Generic)

newtype N a = MkN a

derive instance newtypeN :: Newtype (N a) _
derive instance genericN :: Generic (N a) _
```

--------------------------------

### Executing PureScript App Index File Bash

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Provides Bash commands to run the `index.js` file containing the PureScript application entry point using the Node.js runtime. Includes the `--experimental-modules` flag required for Node.js version 12.

```Bash
node index.js
# or if you are on Node.js 12
node --experimental-modules index.js
```

--------------------------------

### Update guard Import (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Update the import statement for the `guard` function, which has been moved from the deprecated `Control.MonadZero` module to `Control.Alternative`.

```diff
- import Control.MonadZero (guard)
+ import Control.Alternative (guard)
```

--------------------------------

### Implementing Curried FFI Function (Manual)

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Provides the JavaScript implementation for the manually curried `joinPath` function, returning a function that takes the second argument to align with the PureScript declaration.

```javascript
export function joinPath(start) {
  return function(end) {
    return require('path').join(start, end);
  };
};
```

--------------------------------

### Spago PSCi psci-support Dependency Error

Source: https://github.com/purescript/documentation/blob/master/guides/PSCi.md

This snippet shows the error message received when running `spago repl` without the necessary `purescript-psci-support` package installed.

```text
$ spago repl

PSCi requires the `purescript-psci-support` package to be installed.
You can install it using Spago by adding "psci-support" to the list of dependencies in `spago.dhall`.

For help getting started, visit http://wiki.purescript.org/PSCi
```

--------------------------------

### Update Foldable1 Instance (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Update existing `Foldable1` instances by removing the `fold1` implementation and adding implementations for the new `foldl1` and `foldr1` members. Default implementations are available.

```diff
  instance foldable1Coyoneda :: Foldable1 f => Foldable1 (Coyoneda f) where
    foldMap1 f = unCoyoneda \\k -> foldMap1 (f <<< k)
-   fold1 = unCoyoneda \\k -> foldMap1 k
+   foldr1 = foldr1Default
+   foldl1 = foldl1Default
```

--------------------------------

### Example of UnusableDeclaration Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/UnusableDeclaration.md

This snippet provides a minimal PureScript module structure intended to demonstrate or trigger the UnusableDeclaration error. The '...' indicates where the problematic code would typically reside.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Function for Incrementing a Record Property

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Provides an example of a function that takes a record and returns a new record with a specific property incremented, using the record update syntax.

```purescript
\rec -> rec { foo = rec.foo + 1 }
```

--------------------------------

### Basic Case Expression Pattern Matching in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Pattern-Matching.md

Demonstrates the fundamental syntax for pattern matching using the `case` keyword in PureScript, showing how different patterns map to results.

```purescript
case value of
  pattern -> result
  ...
  pattern -> result
```

--------------------------------

### Migrating Integer Parsing from globals to integers (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

This snippet demonstrates replacing the `Global.readInt` function with `Data.Int.fromStringAs` from the `integers` package for parsing integers from strings with a specified radix.

```diff
- import Global (readInt)
+ import Data.Int (binary, fromStringAs)

  fromBinaryString :: String -> Maybe Int
- fromBinaryString = readInt 2
+ fromBinaryString = fromStringAs binary
```

--------------------------------

### Bundling PureScript output with esbuild (Bash)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Shows how to use esbuild to bundle the output JavaScript file (index.js) generated by the PureScript compiler, targeting browser or Node.js, with and without minification. Consult the esbuild documentation for advanced usage.

```bash
esbuild --bundle index.js --platform=browser --outfile="bundle.js" # bundle for the browser
esbuild --bundle index.js --platform=node --outfile="bundle.js" # bundle for node
esbuild --bundle index.js --platform=browser --minify --outfile="bundle.minified.js" # minified bundle for the browser
esbuild --bundle index.js --platform=node --minify --outfile="bundle.minified.js" # minified bundle for the node
```

--------------------------------

### Wrapping Fn2 Import with runFn2 (Explicit Args)

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Shows the recommended style for wrapping `Fn` imports, explicitly applying arguments to `runFn2`. This style allows the compiler to potentially inline the `runFn` call when fully saturated.

```purescript
joinPath :: FilePath -> FilePath -> FilePath
joinPath start end = runFn2 joinPathImpl start end
```

--------------------------------

### Defining a PureScript Module

Source: https://github.com/purescript/documentation/blob/master/language/Modules.md

Demonstrates the basic structure of a PureScript module using the `module` keyword and defining a simple function.

```purescript
module A where
  
id x = x
```

--------------------------------

### Binding Variables in PSCi

Source: https://github.com/purescript/documentation/blob/master/guides/PSCi.md

Demonstrates how to introduce and use variable bindings within the PSCi REPL.

```PureScript
> 3 + 4
7

> x = 4
> x + 9
13
```

--------------------------------

### Example PureScript Module Triggering Error

Source: https://github.com/purescript/documentation/blob/master/errors/TransitiveDctorExportError.md

A minimal example of a PureScript module structure that is intended to demonstrate or trigger the TransitiveDctorExportError.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Declaring FFI Passing PS Data Constructors as Args (Recommended)

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Declares a foreign import and wrapper for a function that accepts PureScript data constructors (`Just`, `Nothing`) as arguments from the PureScript side, allowing the JavaScript FFI to use them without direct calls to generated code.

```purescript
foreign import doSomethingImpl :: forall a. Fn4 (a -> Maybe a) (Maybe a) (a -> Boolean) a (Maybe a)

doSomething :: forall a. (a -> Boolean) -> a -> Maybe a
doSomething fn x = runFn4 doSomethingImpl Just Nothing fn x
```

--------------------------------

### Non-Exhaustive Guards Example in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Pattern-Matching.md

Provides an example of guards in PureScript that the compiler cannot determine are exhaustive, potentially leading to a `Partial` constraint.

```purescript
compare :: Int -> Int -> Ordering
compare x y
    | x > y  = GT
    | x == y = EQ
    | x < y  = LT
```

--------------------------------

### Bundled Output - Purescript v0.15 (ESM)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

This snippet shows an example of the bundled JavaScript output generated by Purescript v0.15 when using an external bundler. It demonstrates a cleaner, more readable structure utilizing ESM principles, defining and calling simple functions.

```JavaScript
(() => {
  // output/Effect.Console/foreign.js
  var log = function(s) {
    return function() {
      console.log(s);
    };
  };

  // output/Main/index.js
  var main = /* @__PURE__ */ function() {
    return log("\u{1F35D}");
  }();

  // <stdin>
  main();
})();
```

--------------------------------

### Example PureScript Module Showing Warning

Source: https://github.com/purescript/documentation/blob/master/errors/MissingKindDeclaration.md

This code snippet provides a minimal example of a PureScript module that is intended to trigger the `MissingKindDeclaration` warning.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of CannotFindDerivingType Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/CannotFindDerivingType.md

This snippet provides a minimal example demonstrating the context where the `CannotFindDerivingType` error might occur in a PureScript module.

```PureScript
module ShortFailingExample where

...
```

--------------------------------

### PureScript Function with Pattern Matching

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Illustrates defining a function using multiple clauses to handle different patterns, such as an empty list and any other list.

```purescript
isEmpty [] = true
isEmpty _ = false
```

--------------------------------

### Wrapping Fn2 Import with runFn2 (Point-Free)

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Defines a PureScript-friendly wrapper function `joinPath` that uses `runFn2` to execute the `Fn2` foreign import, converting the multi-argument JavaScript function into a curried PureScript function using point-free style.

```purescript
foreign import joinPathImpl :: Fn2 FilePath FilePath FilePath

joinPath :: FilePath -> FilePath -> FilePath
joinPath = runFn2 joinPathImpl
```

--------------------------------

### Example of UnusedTypeVar Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/UnusedTypeVar.md

This code snippet provides a minimal example module structure that is intended to demonstrate or trigger the UnusedTypeVar error in PureScript.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Explicit Polymorphic Kind Signature (PureScript)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

Shows how to provide an explicit polymorphic kind signature using `forall k. k -> Type` for a type like `Proxy` in PureScript 0.14 to avoid warnings and be explicit.

```PureScript
data Proxy :: forall k. k -> Type
data Proxy a = Proxy
```

--------------------------------

### Implementing FFI Function using Fn2 Type

Source: https://github.com/purescript/documentation/blob/master/guides/FFI-Tips.md

Shows the simplified JavaScript implementation when using `Fn` types, where the original multi-argument function can be directly exported or referenced.

```javascript
export { join as joinPathImpl } from 'path';
```

--------------------------------

### Creating a Function Infix Operator Section in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Demonstrates how to create a partial application (section) of a function that is being used in an infix position via backticks, using _ as a placeholder.

```PureScript
fooBy2 = (_ `foo` 2)
```

--------------------------------

### Example PureScript Module for ExtraneousClassMember Error

Source: https://github.com/purescript/documentation/blob/master/errors/ExtraneousClassMember.md

Provides a minimal PureScript module definition used as an example to illustrate the context where the ExtraneousClassMember error might occur.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Defining a PureScript Module Example

Source: https://github.com/purescript/documentation/blob/master/errors/DuplicateTypeArgument.md

An example of a PureScript module definition used to illustrate the `DuplicateTypeArgument` error. This snippet shows the basic structure of a module declaration.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Function Equivalent of Record Literal with Wildcards

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Provides the equivalent function definition for a record literal defined using wildcards, demonstrating how it becomes a function that constructs the record.

```purescript
\foo bar -> { foo: foo, bar: bar }
```

--------------------------------

### Example Module Definition - PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/CannotDeriveNewtypeForData.md

This snippet provides a minimal example of a PureScript module definition, likely used to demonstrate the context in which the 'CannotDeriveNewtypeForData' error might occur.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Example of MisleadingEmptyTypeImport Error (PureScript)

Source: https://github.com/purescript/documentation/blob/master/errors/MisleadingEmptyTypeImport.md

This snippet provides a minimal PureScript code example that might trigger the 'MisleadingEmptyTypeImport' error. It shows a basic module definition structure.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Automating CJS to ESM Conversion with Lebab Bash

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.15-Migration-Guide.md

Provides Bash commands to install the `lebab` tool globally using npm and then use it to automatically transform JavaScript files from CommonJS to ES modules in specified directories or using glob patterns.

```Bash
npm i -g lebab

# Replace all *.js files in the src directory by rewriting them from
# CommonJS modules to ES modules
lebab --replace src --transform commonjs
lebab --replace test --transform commonjs

# you can also provide glob patterns, if you would like
lebab --replace 'src/js/**/*.jsx' --transform commonjs
```

--------------------------------

### Creating Operator Sections (Partial Application) in PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Syntax.md

Explains how to partially apply a binary operator by using _ as a placeholder for one of the arguments, creating new functions like half and double.

```PureScript
half = (_ / 2)
double = (2 * _)
```

--------------------------------

### Example of ClassInstanceArityMismatch Error in PureScript

Source: https://github.com/purescript/documentation/blob/master/errors/ClassInstanceArityMismatch.md

This snippet provides a minimal example of a PureScript module that might trigger the ClassInstanceArityMismatch error. The '...' indicates where the problematic code would be located.

```purescript
module ShortFailingExample where

...
```

--------------------------------

### Defining and Initializing a Record - PureScript

Source: https://github.com/purescript/documentation/blob/master/language/Records.md

Demonstrates how to define a record type alias and create a record literal with specific fields and values.

```PureScript
author :: { name :: String, interests :: Array String }
author =
    { name: "Phil"
    , interests: ["Functional Programming", "JavaScript"]
    }
```

--------------------------------

### Defining Arbitrary Instance with NonEmptyArray using cons' (New)

Source: https://github.com/purescript/documentation/blob/master/migration-guides/0.14-Migration-Guide.md

This snippet demonstrates the updated method for defining an `Arbitrary` instance using `Test.QuickCheck.Gen.elements` with the new `NonEmptyArray` type, constructed using `Data.Array.NonEmpty.cons'`. This approach minimizes changes from the old code.

```Purescript
import Data.Array.NonEmpty (cons')

instance arbitraryOrdering :: Arbitrary Ordering where
  arbitrary = elements $ cons' LT [ EQ, GT ]
```