Build #1 for type-combinators-0.2.4.3
| Package | type-combinators-0.2.4.3 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-06-15 18:19:22.962655 UTC |
|---|---|
| Compiler | ghc-8.0.1.20160521 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading type-combinators-0.2.4.3...
cabal: Entering directory '/tmp/cabal-tmp-6009/type-combinators-0.2.4.3'
Configuring type-combinators-0.2.4.3...
Building type-combinators-0.2.4.3...
Preprocessing library type-combinators-0.2.4.3...
[ 1 of 32] Compiling Type.Family.Monoid ( src/Type/Family/Monoid.hs, dist/build/Type/Family/Monoid.o )
[ 2 of 32] Compiling Type.Family.Constraint ( src/Type/Family/Constraint.hs, dist/build/Type/Family/Constraint.o )
[ 3 of 32] Compiling Type.Class.Known ( src/Type/Class/Known.hs, dist/build/Type/Class/Known.o )
[ 4 of 32] Compiling Type.Class.Witness ( src/Type/Class/Witness.hs, dist/build/Type/Class/Witness.o )
[ 5 of 32] Compiling Type.Class.Higher ( src/Type/Class/Higher.hs, dist/build/Type/Class/Higher.o )
[ 6 of 32] Compiling Type.Family.Tuple ( src/Type/Family/Tuple.hs, dist/build/Type/Family/Tuple.o )
[ 7 of 32] Compiling Type.Family.List ( src/Type/Family/List.hs, dist/build/Type/Family/List.o )
[ 8 of 32] Compiling Data.Type.Index.Trans ( src/Data/Type/Index/Trans.hs, dist/build/Data/Type/Index/Trans.o )
[ 9 of 32] Compiling Type.Family.Either ( src/Type/Family/Either.hs, dist/build/Type/Family/Either.o )
[10 of 32] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/build/Type/Family/Maybe.o )
[11 of 32] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/build/Data/Type/Combinator.o )
[12 of 32] Compiling Data.Type.Conjunction ( src/Data/Type/Conjunction.hs, dist/build/Data/Type/Conjunction.o )
[13 of 32] Compiling Data.Type.Index ( src/Data/Type/Index.hs, dist/build/Data/Type/Index.o )
[14 of 32] Compiling Data.Type.Sum ( src/Data/Type/Sum.hs, dist/build/Data/Type/Sum.o )
[15 of 32] Compiling Data.Type.Sum.Lifted ( src/Data/Type/Sum/Lifted.hs, dist/build/Data/Type/Sum/Lifted.o )
[16 of 32] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/build/Data/Type/Disjunction.o )
[17 of 32] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/build/Data/Type/Option.o )
[18 of 32] Compiling Data.Type.Product.Lifted ( src/Data/Type/Product/Lifted.hs, dist/build/Data/Type/Product/Lifted.o )
[19 of 32] Compiling Type.Family.Bool ( src/Type/Family/Bool.hs, dist/build/Type/Family/Bool.o )
[20 of 32] Compiling Type.Family.Nat ( src/Type/Family/Nat.hs, dist/build/Type/Family/Nat.o )
[21 of 32] Compiling Data.Type.Boolean ( src/Data/Type/Boolean.hs, dist/build/Data/Type/Boolean.o )
[22 of 32] Compiling Data.Type.Nat ( src/Data/Type/Nat.hs, dist/build/Data/Type/Nat.o )
[23 of 32] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/build/Data/Type/Length.o )
[24 of 32] Compiling Data.Type.Fin ( src/Data/Type/Fin.hs, dist/build/Data/Type/Fin.o )
[25 of 32] Compiling Data.Type.Fin.Indexed ( src/Data/Type/Fin/Indexed.hs, dist/build/Data/Type/Fin/Indexed.o )
[26 of 32] Compiling Data.Type.Nat.Inequality ( src/Data/Type/Nat/Inequality.hs, dist/build/Data/Type/Nat/Inequality.o )
[27 of 32] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/build/Data/Type/Product.o )
[28 of 32] Compiling Data.Type.Subset ( src/Data/Type/Subset.hs, dist/build/Data/Type/Subset.o )
[29 of 32] Compiling Data.Type.Remove ( src/Data/Type/Remove.hs, dist/build/Data/Type/Remove.o )
[30 of 32] Compiling Data.Type.Difference ( src/Data/Type/Difference.hs, dist/build/Data/Type/Difference.o )
[31 of 32] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/build/Data/Type/Vector.o )
[32 of 32] Compiling Data.Type.Product.Env ( src/Data/Type/Product/Env.hs, dist/build/Data/Type/Product/Env.o )
Running Haddock for type-combinators-0.2.4.3...
Running hscolour for type-combinators-0.2.4.3...
Preprocessing library type-combinators-0.2.4.3...
Preprocessing library type-combinators-0.2.4.3...
Haddock coverage:
33% ( 1 / 3) in 'Type.Family.Monoid'
Missing documentation for:
Mempty (src/Type/Family/Monoid.hs:21)
<> (src/Type/Family/Monoid.hs:22)
33% ( 3 / 9) in 'Type.Family.Constraint'
Missing documentation for:
Fail (src/Type/Family/Constraint.hs:38)
Iff (src/Type/Family/Constraint.hs:40)
(src/Type/Family/Constraint.hs:42)
(src/Type/Family/Constraint.hs:44)
Comp (src/Type/Family/Constraint.hs:47)
(src/Type/Family/Constraint.hs:48)
67% ( 2 / 3) in 'Type.Class.Known'
Missing documentation for:
(src/Type/Class/Known.hs:48)
Warning: Type.Class.Witness: Could not find documentation for exported module: Exports
21% ( 10 / 48) in 'Type.Class.Witness'
Missing documentation for:
Wit1 (src/Type/Class/Witness.hs:67)
(src/Type/Class/Witness.hs:87)
transC (src/Type/Class/Witness.hs:91)
// (src/Type/Class/Witness.hs:112)
Fails (src/Type/Class/Witness.hs:128)
absurdC (src/Type/Class/Witness.hs:131)
Const (src/Type/Class/Witness.hs:134)
(src/Type/Class/Witness.hs:137)
∘ (src/Type/Class/Witness.hs:140)
(src/Type/Class/Witness.hs:143)
∧ (src/Type/Class/Witness.hs:147)
(src/Type/Class/Witness.hs:151)
∨ (src/Type/Class/Witness.hs:154)
eitherC (src/Type/Class/Witness.hs:158)
pureC (src/Type/Class/Witness.hs:163)
contraC (src/Type/Class/Witness.hs:166)
Forall (src/Type/Class/Witness.hs:173)
toEquality (src/Type/Class/Witness.hs:182)
commute (src/Type/Class/Witness.hs:185)
Holds (src/Type/Class/Witness.hs:188)
falso (src/Type/Class/Witness.hs:192)
top (src/Type/Class/Witness.hs:195)
bottom (src/Type/Class/Witness.hs:198)
(src/Type/Class/Witness.hs:203)
(src/Type/Class/Witness.hs:206)
(src/Type/Class/Witness.hs:223)
//?+ (src/Type/Class/Witness.hs:234)
witMaybe (src/Type/Class/Witness.hs:240)
qed (src/Type/Class/Witness.hs:245)
impossible (src/Type/Class/Witness.hs:248)
exFalso (src/Type/Class/Witness.hs:251)
=?= (src/Type/Class/Witness.hs:259)
TestEquality1 (src/Type/Class/Witness.hs:263)
=??= (src/Type/Class/Witness.hs:266)
Dec (src/Type/Class/Witness.hs:274)
DecEquality (src/Type/Class/Witness.hs:278)
decCase (src/Type/Class/Witness.hs:281)
absurd (src/Type/Class/Witness.hs:291)
3% ( 2 / 63) in 'Type.Class.Higher'
Missing documentation for:
Eq1 (src/Type/Class/Higher.hs:37)
=#= (src/Type/Class/Higher.hs:44)
Eq2 (src/Type/Class/Higher.hs:48)
=##= (src/Type/Class/Higher.hs:55)
Eq3 (src/Type/Class/Higher.hs:59)
=###= (src/Type/Class/Higher.hs:66)
Ord1 (src/Type/Class/Higher.hs:74)
Ord2 (src/Type/Class/Higher.hs:88)
Ord3 (src/Type/Class/Higher.hs:102)
Show1 (src/Type/Class/Higher.hs:120)
shows1 (src/Type/Class/Higher.hs:127)
Show2 (src/Type/Class/Higher.hs:130)
shows2 (src/Type/Class/Higher.hs:137)
Show3 (src/Type/Class/Higher.hs:140)
shows3 (src/Type/Class/Higher.hs:147)
Read1 (src/Type/Class/Higher.hs:154)
reads1 (src/Type/Class/Higher.hs:157)
readMaybe1 (src/Type/Class/Higher.hs:160)
Read2 (src/Type/Class/Higher.hs:166)
reads2 (src/Type/Class/Higher.hs:169)
readMaybe2 (src/Type/Class/Higher.hs:172)
Read3 (src/Type/Class/Higher.hs:178)
reads3 (src/Type/Class/Higher.hs:181)
readMaybe3 (src/Type/Class/Higher.hs:184)
Functor1 (src/Type/Class/Higher.hs:193)
IxFunctor1 (src/Type/Class/Higher.hs:197)
Foldable1 (src/Type/Class/Higher.hs:204)
IxFoldable1 (src/Type/Class/Higher.hs:207)
Traversable1 (src/Type/Class/Higher.hs:214)
IxTraversable1 (src/Type/Class/Higher.hs:217)
Bifunctor1 (src/Type/Class/Higher.hs:224)
IxBifunctor1 (src/Type/Class/Higher.hs:230)
Some (src/Type/Class/Higher.hs:242)
(src/Type/Class/Higher.hs:245)
>>- (src/Type/Class/Higher.hs:265)
>-> (src/Type/Class/Higher.hs:269)
withSome (src/Type/Class/Higher.hs:273)
onSome (src/Type/Class/Higher.hs:276)
msome (src/Type/Class/Higher.hs:279)
>>=- (src/Type/Class/Higher.hs:282)
Some2 (src/Type/Class/Higher.hs:292)
some2 (src/Type/Class/Higher.hs:295)
>>-- (src/Type/Class/Higher.hs:298)
>--> (src/Type/Class/Higher.hs:302)
withSome2 (src/Type/Class/Higher.hs:306)
onSome2 (src/Type/Class/Higher.hs:309)
msome2 (src/Type/Class/Higher.hs:312)
>>=-- (src/Type/Class/Higher.hs:315)
Some3 (src/Type/Class/Higher.hs:325)
some3 (src/Type/Class/Higher.hs:328)
>>--- (src/Type/Class/Higher.hs:331)
>---> (src/Type/Class/Higher.hs:335)
withSome3 (src/Type/Class/Higher.hs:339)
onSome3 (src/Type/Class/Higher.hs:342)
msome3 (src/Type/Class/Higher.hs:345)
>>=--- (src/Type/Class/Higher.hs:348)
SomeC (src/Type/Class/Higher.hs:358)
someC (src/Type/Class/Higher.hs:361)
>>~ (src/Type/Class/Higher.hs:364)
msomeC (src/Type/Class/Higher.hs:368)
>>=~ (src/Type/Class/Higher.hs:371)
6% ( 1 / 16) in 'Type.Family.Tuple'
Missing documentation for:
# (src/Type/Family/Tuple.hs:35)
Fst (src/Type/Family/Tuple.hs:40)
fstCong (src/Type/Family/Tuple.hs:43)
Snd (src/Type/Family/Tuple.hs:46)
sndCong (src/Type/Family/Tuple.hs:49)
Fst3 (src/Type/Family/Tuple.hs:52)
fst3Cong (src/Type/Family/Tuple.hs:55)
Snd3 (src/Type/Family/Tuple.hs:58)
snd3Cong (src/Type/Family/Tuple.hs:61)
Thd3 (src/Type/Family/Tuple.hs:64)
thd3Cong (src/Type/Family/Tuple.hs:67)
<$> (src/Type/Family/Tuple.hs:74)
pairMapCong (src/Type/Family/Tuple.hs:78)
<&> (src/Type/Family/Tuple.hs:81)
<*> (src/Type/Family/Tuple.hs:85)
18% ( 7 / 38) in 'Type.Family.List'
Missing documentation for:
Ø (src/Type/Family/List.hs:37)
:< (src/Type/Family/List.hs:38)
Null (src/Type/Family/List.hs:46)
nullCong (src/Type/Family/List.hs:50)
nilNotCons (src/Type/Family/List.hs:53)
appendCong (src/Type/Family/List.hs:62)
Concat (src/Type/Family/List.hs:65)
concatCong (src/Type/Family/List.hs:69)
snocCong (src/Type/Family/List.hs:82)
Reverse (src/Type/Family/List.hs:85)
reverseCong (src/Type/Family/List.hs:89)
HeadM (src/Type/Family/List.hs:96)
Head (src/Type/Family/List.hs:100)
TailM (src/Type/Family/List.hs:103)
Tail (src/Type/Family/List.hs:107)
InitM (src/Type/Family/List.hs:110)
Init (src/Type/Family/List.hs:114)
Init' (src/Type/Family/List.hs:117)
initCong (src/Type/Family/List.hs:121)
LastM (src/Type/Family/List.hs:124)
Last (src/Type/Family/List.hs:128)
Last' (src/Type/Family/List.hs:131)
lastCong (src/Type/Family/List.hs:135)
listMapCong (src/Type/Family/List.hs:156)
<*> (src/Type/Family/List.hs:166)
Fsts (src/Type/Family/List.hs:175)
Snds (src/Type/Family/List.hs:179)
Zip (src/Type/Family/List.hs:183)
Fsts3 (src/Type/Family/List.hs:187)
Snds3 (src/Type/Family/List.hs:191)
Thds3 (src/Type/Family/List.hs:195)
7% ( 1 / 14) in 'Data.Type.Index.Trans'
Missing documentation for:
Module header
IxList' (src/Data/Type/Index/Trans.hs:25)
IxEnv (src/Data/Type/Index/Trans.hs:26)
IxLift (src/Data/Type/Index/Trans.hs:28)
IxList (src/Data/Type/Index/Trans.hs:33)
IxFirst (src/Data/Type/Index/Trans.hs:39)
(src/Data/Type/Index/Trans.hs:43)
IxSecond (src/Data/Type/Index/Trans.hs:47)
(src/Data/Type/Index/Trans.hs:51)
IxOr (src/Data/Type/Index/Trans.hs:55)
(src/Data/Type/Index/Trans.hs:61)
IxJust (src/Data/Type/Index/Trans.hs:65)
IxComp (src/Data/Type/Index/Trans.hs:69)
16% ( 3 / 19) in 'Type.Family.Either'
Missing documentation for:
IsLeft (src/Type/Family/Either.hs:37)
IsRight (src/Type/Family/Either.hs:41)
leftCong (src/Type/Family/Either.hs:45)
rightCong (src/Type/Family/Either.hs:48)
leftNotRight (src/Type/Family/Either.hs:51)
eitherFmapCong (src/Type/Family/Either.hs:60)
<&> (src/Type/Family/Either.hs:63)
eitherPamfCong (src/Type/Family/Either.hs:68)
<*> (src/Type/Family/Either.hs:71)
eitherApCong (src/Type/Family/Either.hs:78)
<|> (src/Type/Family/Either.hs:81)
eitherAltCong (src/Type/Family/Either.hs:86)
FromLeft (src/Type/Family/Either.hs:89)
FromRight (src/Type/Family/Either.hs:92)
fromLeftCong (src/Type/Family/Either.hs:95)
fromRightCong (src/Type/Family/Either.hs:98)
20% ( 3 / 15) in 'Type.Family.Maybe'
Missing documentation for:
IsNothing (src/Type/Family/Maybe.hs:37)
nothingCong (src/Type/Family/Maybe.hs:41)
nothingNotJust (src/Type/Family/Maybe.hs:44)
maybeFmapCong (src/Type/Family/Maybe.hs:53)
<&> (src/Type/Family/Maybe.hs:56)
maybePamfCong (src/Type/Family/Maybe.hs:61)
<*> (src/Type/Family/Maybe.hs:64)
maybeApCong (src/Type/Family/Maybe.hs:70)
<|> (src/Type/Family/Maybe.hs:73)
maybeAltCong (src/Type/Family/Maybe.hs:79)
FromJust (src/Type/Family/Maybe.hs:82)
fromJustCong (src/Type/Family/Maybe.hs:85)
2% ( 1 / 57) in 'Data.Type.Combinator'
Missing documentation for:
Comp1 (src/Data/Type/Combinator.hs:46)
(src/Data/Type/Combinator.hs:51)
:.: (src/Data/Type/Combinator.hs:61)
(src/Data/Type/Combinator.hs:67)
(src/Data/Type/Combinator.hs:70)
(src/Data/Type/Combinator.hs:73)
(src/Data/Type/Combinator.hs:78)
(src/Data/Type/Combinator.hs:82)
(src/Data/Type/Combinator.hs:85)
I (src/Data/Type/Combinator.hs:92)
(src/Data/Type/Combinator.hs:99)
(src/Data/Type/Combinator.hs:103)
(src/Data/Type/Combinator.hs:106)
(src/Data/Type/Combinator.hs:110)
C (src/Data/Type/Combinator.hs:122)
(src/Data/Type/Combinator.hs:129)
(src/Data/Type/Combinator.hs:130)
(src/Data/Type/Combinator.hs:131)
(src/Data/Type/Combinator.hs:133)
(src/Data/Type/Combinator.hs:140)
(src/Data/Type/Combinator.hs:144)
mapC (src/Data/Type/Combinator.hs:152)
Flip (src/Data/Type/Combinator.hs:159)
flipTestEquality1 (src/Data/Type/Combinator.hs:165)
(src/Data/Type/Combinator.hs:168)
(src/Data/Type/Combinator.hs:171)
(src/Data/Type/Combinator.hs:175)
mapFlip (src/Data/Type/Combinator.hs:179)
Cur (src/Data/Type/Combinator.hs:186)
(src/Data/Type/Combinator.hs:195)
(src/Data/Type/Combinator.hs:199)
mapCur (src/Data/Type/Combinator.hs:203)
Uncur (src/Data/Type/Combinator.hs:210)
(src/Data/Type/Combinator.hs:218)
(src/Data/Type/Combinator.hs:225)
(src/Data/Type/Combinator.hs:229)
mapUncur (src/Data/Type/Combinator.hs:233)
Cur3 (src/Data/Type/Combinator.hs:240)
(src/Data/Type/Combinator.hs:249)
(src/Data/Type/Combinator.hs:253)
mapCur3 (src/Data/Type/Combinator.hs:257)
Uncur3 (src/Data/Type/Combinator.hs:264)
(src/Data/Type/Combinator.hs:272)
(src/Data/Type/Combinator.hs:279)
(src/Data/Type/Combinator.hs:283)
mapUncur3 (src/Data/Type/Combinator.hs:287)
Join (src/Data/Type/Combinator.hs:294)
(src/Data/Type/Combinator.hs:303)
(src/Data/Type/Combinator.hs:306)
(src/Data/Type/Combinator.hs:309)
(src/Data/Type/Combinator.hs:314)
(src/Data/Type/Combinator.hs:318)
mapJoin (src/Data/Type/Combinator.hs:322)
Conj (src/Data/Type/Combinator.hs:327)
LL (src/Data/Type/Combinator.hs:337)
RR (src/Data/Type/Combinator.hs:342)
2% ( 1 / 40) in 'Data.Type.Conjunction'
Missing documentation for:
:&: (src/Data/Type/Conjunction.hs:43)
(src/Data/Type/Conjunction.hs:52)
(src/Data/Type/Conjunction.hs:55)
(src/Data/Type/Conjunction.hs:58)
fanFst (src/Data/Type/Conjunction.hs:64)
fanSnd (src/Data/Type/Conjunction.hs:67)
.&. (src/Data/Type/Conjunction.hs:70)
fanFirst (src/Data/Type/Conjunction.hs:74)
uncurryFan (src/Data/Type/Conjunction.hs:77)
curryFan (src/Data/Type/Conjunction.hs:80)
(src/Data/Type/Conjunction.hs:83)
(src/Data/Type/Conjunction.hs:86)
(src/Data/Type/Conjunction.hs:89)
(src/Data/Type/Conjunction.hs:92)
(src/Data/Type/Conjunction.hs:95)
(src/Data/Type/Conjunction.hs:98)
:*: (src/Data/Type/Conjunction.hs:106)
(src/Data/Type/Conjunction.hs:115)
(src/Data/Type/Conjunction.hs:118)
(src/Data/Type/Conjunction.hs:121)
parFst (src/Data/Type/Conjunction.hs:127)
parSnd (src/Data/Type/Conjunction.hs:130)
uncurryPar (src/Data/Type/Conjunction.hs:133)
curryPar (src/Data/Type/Conjunction.hs:136)
(src/Data/Type/Conjunction.hs:139)
(src/Data/Type/Conjunction.hs:142)
(src/Data/Type/Conjunction.hs:145)
(src/Data/Type/Conjunction.hs:148)
(src/Data/Type/Conjunction.hs:151)
(src/Data/Type/Conjunction.hs:154)
_fst (src/Data/Type/Conjunction.hs:159)
_snd (src/Data/Type/Conjunction.hs:162)
(src/Data/Type/Conjunction.hs:170)
(src/Data/Type/Conjunction.hs:177)
:&&: (src/Data/Type/Conjunction.hs:185)
(src/Data/Type/Conjunction.hs:189)
(src/Data/Type/Conjunction.hs:195)
(src/Data/Type/Conjunction.hs:200)
exConjEq (src/Data/Type/Conjunction.hs:206)
5% ( 1 / 22) in 'Data.Type.Index'
Missing documentation for:
Index (src/Data/Type/Index.hs:40)
(src/Data/Type/Index.hs:48)
(src/Data/Type/Index.hs:49)
(src/Data/Type/Index.hs:50)
(src/Data/Type/Index.hs:52)
(src/Data/Type/Index.hs:62)
elimIndex (src/Data/Type/Index.hs:71)
ixNil (src/Data/Type/Index.hs:79)
onIxPred (src/Data/Type/Index.hs:82)
∈ (src/Data/Type/Index.hs:87)
Elem (src/Data/Type/Index.hs:90)
(src/Data/Type/Index.hs:93)
(src/Data/Type/Index.hs:96)
(src/Data/Type/Index.hs:99)
(src/Data/Type/Index.hs:104)
Every (src/Data/Type/Index.hs:108)
(src/Data/Type/Index.hs:112)
(src/Data/Type/Index.hs:116)
Every2 (src/Data/Type/Index.hs:122)
(src/Data/Type/Index.hs:126)
(src/Data/Type/Index.hs:129)
10% ( 2 / 21) in 'Data.Type.Sum'
Missing documentation for:
Sum (src/Data/Type/Sum.hs:42)
(src/Data/Type/Sum.hs:53)
(src/Data/Type/Sum.hs:62)
(src/Data/Type/Sum.hs:71)
(src/Data/Type/Sum.hs:78)
decomp (src/Data/Type/Sum.hs:93)
injectSum (src/Data/Type/Sum.hs:98)
inj (src/Data/Type/Sum.hs:103)
prj (src/Data/Type/Sum.hs:106)
index (src/Data/Type/Sum.hs:109)
elimSum (src/Data/Type/Sum.hs:118)
(src/Data/Type/Sum.hs:128)
(src/Data/Type/Sum.hs:133)
(src/Data/Type/Sum.hs:138)
(src/Data/Type/Sum.hs:143)
(src/Data/Type/Sum.hs:148)
(src/Data/Type/Sum.hs:153)
(src/Data/Type/Sum.hs:158)
(src/Data/Type/Sum.hs:164)
71% ( 10 / 14) in 'Data.Type.Sum.Lifted'
Missing documentation for:
FSum (src/Data/Type/Sum/Lifted.hs:35)
(src/Data/Type/Sum/Lifted.hs:74)
(src/Data/Type/Sum/Lifted.hs:79)
(src/Data/Type/Sum/Lifted.hs:84)
4% ( 1 / 26) in 'Data.Type.Disjunction'
Missing documentation for:
:|: (src/Data/Type/Disjunction.hs:43)
(src/Data/Type/Disjunction.hs:53)
(src/Data/Type/Disjunction.hs:62)
(src/Data/Type/Disjunction.hs:71)
(src/Data/Type/Disjunction.hs:78)
>|< (src/Data/Type/Disjunction.hs:89)
(src/Data/Type/Disjunction.hs:95)
(src/Data/Type/Disjunction.hs:100)
(src/Data/Type/Disjunction.hs:105)
(src/Data/Type/Disjunction.hs:110)
(src/Data/Type/Disjunction.hs:115)
:+: (src/Data/Type/Disjunction.hs:125)
(src/Data/Type/Disjunction.hs:134)
(src/Data/Type/Disjunction.hs:141)
(src/Data/Type/Disjunction.hs:148)
(src/Data/Type/Disjunction.hs:155)
>+< (src/Data/Type/Disjunction.hs:178)
(src/Data/Type/Disjunction.hs:184)
(src/Data/Type/Disjunction.hs:188)
(src/Data/Type/Disjunction.hs:192)
(src/Data/Type/Disjunction.hs:197)
(src/Data/Type/Disjunction.hs:202)
(src/Data/Type/Disjunction.hs:207)
(src/Data/Type/Disjunction.hs:212)
(src/Data/Type/Disjunction.hs:216)
33% ( 3 / 9) in 'Data.Type.Option'
Missing documentation for:
Option (src/Data/Type/Option.hs:37)
(src/Data/Type/Option.hs:61)
(src/Data/Type/Option.hs:66)
(src/Data/Type/Option.hs:71)
(src/Data/Type/Option.hs:74)
(src/Data/Type/Option.hs:78)
69% ( 18 / 26) in 'Data.Type.Product.Lifted'
Missing documentation for:
FProd (src/Data/Type/Product/Lifted.hs:39)
headF (src/Data/Type/Product/Lifted.hs:69)
tailF (src/Data/Type/Product/Lifted.hs:72)
uncurryF (src/Data/Type/Product/Lifted.hs:107)
curryF (src/Data/Type/Product/Lifted.hs:110)
indexF (src/Data/Type/Product/Lifted.hs:113)
(src/Data/Type/Product/Lifted.hs:163)
(src/Data/Type/Product/Lifted.hs:166)
Warning: Type.Family.Bool: Could not find documentation for exported module: Exports
20% ( 1 / 5) in 'Type.Family.Bool'
Missing documentation for:
BoolC (src/Type/Family/Bool.hs:38)
==> (src/Type/Family/Bool.hs:42)
<==> (src/Type/Family/Bool.hs:45)
^^ (src/Type/Family/Bool.hs:48)
5% ( 2 / 39) in 'Type.Family.Nat'
Missing documentation for:
N (src/Type/Family/Nat.hs:39)
fromInt (src/Type/Family/Nat.hs:44)
IsZero (src/Type/Family/Nat.hs:50)
zeroCong (src/Type/Family/Nat.hs:54)
zNotS (src/Type/Family/Nat.hs:57)
NatEq (src/Type/Family/Nat.hs:60)
Iota (src/Type/Family/Nat.hs:67)
iotaCong (src/Type/Family/Nat.hs:71)
Pred (src/Type/Family/Nat.hs:74)
Pos (src/Type/Family/Nat.hs:77)
predCong (src/Type/Family/Nat.hs:79)
+ (src/Type/Family/Nat.hs:82)
AddW (src/Type/Family/Nat.hs:87)
addCong (src/Type/Family/Nat.hs:92)
* (src/Type/Family/Nat.hs:95)
MulW (src/Type/Family/Nat.hs:100)
mulCong (src/Type/Family/Nat.hs:105)
^ (src/Type/Family/Nat.hs:108)
expCong (src/Type/Family/Nat.hs:113)
Len (src/Type/Family/Nat.hs:116)
lenCong (src/Type/Family/Nat.hs:120)
Ix (src/Type/Family/Nat.hs:123)
ixCong (src/Type/Family/Nat.hs:127)
< (src/Type/Family/Nat.hs:130)
<= (src/Type/Family/Nat.hs:137)
> (src/Type/Family/Nat.hs:140)
>= (src/Type/Family/Nat.hs:147)
N1 (src/Type/Family/Nat.hs:152)
N2 (src/Type/Family/Nat.hs:153)
N3 (src/Type/Family/Nat.hs:154)
N4 (src/Type/Family/Nat.hs:155)
N5 (src/Type/Family/Nat.hs:156)
N6 (src/Type/Family/Nat.hs:157)
N7 (src/Type/Family/Nat.hs:158)
N8 (src/Type/Family/Nat.hs:159)
N9 (src/Type/Family/Nat.hs:160)
N10 (src/Type/Family/Nat.hs:161)
5% ( 1 / 21) in 'Data.Type.Boolean'
Missing documentation for:
Boolean (src/Data/Type/Boolean.hs:37)
(src/Data/Type/Boolean.hs:45)
(src/Data/Type/Boolean.hs:46)
(src/Data/Type/Boolean.hs:47)
(src/Data/Type/Boolean.hs:49)
if' (src/Data/Type/Boolean.hs:58)
.? (src/Data/Type/Boolean.hs:63)
not' (src/Data/Type/Boolean.hs:67)
.|| (src/Data/Type/Boolean.hs:70)
.&& (src/Data/Type/Boolean.hs:75)
.^^ (src/Data/Type/Boolean.hs:80)
==> (src/Data/Type/Boolean.hs:85)
<==> (src/Data/Type/Boolean.hs:90)
BoolEquality (src/Data/Type/Boolean.hs:95)
.== (src/Data/Type/Boolean.hs:98)
(src/Data/Type/Boolean.hs:102)
(src/Data/Type/Boolean.hs:105)
(src/Data/Type/Boolean.hs:108)
(src/Data/Type/Boolean.hs:111)
toBool (src/Data/Type/Boolean.hs:114)
21% ( 5 / 24) in 'Data.Type.Nat'
Missing documentation for:
Nat (src/Data/Type/Nat.hs:41)
(src/Data/Type/Nat.hs:49)
(src/Data/Type/Nat.hs:50)
(src/Data/Type/Nat.hs:51)
(src/Data/Type/Nat.hs:53)
(src/Data/Type/Nat.hs:80)
(src/Data/Type/Nat.hs:89)
pred' (src/Data/Type/Nat.hs:98)
onNatPred (src/Data/Type/Nat.hs:101)
_Z (src/Data/Type/Nat.hs:104)
_S (src/Data/Type/Nat.hs:107)
_s (src/Data/Type/Nat.hs:110)
_ZneS (src/Data/Type/Nat.hs:113)
addS (src/Data/Type/Nat.hs:124)
.+ (src/Data/Type/Nat.hs:130)
.* (src/Data/Type/Nat.hs:136)
.^ (src/Data/Type/Nat.hs:142)
elimNat (src/Data/Type/Nat.hs:148)
natVal (src/Data/Type/Nat.hs:153)
8% ( 1 / 12) in 'Data.Type.Length'
Missing documentation for:
Length (src/Data/Type/Length.hs:41)
(src/Data/Type/Length.hs:49)
(src/Data/Type/Length.hs:50)
(src/Data/Type/Length.hs:51)
(src/Data/Type/Length.hs:53)
(src/Data/Type/Length.hs:63)
(src/Data/Type/Length.hs:66)
(src/Data/Type/Length.hs:70)
elimLength (src/Data/Type/Length.hs:83)
lOdd (src/Data/Type/Length.hs:91)
lEven (src/Data/Type/Length.hs:91)
38% ( 6 / 16) in 'Data.Type.Fin'
Missing documentation for:
Fin (src/Data/Type/Fin.hs:41)
(src/Data/Type/Fin.hs:49)
(src/Data/Type/Fin.hs:50)
(src/Data/Type/Fin.hs:51)
(src/Data/Type/Fin.hs:53)
(src/Data/Type/Fin.hs:63)
(src/Data/Type/Fin.hs:71)
elimFin (src/Data/Type/Fin.hs:77)
fin (src/Data/Type/Fin.hs:90)
weaken (src/Data/Type/Fin.hs:99)
11% ( 2 / 18) in 'Data.Type.Fin.Indexed'
Missing documentation for:
IFin (src/Data/Type/Fin/Indexed.hs:43)
(src/Data/Type/Fin/Indexed.hs:51)
(src/Data/Type/Fin/Indexed.hs:52)
(src/Data/Type/Fin/Indexed.hs:53)
(src/Data/Type/Fin/Indexed.hs:55)
(src/Data/Type/Fin/Indexed.hs:56)
(src/Data/Type/Fin/Indexed.hs:57)
(src/Data/Type/Fin/Indexed.hs:59)
LessEq (src/Data/Type/Fin/Indexed.hs:69)
(src/Data/Type/Fin/Indexed.hs:73)
(src/Data/Type/Fin/Indexed.hs:77)
ifinZ (src/Data/Type/Fin/Indexed.hs:83)
weaken (src/Data/Type/Fin/Indexed.hs:86)
ifinNat (src/Data/Type/Fin/Indexed.hs:91)
ifinVal (src/Data/Type/Fin/Indexed.hs:96)
onIFinPred (src/Data/Type/Fin/Indexed.hs:99)
0% ( 0 / 8) in 'Data.Type.Nat.Inequality'
Missing documentation for:
Module header
NatLT (src/Data/Type/Nat/Inequality.hs:23)
NatEQ (src/Data/Type/Nat/Inequality.hs:28)
NatGT (src/Data/Type/Nat/Inequality.hs:33)
(src/Data/Type/Nat/Inequality.hs:38)
(src/Data/Type/Nat/Inequality.hs:44)
(src/Data/Type/Nat/Inequality.hs:50)
natCompare (src/Data/Type/Nat/Inequality.hs:56)
23% ( 10 / 44) in 'Data.Type.Product'
Missing documentation for:
Prod (src/Data/Type/Product.hs:54)
(src/Data/Type/Product.hs:66)
(src/Data/Type/Product.hs:73)
(src/Data/Type/Product.hs:80)
(src/Data/Type/Product.hs:88)
(src/Data/Type/Product.hs:100)
(src/Data/Type/Product.hs:113)
head' (src/Data/Type/Product.hs:147)
tail' (src/Data/Type/Product.hs:150)
reverse' (src/Data/Type/Product.hs:165)
append' (src/Data/Type/Product.hs:170)
lookupPar (src/Data/Type/Product.hs:182)
permute (src/Data/Type/Product.hs:187)
permute' (src/Data/Type/Product.hs:190)
elimProd (src/Data/Type/Product.hs:218)
onHead' (src/Data/Type/Product.hs:223)
onTail' (src/Data/Type/Product.hs:226)
uncurry' (src/Data/Type/Product.hs:229)
curry' (src/Data/Type/Product.hs:232)
index (src/Data/Type/Product.hs:235)
select (src/Data/Type/Product.hs:240)
indices (src/Data/Type/Product.hs:245)
indices' (src/Data/Type/Product.hs:248)
(src/Data/Type/Product.hs:254)
(src/Data/Type/Product.hs:259)
(src/Data/Type/Product.hs:264)
(src/Data/Type/Product.hs:269)
(src/Data/Type/Product.hs:274)
(src/Data/Type/Product.hs:279)
(src/Data/Type/Product.hs:284)
Witnesses (src/Data/Type/Product.hs:302)
(src/Data/Type/Product.hs:306)
(src/Data/Type/Product.hs:309)
toList (src/Data/Type/Product.hs:313)
Warning: Data.Type.Subset: Could not find documentation for exported module: Exports
9% ( 1 / 11) in 'Data.Type.Subset'
Missing documentation for:
Subset (src/Data/Type/Subset.hs:45)
subNil (src/Data/Type/Subset.hs:47)
⊆ (src/Data/Type/Subset.hs:52)
subRefl (src/Data/Type/Subset.hs:55)
subTrans (src/Data/Type/Subset.hs:64)
subProd (src/Data/Type/Subset.hs:67)
subSum (src/Data/Type/Subset.hs:72)
subIx (src/Data/Type/Subset.hs:78)
subExt (src/Data/Type/Subset.hs:85)
subExtBy (src/Data/Type/Subset.hs:88)
4% ( 1 / 25) in 'Data.Type.Remove'
Missing documentation for:
Remove (src/Data/Type/Remove.hs:46)
(src/Data/Type/Remove.hs:55)
(src/Data/Type/Remove.hs:56)
(src/Data/Type/Remove.hs:57)
(src/Data/Type/Remove.hs:59)
(src/Data/Type/Remove.hs:60)
(src/Data/Type/Remove.hs:61)
(src/Data/Type/Remove.hs:63)
(src/Data/Type/Remove.hs:64)
(src/Data/Type/Remove.hs:65)
(src/Data/Type/Remove.hs:67)
(src/Data/Type/Remove.hs:77)
remLen (src/Data/Type/Remove.hs:86)
elimRemove (src/Data/Type/Remove.hs:91)
remIx (src/Data/Type/Remove.hs:99)
remSub (src/Data/Type/Remove.hs:104)
ixRem (src/Data/Type/Remove.hs:112)
remProd (src/Data/Type/Remove.hs:117)
remSum (src/Data/Type/Remove.hs:122)
Without (src/Data/Type/Remove.hs:131)
(src/Data/Type/Remove.hs:134)
(src/Data/Type/Remove.hs:137)
(src/Data/Type/Remove.hs:140)
(src/Data/Type/Remove.hs:145)
8% ( 1 / 12) in 'Data.Type.Difference'
Missing documentation for:
Difference (src/Data/Type/Difference.hs:43)
diffLen (src/Data/Type/Difference.hs:50)
(src/Data/Type/Difference.hs:85)
elimDifference (src/Data/Type/Difference.hs:92)
diffProd (src/Data/Type/Difference.hs:125)
diffSum (src/Data/Type/Difference.hs:132)
WithoutAll (src/Data/Type/Difference.hs:139)
(src/Data/Type/Difference.hs:142)
(src/Data/Type/Difference.hs:145)
(src/Data/Type/Difference.hs:148)
(src/Data/Type/Difference.hs:153)
2% ( 1 / 60) in 'Data.Type.Vector'
Missing documentation for:
VecT (src/Data/Type/Vector.hs:58)
*: (src/Data/Type/Vector.hs:63)
elimVecT (src/Data/Type/Vector.hs:67)
elimV (src/Data/Type/Vector.hs:75)
Vec (src/Data/Type/Vector.hs:81)
:+ (src/Data/Type/Vector.hs:84)
+: (src/Data/Type/Vector.hs:87)
.++ (src/Data/Type/Vector.hs:95)
vrep (src/Data/Type/Vector.hs:101)
head' (src/Data/Type/Vector.hs:109)
tail' (src/Data/Type/Vector.hs:112)
onTail (src/Data/Type/Vector.hs:115)
vDel (src/Data/Type/Vector.hs:118)
imap (src/Data/Type/Vector.hs:123)
ifoldMap (src/Data/Type/Vector.hs:128)
itraverse (src/Data/Type/Vector.hs:133)
index (src/Data/Type/Vector.hs:138)
index' (src/Data/Type/Vector.hs:143)
vmap (src/Data/Type/Vector.hs:146)
vap (src/Data/Type/Vector.hs:151)
vfoldr (src/Data/Type/Vector.hs:157)
vfoldMap' (src/Data/Type/Vector.hs:162)
vfoldMap (src/Data/Type/Vector.hs:168)
withVecT (src/Data/Type/Vector.hs:173)
withV (src/Data/Type/Vector.hs:178)
findV (src/Data/Type/Vector.hs:181)
findVecT (src/Data/Type/Vector.hs:184)
(src/Data/Type/Vector.hs:191)
(src/Data/Type/Vector.hs:196)
(src/Data/Type/Vector.hs:201)
(src/Data/Type/Vector.hs:206)
(src/Data/Type/Vector.hs:209)
(src/Data/Type/Vector.hs:213)
(src/Data/Type/Vector.hs:216)
(src/Data/Type/Vector.hs:221)
(src/Data/Type/Vector.hs:234)
(src/Data/Type/Vector.hs:239)
M (src/Data/Type/Vector.hs:248)
(src/Data/Type/Vector.hs:254)
Matrix (src/Data/Type/Vector.hs:262)
vgen_ (src/Data/Type/Vector.hs:266)
vgen (src/Data/Type/Vector.hs:269)
mgen_ (src/Data/Type/Vector.hs:274)
mgen (src/Data/Type/Vector.hs:277)
onMatrix (src/Data/Type/Vector.hs:282)
diagonal (src/Data/Type/Vector.hs:285)
vtranspose (src/Data/Type/Vector.hs:288)
transpose (src/Data/Type/Vector.hs:291)
m0 (src/Data/Type/Vector.hs:294)
m1 (src/Data/Type/Vector.hs:297)
m2 (src/Data/Type/Vector.hs:300)
m3 (src/Data/Type/Vector.hs:303)
m4 (src/Data/Type/Vector.hs:306)
ppVec (src/Data/Type/Vector.hs:309)
ppMatrix (src/Data/Type/Vector.hs:312)
ppMatrix' (src/Data/Type/Vector.hs:315)
mzipWith (src/Data/Type/Vector.hs:326)
zipLines (src/Data/Type/Vector.hs:333)
compose (src/Data/Type/Vector.hs:347)
0% ( 0 / 20) in 'Data.Type.Product.Env'
Missing documentation for:
Module header
Env (src/Data/Type/Product/Env.hs:29)
Member (src/Data/Type/Product/Env.hs:33)
member' (src/Data/Type/Product/Env.hs:37)
Lookup (src/Data/Type/Product/Env.hs:42)
lookup' (src/Data/Type/Product/Env.hs:46)
Insert (src/Data/Type/Product/Env.hs:53)
insert' (src/Data/Type/Product/Env.hs:57)
Delete (src/Data/Type/Product/Env.hs:64)
delete' (src/Data/Type/Product/Env.hs:68)
Difference (src/Data/Type/Product/Env.hs:75)
difference' (src/Data/Type/Product/Env.hs:79)
.\\ (src/Data/Type/Product/Env.hs:84)
Union (src/Data/Type/Product/Env.hs:87)
union' (src/Data/Type/Product/Env.hs:91)
Intersection (src/Data/Type/Product/Env.hs:96)
intersection' (src/Data/Type/Product/Env.hs:100)
(src/Data/Type/Product/Env.hs:107)
(src/Data/Type/Product/Env.hs:110)
ixList (src/Data/Type/Product/Env.hs:113)
Warning: Type.Family.Constraint: could not find link destinations for:
~
Warning: Type.Class.Known: could not find link destinations for:
~
Warning: Type.Class.Witness: could not find link destinations for:
~
Warning: Type.Family.Tuple: could not find link destinations for:
~
Warning: Type.Family.List: could not find link destinations for:
~
Warning: Data.Type.Index.Trans: could not find link destinations for:
~
Warning: Type.Family.Either: could not find link destinations for:
~
Warning: Type.Family.Maybe: could not find link destinations for:
~
Warning: Data.Type.Combinator: could not find link destinations for:
~
Warning: Data.Type.Conjunction: could not find link destinations for:
~
Warning: Data.Type.Disjunction: could not find link destinations for:
~
Warning: Data.Type.Option: could not find link destinations for:
~
Warning: Data.Type.Product.Lifted: could not find link destinations for:
~
Warning: Type.Family.Nat: could not find link destinations for:
~
Warning: Data.Type.Boolean: could not find link destinations for:
~
Warning: Data.Type.Nat: could not find link destinations for:
~
Warning: Data.Type.Length: could not find link destinations for:
~
Warning: Data.Type.Fin: could not find link destinations for:
~
Warning: Data.Type.Fin.Indexed: could not find link destinations for:
~
Warning: Data.Type.Nat.Inequality: could not find link destinations for:
~
Warning: Data.Type.Product: could not find link destinations for:
~
Warning: Data.Type.Remove: could not find link destinations for:
~
Warning: Data.Type.Difference: could not find link destinations for:
~
Documentation created: dist/doc/html/type-combinators/index.html,
dist/doc/html/type-combinators/type-combinators.txt
Creating package registration file:
/tmp/pkgConf-type-combinators-0.2.41315634022635723058.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-8.0.1.20160521/type-combinators-0.2.4.3-EyU0Q5tzlEK5bb9byDWJrt
Registering type-combinators-0.2.4.3...
cabal: Leaving directory '/tmp/cabal-tmp-6009/type-combinators-0.2.4.3'
Installed type-combinators-0.2.4.3
Test log
No test log was submitted for this report.