NorfairKing

selectUnValued :: (MonadIO m, UnValueAll a a', SqlSelect (SqlExpr a) a) => SqlQuery (SqlExpr a) -> SqlPersistT m [a']
selectUnValued = fmap (map unValueAll) . select

unValueAll :: (UnValueAll a a') => a -> a'
unValueAll = unV

class UnValueAll a b where
  unV :: a -> b

instance UnValueAll (Value a) a where

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