Aelve Codesearch

grep over package repositories
Please provide a string to search for.
3+ characters are required.
Index updated about a month ago

total matches: 111

tasty-quickcheck-laws-0.0.3
9 matches
src/Test/Tasty/QuickCheck/Laws/Applicative.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/ErrorMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/Functor.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/IdentityMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/MaybeMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/Monad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/ReaderMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/StateMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
src/Test/Tasty/QuickCheck/Laws/WriterMonad.hs
  ( TestTree, testGroup )
import Test.Tasty.QuickCheck
  ( testProperty, Property, Arbitrary(..), CoArbitrary(..) )
import Text.Show.Functions
  ()

import Test.Tasty.QuickCheck.Laws.Class



            
text-1.2.3.1
1 matches
tests/Tests/Properties.hs
import Test.QuickCheck.Unicode (char)
import Tests.QuickCheckUtils
import Tests.Utils
import Text.Show.Functions ()
import qualified Control.Exception as Exception
import qualified Data.Bits as Bits (shiftL, shiftR)
import qualified Data.ByteString as B
import qualified Data.ByteString.Lazy as BL
import qualified Data.Char as C

            
text-short-0.1.3
3 matches
src/Data/Text/Short/Internal.hs
-- $setup
-- >>> :set -XOverloadedStrings
-- >>> import Data.Text.Short (pack, unpack, concat)
-- >>> import Text.Show.Functions ()
-- >>> import qualified Test.QuickCheck.Arbitrary as QC
-- >>> import Test.QuickCheck.Instances ()
-- >>> instance QC.Arbitrary ShortText where { arbitrary = fmap fromString QC.arbitrary }

            
src/Data/Text/Short.hs

-- $setup
-- >>> :set -XOverloadedStrings
-- >>> import Text.Show.Functions ()
-- >>> import qualified Test.QuickCheck.Arbitrary as QC
-- >>> instance QC.Arbitrary ShortText where { arbitrary = fmap fromString QC.arbitrary }

            
src-test/Tests.hs
import           Test.Tasty
import           Test.Tasty.HUnit
import           Test.Tasty.QuickCheck     as QC
import           Text.Show.Functions       ()

fromByteStringRef = either (const Nothing) (Just . IUT.fromText) . T.decodeUtf8'

main :: IO ()
main = defaultMain (adjustOption (QuickCheckTests 50000 `max`) $ tests)

            
text-show-3.8.2
1 matches
tests/Spec/FunctionsSpec.hs
import Data.Proxy (Proxy(..))
import Spec.Utils (matchesTextShowSpec)
import Test.Hspec (Spec, describe, hspec, parallel)
import Text.Show.Functions ()
import TextShow.Functions ()

main :: IO ()
main = hspec spec


            
text-utf8-1.2.3.0
1 matches
tests/Tests/Properties.hs
import Test.QuickCheck.Unicode (char)
import Tests.QuickCheckUtils
import Tests.Utils
import Text.Show.Functions ()
import qualified Control.Exception as Exception
import qualified Data.Bits as Bits (shiftL, shiftR)
import qualified Data.ByteString as B
import qualified Data.ByteString.Lazy as BL
import qualified Data.Char as C

            
uvector-0.1.1.1
2 matches
examples/quickcheck/Testsuite/Utils.hs
import Test.QuickCheck
import Test.QuickCheck.Batch

import Text.Show.Functions

import Data.Array.Parallel.Base.Hyperstrict
import Data.Array.Parallel.Base.Fusion       (EFL)
import Data.Array.Parallel.Unlifted
import Data.Array.Parallel.Distributed

            
tests/Properties/Utils.hs

import Test.QuickCheck
import Test.QuickCheck.Batch
import Text.Show.Functions
import Control.Monad.Instances

import Control.Monad (liftM,liftM2,liftM5)

import qualified Data.Array.Vector as S

            
vector-0.12.0.3
2 matches
tests/Tests/Bundle.hs
import Test.Framework
import Test.Framework.Providers.QuickCheck2

import Text.Show.Functions ()
import Data.List           (foldl', foldl1', unfoldr, find, findIndex)
import System.Random       (Random)

#define COMMON_CONTEXT(a) \
 VANILLA_CONTEXT(a)

            
tests/Tests/Vector.hs
import Test.Framework
import Test.Framework.Providers.QuickCheck2

import Text.Show.Functions ()
import Data.List
import Data.Monoid
import qualified Control.Applicative as Applicative
import System.Random       (Random)


            
vector-bytestring-0.0.0.1
1 matches
tests/QuickCheckUtils.hs
module QuickCheckUtils where

import Test.QuickCheck
import Text.Show.Functions

import Control.Monad        ( liftM2 )
import Control.Monad.Instances
import Data.Char
import Data.List

            
web-inv-route-0.1.2.2
1 matches
Web/Route/Invertible/Map/Custom.hs

import Data.Maybe (mapMaybe)
import Data.Semigroup (Semigroup)
import Text.Show.Functions ()

newtype CustomMap q a b = CustomMap [(q -> Maybe a, b)]
  deriving (Show, Semigroup, Monoid)

instance Functor (CustomMap q a) where