### Start GHCI REPL for Development (Stack) Source: https://github.com/purescript/pursuit/blob/master/README.md Launches the GHCi interactive environment (REPL) for the Pursuit project using Stack. This allows for quick iteration and testing of code during development. ```Shell stack ghci ``` -------------------------------- ### Run Pursuit Web Server Locally (Stack) Source: https://github.com/purescript/pursuit/blob/master/README.md Executes the Pursuit web server application using Stack. This command starts the server, typically making it available on a local port like 3000. ```Shell stack exec pursuit ``` -------------------------------- ### Examples of Uninteresting Kind Signatures - PureScript Source: https://github.com/purescript/pursuit/blob/master/static/help-docs/users.md Provides examples of PureScript declarations whose kind signatures are considered 'uninteresting' because they follow simple forms involving only 'Type' and 'Constraint', and thus are not displayed by default in the documentation. ```purescript data TypeOnly :: Type data TypeOnly class IntentionallyEmpty :: Constraint class IntentionallyEmpty class Bar :: Type -> Type -> Constraint class Bar a b where convert :: a -> b ``` -------------------------------- ### Examples of Interesting Kind Signatures - PureScript Source: https://github.com/purescript/pursuit/blob/master/static/help-docs/users.md Shows PureScript declarations with kind signatures considered 'interesting' because they involve type parameters with kinds other than 'Type', indicating more advanced type-level features, and are therefore displayed in the documentation. ```purescript -- the "k" part makes this kind signature "interesting" data PolyProxy :: forall k. k -> Type data PolyProxy a = PolyProxy -- the `(Type -> Type)` part makes this kind signature "interesting" data FunctorLike :: (Type -> Type) -> Type -> Type data FunctorLike f a = FunctorLike (f Int) a -- every type parameter makes this kind signature "interesting" class TypeLevelProgrammingFunction :: Symbol -> Row Type -> Row Type -> Constraint class TypeLevelProgrammingFunction sym row1 row2 | sym row1 -> row2 ``` -------------------------------- ### Build Pursuit in Development Mode (Stack) Source: https://github.com/purescript/pursuit/blob/master/README.md Builds the Pursuit project using Stack in the default development mode. This is typically used for local development and testing. ```Shell stack build ``` -------------------------------- ### Run Deployment Script Source: https://github.com/purescript/pursuit/blob/master/RELEASE.md Executes the main deployment script for Pursuit, passing the new version tag as an argument. This script handles the actual deployment process. ```Shell ./deploy/run.sh vX.X.X ``` -------------------------------- ### Build Pursuit in Production Mode (Stack) Source: https://github.com/purescript/pursuit/blob/master/README.md Builds the Pursuit project using Stack with the `-dev` flag disabled, which is used for production builds. This might enable optimizations or disable development features. ```Shell stack build --flag pursuit:-dev ``` -------------------------------- ### Reload Code and Update Web Server in GHCI Source: https://github.com/purescript/pursuit/blob/master/README.md Inside the GHCi REPL, this command sequence reloads the `DevelMain` module and then calls the `update` function, typically used to recompile code and restart or update the running web server instance without exiting the REPL. ```GHCI :l DevelMain\nupdate ``` -------------------------------- ### Generate PureScript Pursuit Package Badge HTML Source: https://github.com/purescript/pursuit/blob/master/static/help-docs/authors.md Provides the suggested HTML markup to embed a PureScript Pursuit package badge on a website or README. Replace '$PACKAGE_NAME' with the actual name of the PureScript package. ```HTML $PACKAGE_NAME on Pursuit ``` -------------------------------- ### PureScript Explicit and Inferred Kind Signatures Source: https://github.com/purescript/pursuit/blob/master/static/help-docs/users.md This snippet demonstrates the difference between explicit kind signatures, where the developer specifies the kind, and inferred kind signatures, which are determined by the PureScript compiler. ```purescript -- Explicit kind signature data ExplicitFoo :: forall k. k -> Type data ExplicitFoo a = ExplicitFoo {- Kind signature inferred by the compiler for the below type: data ImplicitFoo :: forall k. k -> (Type -> Type) -> Type -} data ImplicitFoo a f = ImplicitFoo (f Int) ``` -------------------------------- ### Generate Updated LICENSE File Source: https://github.com/purescript/pursuit/blob/master/RELEASE.md Executes a script to regenerate the LICENSE file, likely incorporating updated dependency information using cabal-plan. ```Shell ./license-generator/generate ``` -------------------------------- ### Merging Kind and Data Declaration Comments - PureScript Source: https://github.com/purescript/pursuit/blob/master/static/help-docs/users.md Demonstrates how documentation comments attached to both the kind signature declaration and the data declaration are combined into a single comment block in the generated documentation, separated by a newline. ```purescript -- | Kind signature declaration documentation comment data ExplicitFoo :: forall k. k -> Type -- | Data declaration documentation comment data ExplicitFoo a = ExplicitFoo ``` -------------------------------- ### Update PureScript Dependency Version in Cabal Source: https://github.com/purescript/pursuit/blob/master/RELEASE.md Specifies the exact version constraint for the purescript dependency in the pursuit.cabal file. This ensures compatibility with the new compiler release. ```Haskell == 0.15.0 ``` === COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.