Aelve Codesearch

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

total matches: 111

Agda-2.6.0.1
2 matches
src/full/Agda/Utils/Bag.hs
import Prelude hiding (null, map)

import Control.Applicative hiding (empty)
import Text.Show.Functions ()

import Data.Foldable (Foldable(foldMap))
import Data.Functor.Identity
import qualified Data.List as List
import Data.Map (Map)

            
src/full/Agda/Utils/List.hs
import qualified Data.Map as Map
import qualified Data.Set as Set

import Text.Show.Functions ()

import qualified Agda.Utils.Bag as Bag

import Agda.Utils.Tuple


            
AlgoRhythm-0.1.0.0
1 matches
src/Grammar/Types.hs
       ) where

import System.Random
import Text.Show.Functions ()

import Generate (Weight)
import Music

{- Operators' precedence. -}

            
ChasingBottoms-1.3.1.6
1 matches
Test/ChasingBottoms/TestUtilities.hs
import Data.List
import Control.Arrow
import Control.Monad
import Text.Show.Functions

------------------------------------------------------------------------
-- Batch execution of QuickCheck tests

-- | Runs a single test, using suitable settings.

            
HAppS-Server-0.9.3.1
2 matches
src/HAppS/Server/HTTP/Types.hs
import HAppS.Server.Cookie
import HAppS.Util.Common (Seconds)
import Data.List
import Text.Show.Functions ()

-- lowercase pack
--lpack = (P.map toLower) . P.pack

-- | HTTP version

            
src/HAppS/Server/SimpleHTTP.hs
import System.Console.GetOpt
import System.Process (runInteractiveProcess, waitForProcess)
import System.Exit
import Text.Show.Functions ()

type Web a = WebT IO a
type ServerPart a = ServerPartT IO a

newtype ServerPartT m a = ServerPartT { unServerPartT :: Request -> WebT m a }

            
Haschoo-0.1.2
1 matches
Haschoo/Types.hs
import Data.Ratio                 (numerator, denominator)
import System.IO                  (Handle)
import System.IO.Unsafe           (unsafeInterleaveIO)
import Text.Show.Functions        ()

import qualified Data.ListTrie.Patricia.Map.Enum as TM
import Data.ListTrie.Patricia.Map.Enum (TrieMap)

import Haschoo.Utils (ErrOr, lazyMapM)

            
QuadTree-0.11.0
1 matches
Test/quadtree-tests.hs
import Test.QuickCheck.Property (Property, (==>))
import Test.QuickCheck.All (quickCheckAll)

import Text.Show.Functions ()
import System.Exit (exitSuccess, exitFailure)

import Control.Lens.Type (Lens')
import Control.Lens.Setter (set)
import Control.Lens.Getter (view)

            
QuickCheck-2.13.2
2 matches
examples/Set.hs

import Test.QuickCheck

import Text.Show.Functions
import Data.List
  ( sort
  , group
  , nub
  , (\\)

            
examples/Set.hs

import Data.Maybe

--import Text.Show.Functions

--------------------------------------------------------------------------
-- binary search trees

data Set a

            
adp-multi-0.2.3
1 matches
tests/ADP/Multi/Rewriting/Tests/YieldSize.hs
) where

import Test.QuickCheck
import Text.Show.Functions()
import System.Random.Shuffle

import qualified Data.Map as Map

import ADP.Multi.Parser

            
applicative-numbers-0.1.3
1 matches
src/Data/Numeric/Function.hs

module Data.Numeric.Function () where

import Text.Show.Functions ()
import Control.Applicative (Applicative(..),liftA2)

{--------------------------------------------------------------------
    Numeric instances for functions, via the applicative-numbers package
--------------------------------------------------------------------}

            
arbtt-0.10.2
1 matches
src/Categorize.hs
import Data.Time.LocalTime
import System.Exit
import System.IO
import Text.Show.Functions
import Text.Parsec
import Text.Parsec.ExprFail
import Text.Parsec.Token
#if MIN_VERSION_time(1,5,0)
import Data.Time.Format(defaultTimeLocale, iso8601DateFormat)

            
avro-0.4.4.4
1 matches
src/Data/Avro/Schema.hs

import GHC.Generics (Generic)

import Text.Show.Functions ()

-- | An Avro schema is either
--
-- * A "JSON object in the form @{"type":"typeName" ...}@
--

            
binary-typed-1.0
1 matches
tests/QuickCheck.hs

import Test.Tasty
import Test.Tasty.QuickCheck
import Text.Show.Functions () -- This fixes the missing Show (a->b) instance in
                              -- Travis. Can probably be removed in the future.


qcOptions = QuickCheckTests 1e4


            
blas-0.7.6
1 matches
tests/Driver.hs
import qualified Test.QuickCheck.BLAS as Test

import Text.Printf
import Text.Show.Functions

#ifdef COMPLEX
field = "Complex Double"
type E = Complex Double 
#else

            
bytestring-0.10.10.0
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

            
carray-0.1.6.8
1 matches
tests/tests.hs
import Test.QuickCheck (Property, (==>))
import Control.Arrow ((&&&), (***))
import Control.Monad (liftM2)
import Text.Show.Functions ()
import Data.Array.CArray
          (CArray, flatten, ixmapWithInd, rank, reshape, shape, size, sliceWith)
import Data.Ix.Shapable (shapeToStride)
import Data.Array.Unboxed
          (IArray, Ix, UArray,

            
checkers-0.5.0
1 matches
src/Test/QuickCheck/Classes.hs
import Control.Monad (MonadPlus (..), ap, join)
import Control.Arrow (Arrow,ArrowChoice,first,second,left,right,(>>>),arr)
import Test.QuickCheck
import Text.Show.Functions ()

import Test.QuickCheck.Checkers
import Test.QuickCheck.Instances.Char ()



            
columnar-1.0.0.0
1 matches
src/Text/Columnar/Types.hs
import qualified Data.Vector                    as V
import           Fmt
import           Text.Enum.Text
import           Text.Show.Functions()


type TextParser a = T.Text -> Possibly a



            
compact-string-0.3.1
1 matches
test/QuickCheckUtils.hs

import Test.QuickCheck.Batch
import Test.QuickCheck
import Text.Show.Functions

import Control.Monad        ( liftM, liftM2 )
import qualified Control.Exception as E
import Data.Char
import Data.List

            
compact-string-fix-0.3.2
1 matches
test/QuickCheckUtils.hs

import Test.QuickCheck.Batch
import Test.QuickCheck
import Text.Show.Functions

import Control.Monad        ( liftM, liftM2 )
import qualified Control.Exception as E
import Data.Char
import Data.List

            
data-hash-0.2.0.1
1 matches
src/Data/Hash/Rolling.hs
import Data.Bits
import qualified Data.Sequence as S
import Data.Foldable
import Text.Show.Functions ()


data RollingHash a = RH {
     currentHash :: Hash
    ,windowSize  :: Int

            
data-r-tree-0.0.5.0
1 matches
test/RTreeProperties.hs
import           Test.Framework.Providers.HUnit
import           Test.Framework.Providers.QuickCheck2
import           Test.HUnit                           hiding (Test, Testable)
import           Text.Show.Functions                  ()


--import Graphics.Gnuplot.Simple

-- todo: write tests

            
data-stringmap-1.0.1.1
1 matches
tests/StringMapProperties.hs
import           Test.Framework.Providers.HUnit
import           Test.Framework.Providers.QuickCheck2
import           Test.HUnit                           hiding (Test, Testable)
import           Text.Show.Functions                  ()

#if sizeable
import           Data.Size
#endif


            
debug-0.1.1
2 matches
src/Debug/DebugTrace.hs
import GHC.Generics
import System.IO
import System.Directory
import Text.Show.Functions() -- Make sure the Show for functions instance exists
import Web.Browser
import Paths_debug
import Text.PrettyPrint.ANSI.Leijen as PP hiding ((<$>), (<>))
import Prelude


            
src/Debug/Variables.hs
import           System.Directory
import           System.IO
import           System.IO.Unsafe
import           Text.Show.Functions        ()
import           Unsafe.Coerce

-- | Run a computation and open a browser window showing observed function calls.
--
--   @ main = debugRun $ do

            
dedukti-1.1.4
1 matches
Dedukti/Runtime.hs

import qualified Data.ByteString.Char8 as B
import Control.Exception
import Text.Show.Functions ()
import Data.Typeable hiding (typeOf)
import Prelude hiding (pi, catch)
import Data.Time.Clock
import Text.PrettyPrint.Leijen
import System.Exit

            
derive-topdown-0.0.2.0
1 matches
tests/Test.hs
import Language.Haskell.TH.Syntax hiding (Module)
import Language.Haskell.Syntax
import Data.Ratio
import Text.Show.Functions
import Language.SQL.SimpleSQL.Syntax
import Data.Word
import Text.PrettyPrint.GenericPretty
import Data.Derive.Superclass
import Control.Monad.IO.Class

            
dlist-0.8.0.6
1 matches
tests/Main.hs

import qualified Data.List as List
import Test.QuickCheck
import Text.Show.Functions ()

import Data.DList

import OverloadedStrings (testOverloadedStrings)