domenkozar

    • Could not deduce (ToJSON a0)
      from the context: ToJSON a
        bound by the type of the constructor ‘Remove’:
                   forall a. ToJSON a => Operation
        at src/MixPanel/Types/EngageData.hs:20:5-35
      The type variable ‘a0’ is ambiguous
    • In the ambiguity check for ‘Remove’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      In the definition of data constructor ‘Remove’
      In the data type declaration for ‘Operation’

domenkozar

with import <nixpkgs> {};


stdenv.mkDerivation {
  name = "foo";
  src = builtins.path {
    name = "foo";
    path = ./.;
  };
  buildPhase = ":";

domenkozar

/nix/store/83lrbvbmxrgv7iz49mgd42yvhi473xp6-glibc-2.27
/nix/store/8zkg9ac4s4alzyf4a8kfrig1j73z66dw-bash-4.4-p23
/nix/store/h1g0xkx70kj4znj6i8x607qgzcg28pjk-ghc-8.4.3-doc
/nix/store/cakidv5508i1j3qhv473hi935lqj2m7d-split-0.2.3.3-doc
/nix/store/zikcg4s36w5k6fvlba2h4p4riw1qc7fp-gcc-7.3.0-lib
/nix/store/hhzvw77vrmn5f506kfyb1yh1sdinkbwf-gmp-6.1.2
/nix/store/q8rg4mca5zqv98arpxd7164pqa72hf1n-ncurses-6.1
/nix/store/yyv98fx38riz5q2sfhfsqbn6c9byri9y-zlib-1.2.11
/nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30
/nix/store/d6cnw2lkarcx6h7jacla9pb8bfygax4j-expand-response-params

domenkozar

/nix/store/83lrbvbmxrgv7iz49mgd42yvhi473xp6-glibc-2.27
/nix/store/i7ywfpigfgsw9fpwkd57sgajz6gacnj7-xz-5.2.4
/nix/store/zjcd71j9cgr040rxbnc7f6kdx38bh2i5-xz-5.2.4-bin
/nix/store/12y8lyrwiaxmhpz6vmdb1rdb3s509q1m-xz-5.2.4-dev
/nix/store/zikcg4s36w5k6fvlba2h4p4riw1qc7fp-gcc-7.3.0-lib
/nix/store/hhzvw77vrmn5f506kfyb1yh1sdinkbwf-gmp-6.1.2
/nix/store/yyv98fx38riz5q2sfhfsqbn6c9byri9y-zlib-1.2.11
/nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30
/nix/store/8zkg9ac4s4alzyf4a8kfrig1j73z66dw-bash-4.4-p23
/nix/store/d6cnw2lkarcx6h7jacla9pb8bfygax4j-expand-response-params

domenkozar

{ config, lib, pkgs, ...}:

with lib;

let
  cfg = config.services.batteryNotifier;
in {
  options = {
    services.batteryNotifier = {
      enable = mkOption {

domenkozar

/build/servant-swagger-1.1.5/src/Servant/Swagger.hs:158: failure in expression `hspec $ validateEveryToJSON (Proxy :: Proxy UserAPI)'
expected:       
          [User]
          User    
          UserId
                                 
          Finished in ... seconds
          3 examples, 0 failures
 but got:                  
          [User]

domenkozar

{-# LANGUAGE RecordWildCards #-}

data Foo = Foo
  { a :: Bool
  } 

run :: Foo -> Bool
run Foo{..}
  | a = a
  | not a = not a

domenkozar

#!/usr/bin/env nix-shell
#!nix-shell -i runhaskell -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [servant-server servant-generic servant-auth-server lens resource-pool sqlite-simple string-conv interpolatedstring-perl6 ])"
#!nix-shell -I /home/ielectric/dev


{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE LambdaCase #-}

domenkozar

servant-sub-client.hs:63:22: error:
    • Couldn't match type ‘(HomeC :<|> HomePostC)
                           :<|> (BetC :<|> Bet2C)’
                     with ‘ClientM Text’
      Expected type: HomeC
        Actual type: (HomeC :<|> HomePostC) :<|> (BetC :<|> Bet2C)
    • In the first argument of ‘runClientM’, namely ‘(bC 3 :: HomeC)’
      In a stmt of a 'do' block: res <- runClientM (bC 3 :: HomeC) env
      In the expression:
        do manager <- newManager defaultManagerSettings

domenkozar

#!/usr/bin/env nix-shell
#!nix-shell -i runghc -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [servant-generic  servant-client])"
#!nix-shell -I nixpkgs=http://nixos.org/channels/nixpkgs-unstable/nixexprs.tar.xz

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PartialTypeSignatures #-}