kindaro

haskell-language-server version: 1.6.1.0 (GHC: 9.2.1) (PATH: /srv/src/haskell-language-server/dist-newstyle/build/x86_64-linux/ghc-9.2.1/haskell-language-server-1.6.1.0/x/haskell-language-server/build/haskell-language-server/haskell-language-server) (GIT hash: f4022c5bb8530cd306c53b941878244bf27a5d41)
Starting (haskell-language-server)LSP server...
  with arguments: GhcideArguments {argsCommand = LSP, argsCwd = Nothing, argsShakeProfiling = Nothing, argsTesting = False, argsExamplePlugin = False, argsDebugOn = True, argsLogFile = Just "/tmp/hls.log", argsThreads = 0, argsProjectGhcVersion = False}
  with plugins: [PluginId "pragmas",PluginId "floskell",PluginId "fourmolu",PluginId "ormolu",PluginId "callHierarchy",PluginId "importLens",PluginId "qualifyImportedNames",PluginId "refineImports",PluginId "moduleName",PluginId "selectionRange",PluginId "ghcide-hover-and-symbols",PluginId "ghcide-code-actions-imports-exports",PluginId "ghcide-code-actions-type-signatures",PluginId "ghcide-code-actions-bindings",Plu

kindaro

Found "/home/kindaro/code/haskell/pixels/hie.yaml" for "/home/kindaro/code/haskell/pixels/a"
Run entered for haskell-language-server-wrapper(haskell-language-server-wrapper) Version 1.6.1.0, Git revision f4022c5bb8530cd306c53b941878244bf27a5d41 (dirty) x86_64 ghc-8.10.7
Current directory: /home/kindaro/code/haskell/pixels
Operating system: linux
Arguments: ["--lsp","-d","-l","/tmp/hls.log"]
Cradle directory: /home/kindaro/code/haskell/pixels
Cradle type: Cabal

Tool versions found on the $PATH
cabal:		3.6.2.0

kindaro

002c:fixme:winediag:LdrInitializeThunk wine-staging 7.2 is a testing version containing experimental patches.
002c:fixme:winediag:LdrInitializeThunk Please mention your exact version when filing bug reports on winehq.org.
0080:trace:x11drv:init_pixmap_formats depth 1, bpp 1, pad 32
0080:trace:x11drv:init_pixmap_formats depth 4, bpp 8, pad 32
0080:trace:x11drv:init_pixmap_formats depth 8, bpp 8, pad 32
0080:trace:x11drv:init_pixmap_formats depth 15, bpp 16, pad 32
0080:trace:x11drv:init_pixmap_formats depth 16, bpp 16, pad 32
0080:trace:x11drv:init_pixmap_formats depth 24, bpp 32, pad 32
0080:trace:x11drv:init_pixmap_formats depth 32, bpp 32, pad 32
0080:trace:x11drv:init_visuals default visual 21 class 4 argb b5

kindaro

From Coq Require Import Unicode.Utf8.
From Coq Require Import Logic.Decidable.
From Coq Require Import QArith.
From Coq Require Import Vectors.Vector.

Notation ℕ := nat.
Notation ℙ := Prop.
Notation 𝔹 := bool.
Notation ℤ := Z.
Notation ℚ := Q.

kindaro

{- cabal:
default-language: Haskell2010
default-extensions:
    UnicodeSyntax BlockArguments TupleSections TypeApplications
    PartialTypeSignatures PatternSynonyms LiberalTypeSynonyms
    StandaloneDeriving DeriveFunctor DeriveFoldable DeriveTraversable
    DeriveGeneric FlexibleInstances FlexibleContexts
    MultiParamTypeClasses FunctionalDependencies RankNTypes DataKinds
    PolyKinds GADTs ConstraintKinds PolyKinds KindSignatures
    TypeOperators TypeFamilies TypeFamilyDependencies

kindaro

% cabal run bytestring-bench -- --pattern "/foldl'/"
Up to date
Sanity checks:
 lengths of input data: [10000,10000,10000,10000,10000,10000,10000]
All
  folds
    strict
      foldl'
        1:     OK (0.22s)
           10 ns ± 772 ps

kindaro

{- cabal:
build-depends: base, base-unicode-symbols
  , containers, containers-unicode-symbols
  , pretty-show
  , tasty, tasty-quickcheck, quickcheck-instances, tasty-smallcheck, smallcheck-series, tasty-hunit
  , aeson
default-extensions: UnicodeSyntax, BlockArguments, TupleSections, TypeApplications, PartialTypeSignatures, PatternSynonyms
  , LiberalTypeSynonyms, StandaloneDeriving
  , DeriveFunctor, DeriveFoldable, DeriveTraversable, DeriveGeneric
  , FlexibleInstances, FlexibleContexts, MultiParamTypeClasses, FunctionalDependencies

kindaro

module Main where

import Data.Foldable
import Database.PostgreSQL.Simple
import Database.PostgreSQL.Simple.FromField
import qualified Opaleye
import Templates

makeOpaleyeInterface
  TableIdentifier {maybeNameOfSchema = Just "information_schema", nameOfTable = "columns"}

kindaro

{-# language TemplateHaskell, BlockArguments, RecordWildCards, OverloadedStrings #-}

module Templates where

import Language.Haskell.TH
import Data.Profunctor.Product.TH
import Opaleye
import Opaleye.Table
import Data.Maybe (fromMaybe)
import LocalQ

kindaro

-- See <https://gelisam.blogspot.com/2017/10/composing-declarations-in-template.html>.

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

module LocalQ where

-- import Language.Haskell.TH.Syntax
import Control.Monad.Trans.State.Strict
import Control.Monad.Trans
import Language.Haskell.TH.Syntax hiding (lift)