generated from tpl/purs
fix: strict + pedantic
This commit is contained in:
parent
b8a82003cc
commit
af76dc3b27
15
spago.yaml
15
spago.yaml
@ -1,27 +1,30 @@
|
|||||||
package:
|
package:
|
||||||
|
build:
|
||||||
|
pedantic_packages: true
|
||||||
|
strict: true
|
||||||
dependencies:
|
dependencies:
|
||||||
- aff
|
- arrays
|
||||||
- console
|
|
||||||
- effect
|
- effect
|
||||||
- either
|
- either
|
||||||
|
- enums
|
||||||
- foldable-traversable
|
- foldable-traversable
|
||||||
|
- integers
|
||||||
- js-bigints
|
- js-bigints
|
||||||
- maybe
|
- maybe
|
||||||
- newtype
|
- newtype
|
||||||
- node-buffer
|
- node-buffer
|
||||||
|
- ordered-collections
|
||||||
- prelude
|
- prelude
|
||||||
- quickcheck
|
|
||||||
- spec-quickcheck
|
|
||||||
- strings
|
- strings
|
||||||
- stringutils
|
|
||||||
- transformers
|
- transformers
|
||||||
- tuples
|
- tuples
|
||||||
- typelevel-prelude
|
|
||||||
name: proquint
|
name: proquint
|
||||||
test:
|
test:
|
||||||
main: Test.Main
|
main: Test.Main
|
||||||
dependencies:
|
dependencies:
|
||||||
|
- quickcheck
|
||||||
- spec
|
- spec
|
||||||
|
- spec-quickcheck
|
||||||
workspace:
|
workspace:
|
||||||
extra_packages: {}
|
extra_packages: {}
|
||||||
package_set:
|
package_set:
|
||||||
|
@ -2,13 +2,9 @@ module Test.Main where
|
|||||||
|
|
||||||
import Prelude
|
import Prelude
|
||||||
|
|
||||||
import Control.Monad.Gen (suchThat)
|
|
||||||
import Data.Array as Array
|
import Data.Array as Array
|
||||||
import JS.BigInt (BigInt)
|
import JS.BigInt (BigInt)
|
||||||
import JS.BigInt as BigInt
|
import JS.BigInt as BigInt
|
||||||
import Data.Buffer.Immutable.BigInt as Buffer.Immutable.BigInt
|
|
||||||
import Data.Char as Char
|
|
||||||
import Data.Char.Gen (genDigitChar)
|
|
||||||
import Data.Either (Either(..))
|
import Data.Either (Either(..))
|
||||||
import Data.Foldable (intercalate)
|
import Data.Foldable (intercalate)
|
||||||
import Data.Generic.Rep (class Generic)
|
import Data.Generic.Rep (class Generic)
|
||||||
@ -16,21 +12,12 @@ import Data.Maybe (Maybe(..), fromJust)
|
|||||||
import Data.Newtype (class Newtype, wrap)
|
import Data.Newtype (class Newtype, wrap)
|
||||||
import Data.Proquint (Con, Proquint(..), Segment(..), Vo)
|
import Data.Proquint (Con, Proquint(..), Segment(..), Vo)
|
||||||
import Data.Proquint as PQ
|
import Data.Proquint as PQ
|
||||||
import Data.String as String
|
|
||||||
import Data.String.CodePoints as String.CodePoint
|
|
||||||
import Data.Traversable (sequence)
|
import Data.Traversable (sequence)
|
||||||
import Data.Tuple.Nested ((/\))
|
|
||||||
import Effect (Effect)
|
import Effect (Effect)
|
||||||
import Effect.Aff (launchAff_)
|
import Effect.Aff (launchAff_)
|
||||||
import Effect.Unsafe (unsafePerformEffect)
|
|
||||||
import Node.Buffer as Buffer
|
|
||||||
import Node.Buffer.Immutable as Buffer.Immutable
|
|
||||||
import Node.Encoding (Encoding(..))
|
|
||||||
import Partial.Unsafe (unsafePartial)
|
import Partial.Unsafe (unsafePartial)
|
||||||
import Test.QuickCheck (class Arbitrary, arbitrary, (===))
|
import Test.QuickCheck (class Arbitrary, arbitrary, (===))
|
||||||
import Test.QuickCheck.Arbitrary (genericArbitrary)
|
import Test.QuickCheck.Gen (Gen, arrayOf, enum)
|
||||||
import Test.QuickCheck.Gen (Gen, arrayOf, enum, resize)
|
|
||||||
import Test.QuickCheck.Gen as Gen
|
|
||||||
import Test.Spec (describe, it)
|
import Test.Spec (describe, it)
|
||||||
import Test.Spec.QuickCheck (quickCheck)
|
import Test.Spec.QuickCheck (quickCheck)
|
||||||
import Test.Spec.Reporter (consoleReporter)
|
import Test.Spec.Reporter (consoleReporter)
|
||||||
|
Loading…
Reference in New Issue
Block a user