NorfairKing

-- V a b == a ± b
--
-- For example:
-- V 100 2 = 100 mm ± 2mm
data V = V
  { -- Middle value
    value :: Double,
    -- Must be positive
    tollerance :: Double
  }

NorfairKing

import Control.Monad
import Data.List
import Data.Ord
import Text.Printf

men =
  [ (3, 3),
    (1, 3),
    (3, 3),
    (3, 3),

NorfairKing

import Control.Monad                                                                                                                                                                                                                                  
import Data.List                                                                                                                                                                                                                                      
import Data.Ord                                                                                                                                                                                                                                       
import Text.Printf                                                                                                                                                                                                                                    
                                    

NorfairKing

-# LANGUAGE LambdaCase #-}

module Main where

import Data.List
import System.Environment (getArgs, getProgName)
import System.Exit (exitFailure)
import Prelude

main :: IO ()

NorfairKing

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Test.Syd.Scratchpad where

import Control.Concurrent.STM
import Control.Exception

NorfairKing

{ fetchFromGitHub
, python
, maturin
, arrow
, dataclasses
, numpy
, pendulum
, psutil
, pytest
, pytz

NorfairKing

  ( someFunc,
  )
where

import qualified Data.Aeson as JSON
import qualified Data.Yaml as Yaml
import qualified Env
import Options.Applicative
import Text.Read
import qualified YamlParse.Applicative as YamlParse

NorfairKing

## Preliminary data:

Upgrades to validity: be40c0a0b0bf6a1d58f4a6a5c6770c4a544c4450

- better generators for
  - Int, Int8, Int16, Int32, Int64
  - Word, Word8, Word16, Word32, Word64
  - Float, Double
  - Integer, Natural

NorfairKing

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE FlexibleInstances #-}

module Lib where

import Control.Monad
import Data.Function
import Data.List

NorfairKing

02/12 15:38:50: Launching app
$ adb shell am start -n "eu.cs_syd.intray/eu.cs_syd.intray.android.ui.activity.MainActivity" -a android.intent.action.MAIN -c android.intent.category.LAUNCHER
Client not ready yet..Waiting for process to come online
Connected to process 18258 on device ulefone-power_3s-0123456789ABCDEF
Capturing and displaying logcat messages from application. This behavior can be disabled in the "Logcat output" section of the "Debugger" settings page.
W/System: ClassLoader referenced unknown path: /data/app/eu.cs_syd.intray-1/lib/arm64
I/art: Starting a blocking GC HeapTrim
I/InstantRun: starting instant run server: is main process
W/art: Before Android 4.1, method android.graphics.PorterDuffColorFilter android.support.graphics.drawable.VectorDrawableCompat.updateTintFilter(android.graphics.PorterDuffColorFilter, android.content.res.ColorStateList, android.graphics.PorterDuff$Mode) would have incorrectly overridden the package-private method in android.graphics.drawable.Drawable
V/PhoneWindow: D