paulp

#!/usr/bin/env bash
#
# scala runner which can handle lots of variation automatically
# Paul Phillips <psp@brb.fyi>

set -euo pipefail

declare SCALA2_VERSION="2.13.10"
declare SCALA3_VERSION="3.2.0"
declare AMM_VERSION="2.5.5"

paulp

(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)

;; (assert (= a (div -7 -3)))
;; (assert (= b (div  7 -3)))
;; (assert (= c (div -7  3)))
;; (assert (= a (mod -7 -3)))
;; (assert (= b (mod  7 -3)))
;; (assert (= c (mod -7  3)))

paulp

                             a levels
                             advice
                             advice uk
                                                          africa
airborne
alabama
alaska
america
and asthma
and children

paulp

instance Monad f => Applicative (OptionalT f) where
  pure      = OptionalT . pure . Full
  mf <*> ma = OptionalT $ do
    optf <- runOptionalT mf
    case optf of
        Empty  -> return Empty
        Full f -> do
            opta <- runOptionalT ma
            return $ f <$> opta

paulp

instance Monad f => Monad (OptionalT f) where
  f =<< x = OptionalT $ runOptionalT x >>= \case
    Empty  -> return Empty
    Full a -> runOptionalT $ f a

paulp

instance Monad f => Monad (OptionalT f) where
  f =<< x = OptionalT $ runOptionalT x >>= \case
    Empty  -> return Empty
    Full a -> runOptionalT $ f a

paulp

#!/usr/bin/env bash
#

output () {
    pup 'tbody[id="dns-view-cache-tbody"] tr json{}' \
  | jq -r '.[].children[] | select(.tag == "td").text' \
  | ag --nocolor --literal .
}

paulp

% mscala -v 2.13.0-M4
Welcome to Scala 2.13.0-M4 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_181).
Type in expressions for evaluation. Or try :help.

scala> val counter = {
     |   var count = 0
     |   () => {
     |     val res = try "x" + count finally count = count + 1
     |     try res finally println(res)
     |   }

paulp

object ttypes {
  type ->[+A, +B] = (A, B)
  type PairOf[+A] = A -> A
  type SumOf[+A]  = A \/ A

  trait Interpret[T[_[_]]] {
    type ^[Outer[_], Inner[_]] = Outer[T[Inner]]

    trait Transform[F[_], G[_]] {
      type FTF = F[T[F]]

paulp

/*
 * Copyright 2014–2016 SlamData Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software