Trace.Hpc.Coveralls.Types

Types to represent hpc code coverage data.

Documentation

type CoverageEntry = ([MixEntry], [Integer], [String])

data Hit

Constructors

Full

Partial

None

Irrelevant

Instances

Eq Hit

Methods

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

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

Show Hit

Methods

showsPrec :: Int -> Hit -> ShowS

show :: Hit -> String

showList :: [Hit] -> ShowS

type Lix = [Hit]

data CoverageMode

Constructors

StrictlyFullLines

AllowPartialLines

Instances

Eq CoverageMode

Methods

(==) :: CoverageMode -> CoverageMode -> Bool

(/=) :: CoverageMode -> CoverageMode -> Bool

Data CoverageMode

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

Methods

showsPrec :: Int -> CoverageMode -> ShowS

show :: CoverageMode -> String

showList :: [CoverageMode] -> ShowS

Default CoverageMode

Methods

def :: CoverageMode

data PostResult

Result to the POST request to coveralls.io

Constructors

PostSuccess URLString

Coveralls job url

PostFailure String

error message