Build #1 for type-combinators-0.2.2.0
| Package | type-combinators-0.2.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-01-20 01:15:10.225313 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.8.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Downloading type-combinators-0.2.2.0...
Configuring type-combinators-0.2.2.0...
Building type-combinators-0.2.2.0...
Preprocessing library type-combinators-0.2.2.0...
[ 1 of 30] Compiling Type.Family.Monoid ( src/Type/Family/Monoid.hs, dist/build/Type/Family/Monoid.o )
[ 2 of 30] Compiling Type.Family.Symbol ( src/Type/Family/Symbol.hs, dist/build/Type/Family/Symbol.o )
[ 3 of 30] Compiling Type.Family.Constraint ( src/Type/Family/Constraint.hs, dist/build/Type/Family/Constraint.o )
[ 4 of 30] Compiling Type.Class.Known ( src/Type/Class/Known.hs, dist/build/Type/Class/Known.o )
[ 5 of 30] Compiling Type.Class.Witness ( src/Type/Class/Witness.hs, dist/build/Type/Class/Witness.o )
[ 6 of 30] Compiling Type.Family.Tuple ( src/Type/Family/Tuple.hs, dist/build/Type/Family/Tuple.o )
[ 7 of 30] Compiling Type.Family.Either ( src/Type/Family/Either.hs, dist/build/Type/Family/Either.o )
[ 8 of 30] Compiling Type.Family.List ( src/Type/Family/List.hs, dist/build/Type/Family/List.o )
[ 9 of 30] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/build/Type/Family/Maybe.o )
[10 of 30] Compiling Type.Family.Bool ( src/Type/Family/Bool.hs, dist/build/Type/Family/Bool.o )
[11 of 30] Compiling Type.Family.Nat ( src/Type/Family/Nat.hs, dist/build/Type/Family/Nat.o )
[12 of 30] Compiling Data.Type.Quantifier ( src/Data/Type/Quantifier.hs, dist/build/Data/Type/Quantifier.o )
[13 of 30] Compiling Type.Class.Higher ( src/Type/Class/Higher.hs, dist/build/Type/Class/Higher.o )
[14 of 30] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/build/Data/Type/Option.o )
[15 of 30] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/build/Data/Type/Combinator.o )
[16 of 30] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/build/Data/Type/Disjunction.o )
[17 of 30] Compiling Data.Type.Index ( src/Data/Type/Index.hs, dist/build/Data/Type/Index.o )
[18 of 30] Compiling Data.Type.Product.Lifted ( src/Data/Type/Product/Lifted.hs, dist/build/Data/Type/Product/Lifted.o )
[19 of 30] Compiling Data.Type.Sum.Lifted ( src/Data/Type/Sum/Lifted.hs, dist/build/Data/Type/Sum/Lifted.o )
[20 of 30] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/build/Data/Type/Length.o )
[21 of 30] Compiling Data.Type.Sum ( src/Data/Type/Sum.hs, dist/build/Data/Type/Sum.o )
[22 of 30] Compiling Data.Type.Boolean ( src/Data/Type/Boolean.hs, dist/build/Data/Type/Boolean.o )
[23 of 30] Compiling Data.Type.Conjunction ( src/Data/Type/Conjunction.hs, dist/build/Data/Type/Conjunction.o )
src/Data/Type/Conjunction.hs:39:1: Warning:
The import of ‘Data.Type.Boolean’ is redundant
except perhaps to import instances from ‘Data.Type.Boolean’
To import instances alone, use: import Data.Type.Boolean()
[24 of 30] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/build/Data/Type/Product.o )
[25 of 30] Compiling Data.Type.Nat ( src/Data/Type/Nat.hs, dist/build/Data/Type/Nat.o )
[26 of 30] Compiling Data.Type.Fin ( src/Data/Type/Fin.hs, dist/build/Data/Type/Fin.o )
[27 of 30] Compiling Data.Type.Fin.Indexed ( src/Data/Type/Fin/Indexed.hs, dist/build/Data/Type/Fin/Indexed.o )
[28 of 30] Compiling Data.Type.Nat.Inequality ( src/Data/Type/Nat/Inequality.hs, dist/build/Data/Type/Nat/Inequality.o )
[29 of 30] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/build/Data/Type/Vector.o )
[30 of 30] Compiling Data.Type.Sym ( src/Data/Type/Sym.hs, dist/build/Data/Type/Sym.o )
In-place registering type-combinators-0.2.2.0...
Running Haddock for type-combinators-0.2.2.0...
Running hscolour for type-combinators-0.2.2.0...
Preprocessing library type-combinators-0.2.2.0...
Preprocessing library type-combinators-0.2.2.0...
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)
50% ( 1 / 2) in 'Type.Family.Symbol'
Missing documentation for:
Module header
29% ( 2 / 7) 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)
Constraint
67% ( 2 / 3) in 'Type.Class.Known'
Missing documentation for:
(src/Type/Class/Known.hs:47)
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)
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)
16% ( 3 / 19) in 'Type.Family.Either'
Missing documentation for:
IsLeft (src/Type/Family/Either.hs:39)
IsRight (src/Type/Family/Either.hs:43)
leftCong (src/Type/Family/Either.hs:47)
rightCong (src/Type/Family/Either.hs:50)
leftNotRight (src/Type/Family/Either.hs:53)
eitherFmapCong (src/Type/Family/Either.hs:62)
<&> (src/Type/Family/Either.hs:65)
eitherPamfCong (src/Type/Family/Either.hs:70)
<*> (src/Type/Family/Either.hs:73)
eitherApCong (src/Type/Family/Either.hs:80)
<|> (src/Type/Family/Either.hs:83)
eitherAltCong (src/Type/Family/Either.hs:88)
FromLeft (src/Type/Family/Either.hs:91)
FromRight (src/Type/Family/Either.hs:94)
fromLeftCong (src/Type/Family/Either.hs:97)
fromRightCong (src/Type/Family/Either.hs:100)
21% ( 7 / 34) in 'Type.Family.List'
Missing documentation for:
Ø (src/Type/Family/List.hs:36)
:< (src/Type/Family/List.hs:37)
Null (src/Type/Family/List.hs:45)
nullCong (src/Type/Family/List.hs:49)
nilNotCons (src/Type/Family/List.hs:52)
appendCong (src/Type/Family/List.hs:61)
Concat (src/Type/Family/List.hs:64)
concatCong (src/Type/Family/List.hs:68)
snocCong (src/Type/Family/List.hs:81)
Reverse (src/Type/Family/List.hs:84)
reverseCong (src/Type/Family/List.hs:88)
Head (src/Type/Family/List.hs:95)
Tail (src/Type/Family/List.hs:98)
Init (src/Type/Family/List.hs:101)
Init' (src/Type/Family/List.hs:104)
initCong (src/Type/Family/List.hs:108)
Last (src/Type/Family/List.hs:111)
Last' (src/Type/Family/List.hs:114)
lastCong (src/Type/Family/List.hs:118)
listMapCong (src/Type/Family/List.hs:139)
<*> (src/Type/Family/List.hs:149)
Fsts (src/Type/Family/List.hs:158)
Snds (src/Type/Family/List.hs:162)
Zip (src/Type/Family/List.hs:166)
Fsts3 (src/Type/Family/List.hs:170)
Snds3 (src/Type/Family/List.hs:174)
Thds3 (src/Type/Family/List.hs:178)
20% ( 3 / 15) in 'Type.Family.Maybe'
Missing documentation for:
IsNothing (src/Type/Family/Maybe.hs:39)
nothingCong (src/Type/Family/Maybe.hs:43)
nothingNotJust (src/Type/Family/Maybe.hs:46)
maybeFmapCong (src/Type/Family/Maybe.hs:55)
<&> (src/Type/Family/Maybe.hs:58)
maybePamfCong (src/Type/Family/Maybe.hs:63)
<*> (src/Type/Family/Maybe.hs:66)
maybeApCong (src/Type/Family/Maybe.hs:72)
<|> (src/Type/Family/Maybe.hs:75)
maybeAltCong (src/Type/Family/Maybe.hs:81)
FromJust (src/Type/Family/Maybe.hs:84)
fromJustCong (src/Type/Family/Maybe.hs:87)
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:37)
==> (src/Type/Family/Bool.hs:41)
<==> (src/Type/Family/Bool.hs:44)
^^ (src/Type/Family/Bool.hs:47)
6% ( 2 / 36) in 'Type.Family.Nat'
Missing documentation for:
N (src/Type/Family/Nat.hs:38)
fromInt (src/Type/Family/Nat.hs:43)
IsZero (src/Type/Family/Nat.hs:49)
zeroCong (src/Type/Family/Nat.hs:53)
zNotS (src/Type/Family/Nat.hs:56)
NatEq (src/Type/Family/Nat.hs:59)
Iota (src/Type/Family/Nat.hs:66)
iotaCong (src/Type/Family/Nat.hs:70)
Pred (src/Type/Family/Nat.hs:73)
predCong (src/Type/Family/Nat.hs:76)
+ (src/Type/Family/Nat.hs:79)
addCong (src/Type/Family/Nat.hs:84)
* (src/Type/Family/Nat.hs:87)
mulCong (src/Type/Family/Nat.hs:92)
^ (src/Type/Family/Nat.hs:95)
expCong (src/Type/Family/Nat.hs:100)
Len (src/Type/Family/Nat.hs:103)
lenCong (src/Type/Family/Nat.hs:107)
Ix (src/Type/Family/Nat.hs:110)
ixCong (src/Type/Family/Nat.hs:114)
< (src/Type/Family/Nat.hs:117)
<= (src/Type/Family/Nat.hs:124)
> (src/Type/Family/Nat.hs:127)
>= (src/Type/Family/Nat.hs:134)
N1 (src/Type/Family/Nat.hs:139)
N2 (src/Type/Family/Nat.hs:140)
N3 (src/Type/Family/Nat.hs:141)
N4 (src/Type/Family/Nat.hs:142)
N5 (src/Type/Family/Nat.hs:143)
N6 (src/Type/Family/Nat.hs:144)
N7 (src/Type/Family/Nat.hs:145)
N8 (src/Type/Family/Nat.hs:146)
N9 (src/Type/Family/Nat.hs:147)
N10 (src/Type/Family/Nat.hs:148)
6% ( 2 / 34) in 'Data.Type.Quantifier'
Missing documentation for:
Some (src/Data/Type/Quantifier.hs:38)
>>- (src/Data/Type/Quantifier.hs:58)
>-> (src/Data/Type/Quantifier.hs:62)
withSome (src/Data/Type/Quantifier.hs:66)
onSome (src/Data/Type/Quantifier.hs:69)
msome (src/Data/Type/Quantifier.hs:72)
>>=- (src/Data/Type/Quantifier.hs:75)
Some2 (src/Data/Type/Quantifier.hs:85)
some2 (src/Data/Type/Quantifier.hs:88)
>>-- (src/Data/Type/Quantifier.hs:91)
>--> (src/Data/Type/Quantifier.hs:95)
withSome2 (src/Data/Type/Quantifier.hs:99)
onSome2 (src/Data/Type/Quantifier.hs:102)
msome2 (src/Data/Type/Quantifier.hs:105)
>>=-- (src/Data/Type/Quantifier.hs:108)
Some3 (src/Data/Type/Quantifier.hs:118)
some3 (src/Data/Type/Quantifier.hs:121)
>>--- (src/Data/Type/Quantifier.hs:124)
>---> (src/Data/Type/Quantifier.hs:128)
withSome3 (src/Data/Type/Quantifier.hs:132)
onSome3 (src/Data/Type/Quantifier.hs:135)
msome3 (src/Data/Type/Quantifier.hs:138)
>>=--- (src/Data/Type/Quantifier.hs:141)
SomeC (src/Data/Type/Quantifier.hs:151)
someC (src/Data/Type/Quantifier.hs:154)
>>~ (src/Data/Type/Quantifier.hs:157)
msomeC (src/Data/Type/Quantifier.hs:161)
>>=~ (src/Data/Type/Quantifier.hs:164)
Every (src/Data/Type/Quantifier.hs:174)
Every2 (src/Data/Type/Quantifier.hs:177)
Every3 (src/Data/Type/Quantifier.hs:180)
EveryC (src/Data/Type/Quantifier.hs:183)
3% ( 1 / 33) in 'Type.Class.Higher'
Missing documentation for:
Eq1 (src/Type/Class/Higher.hs:34)
=#= (src/Type/Class/Higher.hs:41)
Eq2 (src/Type/Class/Higher.hs:45)
=##= (src/Type/Class/Higher.hs:52)
Eq3 (src/Type/Class/Higher.hs:56)
=###= (src/Type/Class/Higher.hs:63)
Ord1 (src/Type/Class/Higher.hs:71)
Ord2 (src/Type/Class/Higher.hs:85)
Ord3 (src/Type/Class/Higher.hs:99)
Show1 (src/Type/Class/Higher.hs:117)
shows1 (src/Type/Class/Higher.hs:124)
Show2 (src/Type/Class/Higher.hs:128)
shows2 (src/Type/Class/Higher.hs:135)
Show3 (src/Type/Class/Higher.hs:139)
shows3 (src/Type/Class/Higher.hs:146)
Read1 (src/Type/Class/Higher.hs:153)
reads1 (src/Type/Class/Higher.hs:156)
readMaybe1 (src/Type/Class/Higher.hs:159)
Read2 (src/Type/Class/Higher.hs:165)
reads2 (src/Type/Class/Higher.hs:168)
readMaybe2 (src/Type/Class/Higher.hs:171)
Read3 (src/Type/Class/Higher.hs:177)
reads3 (src/Type/Class/Higher.hs:180)
readMaybe3 (src/Type/Class/Higher.hs:183)
Functor1 (src/Type/Class/Higher.hs:192)
IxFunctor1 (src/Type/Class/Higher.hs:196)
Foldable1 (src/Type/Class/Higher.hs:203)
IxFoldable1 (src/Type/Class/Higher.hs:206)
Traversable1 (src/Type/Class/Higher.hs:213)
IxTraversable1 (src/Type/Class/Higher.hs:216)
Bifunctor1 (src/Type/Class/Higher.hs:223)
IxBifunctor1 (src/Type/Class/Higher.hs:229)
33% ( 3 / 9) in 'Data.Type.Option'
Missing documentation for:
Option (src/Data/Type/Option.hs:37)
(src/Data/Type/Option.hs:54)
(src/Data/Type/Option.hs:59)
(src/Data/Type/Option.hs:64)
(src/Data/Type/Option.hs:67)
(src/Data/Type/Option.hs:71)
2% ( 1 / 52) in 'Data.Type.Combinator'
Missing documentation for:
:.: (src/Data/Type/Combinator.hs:48)
(src/Data/Type/Combinator.hs:54)
(src/Data/Type/Combinator.hs:57)
(src/Data/Type/Combinator.hs:60)
(src/Data/Type/Combinator.hs:65)
(src/Data/Type/Combinator.hs:69)
(src/Data/Type/Combinator.hs:72)
I (src/Data/Type/Combinator.hs:79)
(src/Data/Type/Combinator.hs:86)
(src/Data/Type/Combinator.hs:90)
(src/Data/Type/Combinator.hs:93)
(src/Data/Type/Combinator.hs:97)
C (src/Data/Type/Combinator.hs:109)
(src/Data/Type/Combinator.hs:116)
(src/Data/Type/Combinator.hs:117)
(src/Data/Type/Combinator.hs:118)
(src/Data/Type/Combinator.hs:120)
(src/Data/Type/Combinator.hs:127)
(src/Data/Type/Combinator.hs:131)
mapC (src/Data/Type/Combinator.hs:139)
Flip (src/Data/Type/Combinator.hs:146)
flipTestEquality1 (src/Data/Type/Combinator.hs:152)
(src/Data/Type/Combinator.hs:155)
(src/Data/Type/Combinator.hs:158)
(src/Data/Type/Combinator.hs:162)
mapFlip (src/Data/Type/Combinator.hs:166)
Cur (src/Data/Type/Combinator.hs:173)
(src/Data/Type/Combinator.hs:182)
(src/Data/Type/Combinator.hs:186)
mapCur (src/Data/Type/Combinator.hs:190)
Uncur (src/Data/Type/Combinator.hs:197)
(src/Data/Type/Combinator.hs:205)
(src/Data/Type/Combinator.hs:212)
(src/Data/Type/Combinator.hs:216)
mapUncur (src/Data/Type/Combinator.hs:220)
Cur3 (src/Data/Type/Combinator.hs:227)
(src/Data/Type/Combinator.hs:236)
(src/Data/Type/Combinator.hs:240)
mapCur3 (src/Data/Type/Combinator.hs:244)
Uncur3 (src/Data/Type/Combinator.hs:251)
(src/Data/Type/Combinator.hs:259)
(src/Data/Type/Combinator.hs:266)
(src/Data/Type/Combinator.hs:270)
mapUncur3 (src/Data/Type/Combinator.hs:274)
Join (src/Data/Type/Combinator.hs:281)
(src/Data/Type/Combinator.hs:290)
(src/Data/Type/Combinator.hs:293)
(src/Data/Type/Combinator.hs:296)
(src/Data/Type/Combinator.hs:301)
(src/Data/Type/Combinator.hs:305)
mapJoin (src/Data/Type/Combinator.hs:309)
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:143)
(src/Data/Type/Disjunction.hs:152)
(src/Data/Type/Disjunction.hs:159)
>+< (src/Data/Type/Disjunction.hs:182)
(src/Data/Type/Disjunction.hs:188)
(src/Data/Type/Disjunction.hs:192)
(src/Data/Type/Disjunction.hs:196)
(src/Data/Type/Disjunction.hs:201)
(src/Data/Type/Disjunction.hs:206)
(src/Data/Type/Disjunction.hs:211)
(src/Data/Type/Disjunction.hs:216)
(src/Data/Type/Disjunction.hs:220)
6% ( 1 / 16) in 'Data.Type.Index'
Missing documentation for:
Index (src/Data/Type/Index.hs:38)
(src/Data/Type/Index.hs:46)
(src/Data/Type/Index.hs:47)
(src/Data/Type/Index.hs:48)
(src/Data/Type/Index.hs:50)
(src/Data/Type/Index.hs:60)
elimIndex (src/Data/Type/Index.hs:69)
ixNil (src/Data/Type/Index.hs:77)
onIxPred (src/Data/Type/Index.hs:80)
∈ (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:100)
(src/Data/Type/Index.hs:103)
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)
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)
9% ( 1 / 11) in 'Data.Type.Length'
Missing documentation for:
Length (src/Data/Type/Length.hs:37)
(src/Data/Type/Length.hs:45)
(src/Data/Type/Length.hs:46)
(src/Data/Type/Length.hs:47)
(src/Data/Type/Length.hs:49)
(src/Data/Type/Length.hs:59)
(src/Data/Type/Length.hs:62)
elimLength (src/Data/Type/Length.hs:66)
lOdd (src/Data/Type/Length.hs:74)
lEven (src/Data/Type/Length.hs:74)
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)
6% ( 1 / 16) in 'Data.Type.Boolean'
Missing documentation for:
Boolean (src/Data/Type/Boolean.hs:37)
(src/Data/Type/Boolean.hs:45)
(src/Da
src/Data/Type/Conjunction.hs:39:1: Warning:
The import of ‘Data.Type.Boolean’ is redundant
except perhaps to import instances from ‘Data.Type.Boolean’
To import instances alone, use: import Data.Type.Boolean()
ta/Type/Boolean.hs:46)
(src/Data/Type/Boolean.hs:47)
(src/Data/Type/Boolean.hs:49)
not' (src/Data/Type/Boolean.hs:58)
.|| (src/Data/Type/Boolean.hs:63)
.&& (src/Data/Type/Boolean.hs:69)
.^^ (src/Data/Type/Boolean.hs:75)
==> (src/Data/Type/Boolean.hs:79)
<==> (src/Data/Type/Boolean.hs:83)
BoolEquality (src/Data/Type/Boolean.hs:87)
(src/Data/Type/Boolean.hs:93)
(src/Data/Type/Boolean.hs:102)
(src/Data/Type/Boolean.hs:105)
3% ( 1 / 34) 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)
_fst (src/Data/Type/Conjunction.hs:154)
_snd (src/Data/Type/Conjunction.hs:157)
(src/Data/Type/Conjunction.hs:165)
(src/Data/Type/Conjunction.hs:172)
24% ( 10 / 41) in 'Data.Type.Product'
Missing documentation for:
Prod (src/Data/Type/Product.hs:53)
(src/Data/Type/Product.hs:65)
(src/Data/Type/Product.hs:74)
(src/Data/Type/Product.hs:83)
(src/Data/Type/Product.hs:91)
(src/Data/Type/Product.hs:103)
head' (src/Data/Type/Product.hs:137)
tail' (src/Data/Type/Product.hs:140)
reverse' (src/Data/Type/Product.hs:155)
append' (src/Data/Type/Product.hs:160)
lookup' (src/Data/Type/Product.hs:165)
lookupPar (src/Data/Type/Product.hs:170)
permute (src/Data/Type/Product.hs:175)
permute' (src/Data/Type/Product.hs:178)
elimProd (src/Data/Type/Product.hs:206)
onHead' (src/Data/Type/Product.hs:211)
onTail' (src/Data/Type/Product.hs:214)
uncurry' (src/Data/Type/Product.hs:217)
curry' (src/Data/Type/Product.hs:220)
index (src/Data/Type/Product.hs:223)
select (src/Data/Type/Product.hs:228)
(src/Data/Type/Product.hs:233)
(src/Data/Type/Product.hs:238)
(src/Data/Type/Product.hs:243)
(src/Data/Type/Product.hs:248)
(src/Data/Type/Product.hs:253)
(src/Data/Type/Product.hs:258)
(src/Data/Type/Product.hs:263)
(src/Data/Type/Product.hs:266)
(src/Data/Type/Product.hs:270)
(src/Data/Type/Product.hs:273)
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)
43% ( 6 / 14) in 'Data.Type.Fin'
Missing documentation for:
Fin (src/Data/Type/Fin.hs:40)
(src/Data/Type/Fin.hs:48)
(src/Data/Type/Fin.hs:49)
(src/Data/Type/Fin.hs:50)
(src/Data/Type/Fin.hs:52)
elimFin (src/Data/Type/Fin.hs:62)
fin (src/Data/Type/Fin.hs:75)
weaken (src/Data/Type/Fin.hs:84)
11% ( 2 / 18) in 'Data.Type.Fin.Indexed'
Missing documentation for:
IFin (src/Data/Type/Fin/Indexed.hs:42)
(src/Data/Type/Fin/Indexed.hs:50)
(src/Data/Type/Fin/Indexed.hs:51)
(src/Data/Type/Fin/Indexed.hs:52)
(src/Data/Type/Fin/Indexed.hs:54)
(src/Data/Type/Fin/Indexed.hs:55)
(src/Data/Type/Fin/Indexed.hs:56)
(src/Data/Type/Fin/Indexed.hs:58)
LessEq (src/Data/Type/Fin/Indexed.hs:68)
(src/Data/Type/Fin/Indexed.hs:72)
(src/Data/Type/Fin/Indexed.hs:76)
ifinZ (src/Data/Type/Fin/Indexed.hs:82)
weaken (src/Data/Type/Fin/Indexed.hs:85)
ifinNat (src/Data/Type/Fin/Indexed.hs:90)
ifinVal (src/Data/Type/Fin/Indexed.hs:95)
onIFinPred (src/Data/Type/Fin/Indexed.hs:98)
0% ( 0 / 8) in 'Data.Type.Nat.Inequality'
Missing documentation for:
Module header
NatLT (src/Data/Type/Nat/Inequality.hs:24)
NatEQ (src/Data/Type/Nat/Inequality.hs:29)
NatGT (src/Data/Type/Nat/Inequality.hs:34)
(src/Data/Type/Nat/Inequality.hs:39)
(src/Data/Type/Nat/Inequality.hs:45)
(src/Data/Type/Nat/Inequality.hs:51)
natCompare (src/Data/Type/Nat/Inequality.hs:57)
2% ( 1 / 54) in 'Data.Type.Vector'
Missing documentation for:
VT (src/Data/Type/Vector.hs:57)
elimVT (src/Data/Type/Vector.hs:62)
elimV (src/Data/Type/Vector.hs:70)
V (src/Data/Type/Vector.hs:76)
:+ (src/Data/Type/Vector.hs:78)
.++ (src/Data/Type/Vector.hs:85)
vrep (src/Data/Type/Vector.hs:91)
head' (src/Data/Type/Vector.hs:99)
tail' (src/Data/Type/Vector.hs:102)
onTail (src/Data/Type/Vector.hs:105)
vDel (src/Data/Type/Vector.hs:108)
imap (src/Data/Type/Vector.hs:113)
ifoldMap (src/Data/Type/Vector.hs:118)
itraverse (src/Data/Type/Vector.hs:123)
index (src/Data/Type/Vector.hs:128)
vmap (src/Data/Type/Vector.hs:133)
vap (src/Data/Type/Vector.hs:138)
vfoldr (src/Data/Type/Vector.hs:145)
vfoldMap' (src/Data/Type/Vector.hs:150)
vfoldMap (src/Data/Type/Vector.hs:156)
withVT (src/Data/Type/Vector.hs:161)
withV (src/Data/Type/Vector.hs:166)
findV (src/Data/Type/Vector.hs:169)
findVT (src/Data/Type/Vector.hs:172)
(src/Data/Type/Vector.hs:179)
(src/Data/Type/Vector.hs:182)
(src/Data/Type/Vector.hs:186)
(src/Data/Type/Vector.hs:189)
(src/Data/Type/Vector.hs:194)
(src/Data/Type/Vector.hs:207)
(src/Data/Type/Vector.hs:212)
M (src/Data/Type/Vector.hs:221)
(src/Data/Type/Vector.hs:227)
Matrix (src/Data/Type/Vector.hs:235)
vgen_ (src/Data/Type/Vector.hs:239)
vgen (src/Data/Type/Vector.hs:242)
mgen_ (src/Data/Type/Vector.hs:247)
mgen (src/Data/Type/Vector.hs:250)
onMatrix (src/Data/Type/Vector.hs:255)
diagonal (src/Data/Type/Vector.hs:258)
vtranspose (src/Data/Type/Vector.hs:261)
transpose (src/Data/Type/Vector.hs:264)
m0 (src/Data/Type/Vector.hs:267)
m1 (src/Data/Type/Vector.hs:270)
m2 (src/Data/Type/Vector.hs:273)
m3 (src/Data/Type/Vector.hs:276)
m4 (src/Data/Type/Vector.hs:279)
ppVec (src/Data/Type/Vector.hs:282)
ppMatrix (src/Data/Type/Vector.hs:285)
ppMatrix' (src/Data/Type/Vector.hs:288)
mzipWith (src/Data/Type/Vector.hs:299)
zipLines (src/Data/Type/Vector.hs:306)
compose (src/Data/Type/Vector.hs:320)
9% ( 1 / 11) in 'Data.Type.Sym'
Missing documentation for:
Sym (src/Data/Type/Sym.hs:40)
(src/Data/Type/Sym.hs:46)
(src/Data/Type/Sym.hs:51)
(src/Data/Type/Sym.hs:52)
(src/Data/Type/Sym.hs:53)
(src/Data/Type/Sym.hs:55)
(src/Data/Type/Sym.hs:58)
(src/Data/Type/Sym.hs:62)
(src/Data/Type/Sym.hs:66)
symbol (src/Data/Type/Sym.hs:69)
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.22145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-combinators-0.2.2.0-DFoVtV68hHA0YKl2VWbDRo
Registering type-combinators-0.2.2.0...
Installed type-combinators-0.2.2.0
Test log
No test log was submitted for this report.