Nikos Baxevanis moodmosaic
moodmosaic
/ clarinet-fuzz-dsl.ts
Created
August 10, 2023 21:27
A DSL for turning concrete tests into prop/fuzz tests on top of Clarinet.test
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Clarinet.test({ | |
| name: "ascii-to-buff", | |
| runs: 1000, | |
| logs: true, | |
| data: { | |
| text: { | |
| minLength: 0, | |
| maxLength: 127, | |
| } | |
| }, |
moodmosaic
/ sup_test.ts
Last active
March 16, 2022 10:43
Clarity contracts can be property-based tested
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import { Clarinet, Tx, Chain, Account, types } | |
| from 'https://deno.land/x/[email protected]/index.ts'; | |
| import { assert, assertEquals } | |
| from 'https://deno.land/[email protected]/testing/asserts.ts'; | |
| import fc | |
| from 'https://cdn.skypack.dev/fast-check'; | |
| Clarinet.test({ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| resolver: | |
| lts-11.22 | |
| extra-deps: | |
| - hedgehog-0.6.1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TemplateHaskell #-} | |
| module Discordia.TH where | |
| import Language.Haskell.Extract (functionExtractorMap) | |
| import Language.Haskell.TH | |
| import Test.Framework (defaultMain) | |
| import Test.HUnit (Test(..)) | |
| discover :: ExpQ |
moodmosaic
/ SumProduct.hs
Created
February 15, 2018 12:58
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module SumProduct ( | |
| KnownColor (..) | |
| , RGB (..) | |
| , redColor | |
| , magenta | |
| , red | |
| ) where | |
moodmosaic
/ LICENSE
Last active
July 19, 2017 15:54
Stack project for building https://gist.github.com/ploeh/3965c5df81f2a16f41a81cffeaae35c5
moodmosaic
/ Main.hs
Created
May 25, 2017 03:21
Servant example from "Write a client library for any web API in 5 minutes" https://haskell-servant.github.io/client-in-5-minutes.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# OPTIONS_GHC -fno-warn-unused-imports #-} | |
| import Control.Applicative | |
| import Control.Monad | |
| import Control.Monad.IO.Class | |
| import Control.Monad.Trans.Except | |
| import Data.Aeson |
moodmosaic
/ Sort fsharpforfunandprofit.com
Last active
February 27, 2017 22:30
Any updates from https://fsharpforfunandprofit.com/?
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Last checked | |
| # $ date | |
| # Mon Feb 27 23:59:15 EEST 2017 | |
| 2017-02-17 https://fsharpforfunandprofit.com/cap/ | |
| 2017-02-17 https://fsharpforfunandprofit.com/turtle/ | |
| 2017-02-17 https://fsharpforfunandprofit.com/video/ | |
| 2016-12-05 https://fsharpforfunandprofit.com/posts/dependency-injection-1 | |
| 2016-08-01 https://fsharpforfunandprofit.com/installing-and-using/ | |
| 2016-06-23 https://fsharpforfunandprofit.com/parser/ |
moodmosaic
/ Booking.cabal
Created
March 22, 2016 16:22
Stack project for building https://gist.github.com/ploeh/c999e2ae2248bd44d775
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Booking | |
| version: 0.1.0.0 | |
| synopsis: Handling a reservation request in Haskell. Proof of concept | |
| description: Please see README.md | |
| homepage: https://gist.github.com/ploeh/c999e2ae2248bd44d775 | |
| license: MIT | |
| license-file: LICENSE | |
| author: Mark Seemann | |
| maintainer: [email protected] | |
| copyright: 2016 Mark Seemann |
moodmosaic
/ LightCheck.fs
Last active
December 13, 2020 02:02
LightCheck is a QuickCheck-based clone, written in F# for educational use.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Port of Haskell | |
| // - https://hackage.haskell.org/package/QuickCheck-1.2.0.1 | |
| // - https://hackage.haskell.org/package/random-1.1 | |
| namespace LightCheck | |
| /// <summary> | |
| /// This module deals with the common task of pseudo-random number generation. | |
| /// It makes it possible to generate repeatable results, by starting with a | |
| /// specified initial random number generator, or to get different results on |
NewerOlder