| { | |
| "lockfile-version": 1, | |
| "manifest": { | |
| "version": 1, | |
| "install": { | |
| "cabal-install": { | |
| "pkg-path": "cabal-install" | |
| }, | |
| "ghc": { | |
| "pkg-path": "ghc" |
| 2024-12-28T15:58:44.713835Z DEBUG flox: set _FLOX_PKGDB_VERBOSITY=3 | |
| 2024-12-28T15:58:44.715656Z DEBUG flox::config: reading raw config (initialized: true, reload: false) | |
| 2024-12-28T15:58:44.718015Z DEBUG flox::commands: Skipping update check in development mode | |
| 2024-12-28T15:58:44.718371Z DEBUG flox::commands: Metrics collection disabled | |
| 2024-12-28T15:58:44.719836Z DEBUG flox::utils::init::catalog_client: using catalog client with url: https://api.flox.dev | |
| 2024-12-28T15:58:44.725297Z DEBUG flox::utils::init::metrics: Attempting to read own UUID from file | |
| 2024-12-28T15:58:44.725645Z TRACE flox_command: subcommand="activate" | |
| 2024-12-28T15:58:44.725655Z DEBUG flox::utils::metrics: No metrics client setup, skipping record | |
| 2024-12-28T15:58:44.726884Z DEBUG flox::commands: detected concrete environment type: managed | |
| 2024-12-28T15:58:44.727338Z DEBUG flox_rust_sdk::models::floxmeta: no FloxHub token configured |
| 2024-12-28T15:59:18.437238Z DEBUG flox: set _FLOX_PKGDB_VERBOSITY=3 | |
| 2024-12-28T15:59:18.438991Z DEBUG flox::config: reading raw config (initialized: true, reload: false) | |
| 2024-12-28T15:59:18.440693Z DEBUG flox::commands: Metrics collection disabled | |
| 2024-12-28T15:59:18.440741Z DEBUG flox::commands: Skipping update check because we can't prompt the user | |
| 2024-12-28T15:59:18.441874Z DEBUG flox::utils::init::catalog_client: using catalog client with url: https://api.flox.dev | |
| 2024-12-28T15:59:18.446854Z DEBUG flox::utils::init::metrics: Attempting to read own UUID from file | |
| 2024-12-28T15:59:18.447053Z TRACE flox_command: subcommand="activate" | |
| 2024-12-28T15:59:18.447063Z DEBUG flox::utils::metrics: No metrics client setup, skipping record | |
| 2024-12-28T15:59:18.447909Z DEBUG flox::commands: detected concrete environment type: managed | |
| 2024-12-28T15:59:18.448152Z DEBUG flox_rust_sdk::models::floxmeta: no FloxHub token configured |
| ``` | |
| git log -1 --pretty=full | head -1 | awk '{ print $2 }' | pbcopy | |
| ``` |
| ssh-keygen -t rsa -b 4096 -N '' -C "[email protected]" -f ~/.ssh/id_rsa | |
| ssh-keygen -t rsa -b 4096 -N '' -C "[email protected]" -f ~/.ssh/github_rsa | |
| ssh-keygen -t rsa -b 4096 -N '' -C "[email protected]" -f ~/.ssh/mozilla_rsa |
| {- | |
| It would be nice to be able to derive a `FFunctor` instance for some data types as | |
| shown below | |
| -} | |
| class FFunctor f where | |
| ffmap :: (forall a. m a -> n a) -> f m -> f n | |
| -- can we define a default ffmap which would work when m :: Type -> Type? | |
| -- default ffmap |
| {- | |
| See https://www.reddit.com/r/haskell/comments/q1oyws/dependency_injection_using_a_recordoffunctions | |
| for full context | |
| -} | |
| {-# LANGUAGE RecordWildCards #-} | |
| {-# LANGUAGE DeriveGeneric #-} |
| package examples | |
| import org.specs2.* | |
| class AssertionSpec extends Specification: | |
| def is = s2""" | |
| authors must be correct $book1 | |
| authors must be correct $book2 | |
| book must be correct $book3 | |
| """ |
I am sorry but I actually prefer the other style of specification! The main reason is that I think that encourages me to think about writing some text about what I am testing, and why I am testing it this way (that doesn't mean that I necessarily do it :-)).
I hear you and I indeed simplified all must expressions to be a must b, and then a must not(b).
| {-# LANGUAGE TemplateHaskell #-} | |
| import qualified Data.Text as T | |
| import Optics as O | |
| import Protolude hiding ((%), from) | |
| import Witch | |
| import Data.Coerce | |
| -- 2 different temperature types | |
| newtype Kelvin = Kelvin Double deriving (Eq, Show, Num) |