TestPrelude.hs

{-# LANGUAGE NoImplicitPrelude #-}

module DSV.TestPrelude
  ( module Prelude
  , example
  ) where

import DSV as Prelude

import Paths_dsv as Prelude
import Prelude hiding (product)

import Control.Monad.IO.Class as Prelude
import Data.Bifunctor as Prelude
import Data.IORef as Prelude
import Hedgehog as Prelude

import Control.Category as Prelude
    ((>>>), (<<<))

import Control.Exception.Safe as Prelude
    (try)

import Control.Monad as Prelude
    ((>=>))

import Data.Foldable as Prelude
    (toList, traverse_)

import Data.Maybe as Prelude
    (fromMaybe)

import Data.Monoid as Prelude
    (Sum (..))

import Data.Semigroup as Prelude
    (First (..))

example =
    withTests 1 . property