etorreborre

```
git log -1 --pretty=full | head -1 | awk '{ print $2 }' | pbcopy
```

etorreborre

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

etorreborre

{-
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

etorreborre

{-

See https://www.reddit.com/r/haskell/comments/q1oyws/dependency_injection_using_a_recordoffunctions
for full context

-}


{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE DeriveGeneric #-}

etorreborre

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
  """

etorreborre

Prescriptive Structural Syntax

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 :-)).

Enforced Matcher Uniformity

I hear you and I indeed simplified all must expressions to be a must b, and then a must not(b).

etorreborre

{-# 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)

etorreborre

module ConcurrentMap where

import Control.Concurrent.STM.TVar (TVar)
import Control.Concurrent.STM (STM)
import Data.Hashable (Hashable)
import Data.HashMap.Strict (HashMap)
import Data.Vector (Vector)

import qualified Control.Concurrent.STM.TVar as TVar
import qualified Data.Hashable               as Hashable

etorreborre

import org.specs2.specification.create._
import org.specs2.control.producer.Producer._

/** How to add an async action after each example */
trait AfterEachAsync extends org.specs2.mutable.Specification:
  override def map(fs: =>Fragments): Fragments =
    super.map(fs.flatMap { f =>
      if Fragment.isExample(f) then
        emitAsync(List(f, step(afterAsync)))
      else

etorreborre

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE PostfixOperators #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TypeApplications #-}