profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/locallycompact/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Daniel Firth locallycompact https://homotopic.tech Most of my development takes place on my self-hosted gitlab. https://homotopic.tech https://gitlab.homotopic.tech

commercialhaskell/rio 721

A standard library for Haskell

locallycompact/aeson-better-errors 0

Better errors when decoding JSON values

locallycompact/brick 0

A declarative terminal UI programming library written in Haskell

locallycompact/bustle 0

Someone's favourite D-Bus profiler (mirror)

locallycompact/co-log 0

📓 Flexible and configurable modern #Haskell logging framework

locallycompact/co-log-polysemy-formatting 0

A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.

locallycompact/composite 0

Integrations with Vinyl/Frames records.

locallycompact/corrode 0

C to Rust translator

issue openedbitwig/dawproject

Export dawproject is a noop (NixOS)

Hi, I have the menu item enabled using the config option, but exporting to dawproject just returns with no feedback or file produced, and no feedback to the spawning terminal. Behaviour is the same using the nix installed version and using the flatpak version.

created time in 2 days

fork locallycompact/pandoc-book-template

A simple Pandoc template to build documents and ebooks.

fork in 8 days

issue commentdhall-lang/dhall-lang

Dependent decoupling args attempt.

Yeah I did have that originally. I was trying to push the envelope with the DTs a bit. No worries. This is more reasonable in any case.

locallycompact

comment created time in 16 days

issue closeddhall-lang/dhall-lang

Dependent decoupling args attempt.

Is something like this possible?

let StackCommand = < New | Build >

let stack-new-args = { name : Text, template : Text, resolver : Text }

let stack-build-args = { blahblah : Text }

let stack-new-args-formatter = \(x : stack-new-args) -> "${x.name} ${x.template} --resolver ${x.resolver}"

let stack-build-args-formatter = \(x : stack-build-args) -> ""

let stack-args : forall (x : StackCommand) -> Type = \(x : StackCommand) -> merge {
             New = stack-new-args
          , Build = stack-build-args
            } x

let stack-args-formatter = \(x : StackCommand) -> \(y : stack-args x) -> merge
   { New  = stack-new-args-formatter y, Build = stack-build-args-formatter y } x

This results in:

Error: Wrong type of function argument

- { … : … } (a record type)
+ merge … …

29│                                                 stack-build-args-formatter y

but is there a way through this?

closed time in 16 days

locallycompact

issue openeddhall-lang/dhall-lang

Dependent decoupling args attempt.

Is something like this possible?

let StackCommand = < New | Build >

let stack-new-args = { name : Text, template : Text, resolver : Text }

let stack-build-args = { }

let stack-new-args-formatter = \(x : stack-new-args) -> "${x.name} ${x.template} --resolver ${x.resolver}"

let stack-build-args-formatter = \(x : stack-build-args) -> ""

let stack-args : forall (x : StackCommand) -> Type = \(x : StackCommand) -> merge {
             New = stack-new-args
          , Build = stack-build-args
            } x

let stack-args-formatter = \(x : StackCommand) -> \(y : stack-args x) -> merge
   { New  = stack-new-args-formatter y, Build = stack-build-args-formatter y } x

This results in:

Error: Wrong type of function argument

- { … : … } (a record type)
+ merge … …

29│                                                 stack-build-args-formatter y

but is there a way through this?

created time in 16 days

issue openedneovimhaskell/nvim-hs

Exception not caught: broken cached binary path file

Also getting this when I open vim

Error detected while processing function nvimhs#start[2]..<SNR>11_readCachedBinPaths:
line    9:
E605: Exception not caught: broken cached binary path file
Error detected while processing function nvimhs#start:
line    2:
E171: Missing :endif

created time in 19 days

issue openedneovimhaskell/nvim-hs

Not in scope: type constructor or class 'LuaRef'

Hi, I'm getting the following error trying to build the example.

nvim-hs                          >
nvim-hs                          > /run/user/1000/stack-a8df55139a77fd11/nvim-hs-2.1.0.5/library/Neovim/API/Text.hs:22:2: error:
nvim-hs                          >     Not in scope: type constructor or class ‘LuaRef’
nvim-hs                          >    |
nvim-hs                          > 22 | $(generateAPI textVectorTypeMap)
nvim-hs                          >    |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
nvim-hs                          >
nvim-hs                          > /run/user/1000/stack-a8df55139a77fd11/nvim-hs-2.1.0.5/library/Neovim/API/Text.hs:22:2: error:
nvim-hs                          >     Not in scope: type constructor or class ‘LuaRef’
nvim-hs                          >    |
nvim-hs                          > 22 | $(generateAPI textVectorTypeMap)
nvim-hs                          >    |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

created time in 19 days

PR opened ConferOpenSource/composite

Add link to fcf-composite

I've uploaded this: https://hackage.haskell.org/package/fcf-composite

Check out the tests for more examples:

https://gitlab.homotopic.tech/haskell/fcf-composite/-/blob/master/test/Spec.hs

+1 -0

0 comment

1 changed file

pr created time in 23 days

push eventlocallycompact/composite

Daniel Firth

commit sha 761826f60ddc176e305767879e88835ab632f9d0

Add link to fcf-composite

view details

push time in 23 days

create barnchlocallycompact/composite

branch : lc/readme

created branch time in 23 days

create barnchlocallycompact/composite

branch : lc/op

created branch time in 23 days

fork locallycompact/sdl2-gfx

Haskell bindings to SDL2_gfx.

fork in a month

issue commentcabalism/hpack-dhall

Add a prelude

I have no super strong opinions at the minute, perhaps it may make sense to pull in types from dhall-to-cabal via the hashes, and // together with anything we can do better with hpack, I'm interested to see how they're making use of version range operations to accomplish something useful. I don't really know what the rest of the prelude is about though.

I still quite like the union approach to list elements so that they are all checked for misspellings, but I think we can lose some of the boilerplate.

What do you think?

philderbeast

comment created time in a month

issue openedinput-output-hk/haskell.nix

Can't build cuda bindings

Hi I'm trying to build the haskell cuda bindings. I have

extra-libraries:
- cudatoolkit

set in package.yaml, but I guess nix further requires path settings that I'm not sure how to supply.

Failed to build cuda-0.11.0.0. The failure occurred during the configure step.
Build log (
/home/lc/.cabal/logs/ghc-8.10.4/cuda-0.11.0.0-fe750c0999ab5529c0a329e00c3e7e9a5ba9a4d3db39ed133f45de99f0d7a4a4.log
):
[1 of 1] Compiling Main             ( /home/lc/Source/gitlab.homotopic.tech/accelerate/dist-newstyle/tmp/src-1225692/cuda-0.11.0.0/dist/setup/setup.hs, /home/lc/Source/gitlab.homotopic.tech/accelerate/dist-newstyle/tmp/src-1225692/cuda-0.11.0.0/dist/setup/Main.o, /home/lc/Source/gitlab.homotopic.tech/accelerate/dist-newstyle/tmp/src-1225692/cuda-0.11.0.0/dist/setup/Main.dyn_o )
Linking /home/lc/Source/gitlab.homotopic.tech/accelerate/dist-newstyle/tmp/src-1225692/cuda-0.11.0.0/dist/setup/setup ...
Configuring cuda-0.11.0.0...
setup:
********************************************************************************

The configuration process failed to locate your CUDA installation. Ensure that
you have installed both the developer driver and toolkit, available from:

> http://developer.nvidia.com/cuda-downloads

and make sure that `nvcc` is available in your PATH, or set the CUDA_PATH
environment variable appropriately. Check the above output log and run the
command directly to ensure it can be located.

If you have a non-standard installation, you can add additional search paths
using --extra-include-dirs and --extra-lib-dirs. Note that 64-bit Linux
flavours often require both `lib64` and `lib` library paths, in that order.

********************************************************************************

created time in a month

push eventlocallycompact/haskell.nix

Daniel Firth

commit sha ca0bc2d8e95e4b83952c0a6460b80ce939dfc984

Add llvm-config to system-nixpkgs-map

view details

push time in a month

push eventlocallycompact/haskell.nix

Daniel Firth

commit sha 4046dcf82f92d73115d7742488e5b979fdb7d542

Add llvm-config to system-nixpkgs-map

view details

push time in a month

create barnchlocallycompact/haskell.nix

branch : lc/llvm

created branch time in a month

pull request commentNixOS/nixpkgs

haskellPackages: update stackage and hackage

Thanks, this is corrected with extra-source-files right? If so the new revision of 0.0.4.1 should work.

maralorn

comment created time in a month

push eventlocallycompact/dhall-haskell

Daniel Firth

commit sha f9c6c105a2d1f0c967f4acf7227f90338da97732

Add FromDhall instance for Contravariant functors: Predicate, Equivalence, Op

view details

push time in a month

push eventlocallycompact/dhall-haskell

Daniel Firth

commit sha b808829cd7f27d81803d9e24fab5d5736a070702

Add FromDhall instance for Contravariant functors: Predicate, Equivalence, Op

view details

push time in a month

create barnchlocallycompact/dhall-haskell

branch : lc/contravariant

created branch time in a month

pull request commentConferOpenSource/composite

WIP: Update to stack nightly-2021-07-14

I think this could be released, I was waiting on these two:

https://github.com/nikita-volkov/refined/issues/75 https://github.com/GetShopTV/swagger2/pull/225/commits

But we could release and revise these version bounds later.

locallycompact

comment created time in a month

push eventlocallycompact/composite

Daniel Firth

commit sha e6afc047196110205fb7fb03f76a37163cf2ddbd

Update to stack nightly-2021-08-08

view details

push time in a month

push eventlocallycompact/composite

Daniel Firth

commit sha 4e387096ac94ea203cfddac254f1fea8086270ef

Add (:!:) pattern for contravariant functors and contravariant lens

view details

Daniel Firth

commit sha ea3719f089bffc0cb95ca9f6203a340beab0b5b9

Bump base to 4.12 and regenerate hpack

view details

Ross MacLeod

commit sha 8e0394eb76adebb3d150ce58ac37701c7b7b7f95

Merge pull request #52 from locallycompact/lc/contravariant-pattern Add (:!:) pattern for contravariant functors and contravariant lens

view details

Ross MacLeod

commit sha bb538f0309cda4c1f0ea1a379a3fa088853a5518

update list of libraries, add external ones too

view details

Daniel Firth

commit sha 02e2a4e4c6d926f8a8107aa8a7ecf2a877a83f0e

Update to stack nightly-2021-08-08

view details

push time in a month

PR closed cabalism/hpack-dhall

Add dhall Prelude

Hey, I like this idea and thought it could benefit from a prelude to get some semantics on some of the list elements.

I'm using it like

-- ghc-options.dhall
let Prelude = ./Prelude.dhall

let W = Prelude.GhcWarning.Type

let Yes = Prelude.GhcWarningFlag.Type.Yes

let No = Prelude.GhcWarningFlag.Type.No

in  [ Yes W.Everything
    , No W.AllMissedSpecialisations
    , No W.ImplicitPrelude
    , No W.MissingSafeHaskellMode
    , No W.PrepositiveQualifiedModule
    , No W.Safe
    , No W.Unsafe
    ]
-- package.dhall
...
    , dependencies = Prelude.Prelude.List.map Prelude.Dependency.Type Text Prelude.Dependency.toText ./dependencies.dhall
    , ghc-options = Prelude.Prelude.List.map Prelude.GhcWarningFlag.Type Text Prelude.GhcWarningFlag.toText ./ghc-options.dhall

I used this project as a reference to write the prelude https://github.com/bgamari/dhall-gitlab-ci

+450 -0

1 comment

19 changed files

locallycompact

pr closed time in a month

pull request commentcabalism/hpack-dhall

Add dhall Prelude

Ok I didn't realise you could treat adts constructors lowercase and write them out. This changes things.

locallycompact

comment created time in a month

pull request commentConferOpenSource/composite

Add (:!:) pattern for contravariant functors and contravariant lens

Is a bump to base is probably safer than preprocessing, how about this?

locallycompact

comment created time in a month

push eventlocallycompact/composite

Daniel Firth

commit sha ea3719f089bffc0cb95ca9f6203a340beab0b5b9

Bump base to 4.12 and regenerate hpack

view details

push time in a month