hpc-coveralls-1.0.9: Coveralls.io support for Haskell.

Copyright(c) 2014-2015 Guillaume Nargeot
LicenseBSD3
MaintainerGuillaume Nargeot <guillaume+hackage@nargeot.com>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell98

Trace.Hpc.Coveralls.Types

Description

Types to represent hpc code coverage data.

Synopsis

Documentation

data Hit Source #

Constructors

Full 
Partial 
None 
Irrelevant 

Instances

Eq Hit Source # 

Methods

(==) :: Hit -> Hit -> Bool #

(/=) :: Hit -> Hit -> Bool #

Show Hit Source # 

Methods

showsPrec :: Int -> Hit -> ShowS #

show :: Hit -> String #

showList :: [Hit] -> ShowS #

type Lix = [Hit] Source #

data CoverageMode Source #

Instances

Eq CoverageMode Source # 
Data CoverageMode Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CoverageMode -> c CoverageMode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CoverageMode #

toConstr :: CoverageMode -> Constr #

dataTypeOf :: CoverageMode -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CoverageMode) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CoverageMode) #

gmapT :: (forall b. Data b => b -> b) -> CoverageMode -> CoverageMode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CoverageMode -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CoverageMode -> r #

gmapQ :: (forall d. Data d => d -> u) -> CoverageMode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CoverageMode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CoverageMode -> m CoverageMode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CoverageMode -> m CoverageMode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CoverageMode -> m CoverageMode #

Show CoverageMode Source # 
Default CoverageMode Source # 

Methods

def :: CoverageMode #

data PostResult Source #

Result to the POST request to coveralls.io

Constructors

PostSuccess URLString

Coveralls job url

PostFailure String

error message