HirotoShioi

[]

HirotoShioi

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.17;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).

HirotoShioi

[
  {
    "region": "旧北区",
    "category": "タテハチョウ科",
    "img_src": "pa-sp/nymph/ooitimoji.jpg",
    "pdf_src": "butterfly_pdf/p_arc/p_arc-ny 4.pdf",
    "img_path": "./assets/old_north/images/ooitimoji.jpg",
    "pdf_path": "./assets/old_north/pdf/p_arc-ny%204.pdf",
    "jp_name": "オオイチモンジ",
    "eng_name": "Limenitis_populi",

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

fn main() {

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

pub fn get_dominant_colors(image_url: &Url) -> Result<Vec<Color>, Box<dyn std::error::Error>> {

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

pub fn get_dominant_colors(image_url: &Url) -> Result<Vec<Color>, Box<dyn std::error::Error>> {

HirotoShioi

import Data.List (nub, permutations)
let a = [ [a, b, c] | a <- [1..9], b <- [1..9], c <- [1..9], a <= b, b <= c, a + b + c == 21]
let comb = nub $ concatMap permutations a
forM_ comb (\[a,b,c] -> putStrLn $ "(" <> show a <> ", " <> show b <> " ," <> show c <> ")\\")
forM_ a (\[a,b,c] -> putStrLn $ "(" <> show a <> ", " <> show b <> " ," <> show c <> ")\\")
length comb
28
length a
7

HirotoShioi

Quickcheckの極意

QuickCheckで可能となる様々なテスト手法

• Model based test
• Metamorphic test
• Postconditions
• Round-trip test

テストをデバッグしよう

• 有効なテストがどの程度の頻度で行われているのか確認しよう。(例：リストに存在しない値に対するlookupがテストの大半を占めていないか)

HirotoShioi

{-# LANGUAGE OverloadedStrings #-}

module Lib where

import           RIO hiding (lines)
import qualified RIO.Text as T

import           Data.Aeson (FromJSON (..), ToJSON (..), object, withObject,
                             (.:), (.=))
import           Data.Aeson.Encode.Pretty (encodePretty)

HirotoShioi

PROJECT_NAME = <enter your project name here>

help: ## Print documentation
	@grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'

stylish-haskell: ## Apply stylish-haskell on all *.hs files
	@find . -type f -name "*.hs" -not -path '.git' -not -path '*.stack-work*' -print0 | xargs -0 stylish-haskell -i

ghci: ## Run repl
	@stack ghci $(PROJECT_NAME):lib --haddock-deps --ghci-options=-fobject-code