Resolving dependencies...
Downloading type-combinators-0.1.0.0...
Configuring type-combinators-0.1.0.0...
Building type-combinators-0.1.0.0...
Preprocessing library type-combinators-0.1.0.0...
[ 1 of 21] Compiling Type.Family.Monoid ( src/Type/Family/Monoid.hs, dist/build/Type/Family/Monoid.o )
[ 2 of 21] Compiling Type.Family.Constraint ( src/Type/Family/Constraint.hs, dist/build/Type/Family/Constraint.o )
[ 3 of 21] Compiling Type.Family.List ( src/Type/Family/List.hs, dist/build/Type/Family/List.o )
[ 4 of 21] Compiling Type.Family.Nat  ( src/Type/Family/Nat.hs, dist/build/Type/Family/Nat.o )
[ 5 of 21] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/build/Type/Family/Maybe.o )
[ 6 of 21] Compiling Type.Family.Pair ( src/Type/Family/Pair.hs, dist/build/Type/Family/Pair.o )
[ 7 of 21] Compiling Type.Class.Known ( src/Type/Class/Known.hs, dist/build/Type/Class/Known.o )
[ 8 of 21] Compiling Type.Class.Witness ( src/Type/Class/Witness.hs, dist/build/Type/Class/Witness.o )
[ 9 of 21] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/build/Data/Type/Length.o )
[10 of 21] Compiling Type.Class.HFunctor ( src/Type/Class/HFunctor.hs, dist/build/Type/Class/HFunctor.o )
[11 of 21] Compiling Data.Type.Conjunction ( src/Data/Type/Conjunction.hs, dist/build/Data/Type/Conjunction.o )
[12 of 21] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/build/Data/Type/Disjunction.o )
[13 of 21] Compiling Data.Type.Index  ( src/Data/Type/Index.hs, dist/build/Data/Type/Index.o )
[14 of 21] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/build/Data/Type/Option.o )
[15 of 21] Compiling Data.Type.Sum    ( src/Data/Type/Sum.hs, dist/build/Data/Type/Sum.o )
[16 of 21] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/build/Data/Type/Combinator.o )
[17 of 21] Compiling Data.Type.Quantifier ( src/Data/Type/Quantifier.hs, dist/build/Data/Type/Quantifier.o )
[18 of 21] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/build/Data/Type/Product.o )
[19 of 21] Compiling Data.Type.Nat    ( src/Data/Type/Nat.hs, dist/build/Data/Type/Nat.o )
[20 of 21] Compiling Data.Type.Fin    ( src/Data/Type/Fin.hs, dist/build/Data/Type/Fin.o )
[21 of 21] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/build/Data/Type/Vector.o )
In-place registering type-combinators-0.1.0.0...
Running Haddock for type-combinators-0.1.0.0...
Running hscolour for type-combinators-0.1.0.0...
Preprocessing library type-combinators-0.1.0.0...
Preprocessing library type-combinators-0.1.0.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)
  33% (  2 /  6) in 'Type.Family.Constraint'
  Missing documentation for:
    Iff (src/Type/Family/Constraint.hs:39)
     (src/Type/Family/Constraint.hs:41)
     (src/Type/Family/Constraint.hs:43)
    Constraint
  50% (  7 / 14) in 'Type.Family.List'
  Missing documentation for:
    Ø (src/Type/Family/List.hs:40)
    :< (src/Type/Family/List.hs:41)
    Reverse (src/Type/Family/List.hs:59)
    Init' (src/Type/Family/List.hs:63)
    Last' (src/Type/Family/List.hs:67)
    <*> (src/Type/Family/List.hs:92)
    ==
  15% (  3 / 20) in 'Type.Family.Nat'
  Missing documentation for:
    N (src/Type/Family/Nat.hs:38)
    NatEq (src/Type/Family/Nat.hs:43)
    Iota (src/Type/Family/Nat.hs:50)
    Pred (src/Type/Family/Nat.hs:54)
    + (src/Type/Family/Nat.hs:57)
    * (src/Type/Family/Nat.hs:62)
    ^ (src/Type/Family/Nat.hs:67)
    N1 (src/Type/Family/Nat.hs:74)
    N2 (src/Type/Family/Nat.hs:75)
    N3 (src/Type/Family/Nat.hs:76)
    N4 (src/Type/Family/Nat.hs:77)
    N5 (src/Type/Family/Nat.hs:78)
    N6 (src/Type/Family/Nat.hs:79)
    N7 (src/Type/Family/Nat.hs:80)
    N8 (src/Type/Family/Nat.hs:81)
    N9 (src/Type/Family/Nat.hs:82)
    N10 (src/Type/Family/Nat.hs:83)
  50% (  4 /  8) in 'Type.Family.Maybe'
  Missing documentation for:
    <&> (src/Type/Family/Maybe.hs:49)
    <*> (src/Type/Family/Maybe.hs:54)
    <|> (src/Type/Family/Maybe.hs:60)
    FromJust (src/Type/Family/Maybe.hs:66)
  14% (  1 /  7) in 'Type.Family.Pair'
  Missing documentation for:
    # (src/Type/Family/Pair.hs:34)
    Fst (src/Type/Family/Pair.hs:37)
    Snd (src/Type/Family/Pair.hs:40)
    <$> (src/Type/Family/Pair.hs:43)
    <&> (src/Type/Family/Pair.hs:47)
    <*> (src/Type/Family/Pair.hs:51)
  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
  32% ( 10 / 31) in 'Type.Class.Witness'
  Missing documentation for:
    Wit1 (src/Type/Class/Witness.hs:60)
     (src/Type/Class/Witness.hs:76)
     (src/Type/Class/Witness.hs:102)
    qed (src/Type/Class/Witness.hs:126)
    impossible (src/Type/Class/Witness.hs:129)
    Dec (src/Type/Class/Witness.hs:132)
    DecEquality (src/Type/Class/Witness.hs:136)
    decCase (src/Type/Class/Witness.hs:139)
    Bij (src/Type/Class/Witness.hs:147)
    $-> (src/Type/Class/Witness.hs:152)
    <-$ (src/Type/Class/Witness.hs:154)
     (src/Type/Class/Witness.hs:158)
    Monoidal (src/Type/Class/Witness.hs:162)
    Symmetric (src/Type/Class/Witness.hs:171)
     (src/Type/Class/Witness.hs:174)
     (src/Type/Class/Witness.hs:177)
     (src/Type/Class/Witness.hs:185)
    *** (src/Type/Class/Witness.hs:193)
    <-> (src/Type/Class/Witness.hs:197)
    <-> (src/Type/Class/Witness.hs:200)
    <?> (src/Type/Class/Witness.hs:203)
  17% (  1 /  6) in 'Data.Type.Length'
  Missing documentation for:
    Length (src/Data/Type/Length.hs:35)
    lOdd (src/Data/Type/Length.hs:39)
    lEven (src/Data/Type/Length.hs:39)
     (src/Data/Type/Length.hs:51)
     (src/Data/Type/Length.hs:54)
  12% (  1 /  8) in 'Type.Class.HFunctor'
  Missing documentation for:
    HFunctor (src/Type/Class/HFunctor.hs:32)
    HIxFunctor (src/Type/Class/HFunctor.hs:36)
    HFoldable (src/Type/Class/HFunctor.hs:39)
    HIxFoldable (src/Type/Class/HFunctor.hs:42)
    HTraversable (src/Type/Class/HFunctor.hs:45)
    HIxTraversable (src/Type/Class/HFunctor.hs:48)
    HBifunctor (src/Type/Class/HFunctor.hs:51)
   4% (  1 / 27) in 'Data.Type.Conjunction'
  Missing documentation for:
    :&: (src/Data/Type/Conjunction.hs:42)
    fanFst (src/Data/Type/Conjunction.hs:50)
    fanSnd (src/Data/Type/Conjunction.hs:53)
    uncurryFan (src/Data/Type/Conjunction.hs:56)
    curryFan (src/Data/Type/Conjunction.hs:59)
     (src/Data/Type/Conjunction.hs:62)
     (src/Data/Type/Conjunction.hs:65)
     (src/Data/Type/Conjunction.hs:68)
     (src/Data/Type/Conjunction.hs:71)
     (src/Data/Type/Conjunction.hs:74)
     (src/Data/Type/Conjunction.hs:77)
     (src/Data/Type/Conjunction.hs:80)
    :*: (src/Data/Type/Conjunction.hs:96)
    parFst (src/Data/Type/Conjunction.hs:104)
    parSnd (src/Data/Type/Conjunction.hs:107)
    uncurryPar (src/Data/Type/Conjunction.hs:110)
    curryPar (src/Data/Type/Conjunction.hs:113)
     (src/Data/Type/Conjunction.hs:116)
     (src/Data/Type/Conjunction.hs:119)
     (src/Data/Type/Conjunction.hs:122)
     (src/Data/Type/Conjunction.hs:125)
     (src/Data/Type/Conjunction.hs:128)
    _fst (src/Data/Type/Conjunction.hs:131)
    _snd (src/Data/Type/Conjunction.hs:134)
     (src/Data/Type/Conjunction.hs:137)
     (src/Data/Type/Conjunction.hs:144)
   6% (  1 / 18) in 'Data.Type.Disjunction'
  Missing documentation for:
    :+: (src/Data/Type/Disjunction.hs:41)
    >+< (src/Data/Type/Disjunction.hs:46)
     (src/Data/Type/Disjunction.hs:52)
     (src/Data/Type/Disjunction.hs:57)
     (src/Data/Type/Disjunction.hs:62)
     (src/Data/Type/Disjunction.hs:67)
     (src/Data/Type/Disjunction.hs:72)
    :|: (src/Data/Type/Disjunction.hs:82)
    >|< (src/Data/Type/Disjunction.hs:87)
     (src/Data/Type/Disjunction.hs:93)
     (src/Data/Type/Disjunction.hs:97)
     (src/Data/Type/Disjunction.hs:101)
     (src/Data/Type/Disjunction.hs:106)
     (src/Data/Type/Disjunction.hs:111)
     (src/Data/Type/Disjunction.hs:116)
     (src/Data/Type/Disjunction.hs:121)
     (src/Data/Type/Disjunction.hs:125)
  25% (  2 /  8) in 'Data.Type.Index'
  Missing documentation for:
    ∈ (src/Data/Type/Index.hs:46)
    Elem (src/Data/Type/Index.hs:49)
     (src/Data/Type/Index.hs:52)
     (src/Data/Type/Index.hs:55)
     (src/Data/Type/Index.hs:58)
     (src/Data/Type/Index.hs:61)
  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)
   5% (  1 / 22) in 'Data.Type.Sum'
  Missing documentation for:
    Sum (src/Data/Type/Sum.hs:42)
    decomp (src/Data/Type/Sum.hs:46)
    injectSum (src/Data/Type/Sum.hs:51)
    inj (src/Data/Type/Sum.hs:56)
    prj (src/Data/Type/Sum.hs:59)
    index (src/Data/Type/Sum.hs:62)
     (src/Data/Type/Sum.hs:73)
     (src/Data/Type/Sum.hs:78)
     (src/Data/Type/Sum.hs:83)
     (src/Data/Type/Sum.hs:88)
     (src/Data/Type/Sum.hs:93)
     (src/Data/Type/Sum.hs:98)
     (src/Data/Type/Sum.hs:103)
     (src/Data/Type/Sum.hs:109)
    SumF (src/Data/Type/Sum.hs:117)
     (src/Data/Type/Sum.hs:121)
    decompF (src/Data/Type/Sum.hs:126)
    injF (src/Data/Type/Sum.hs:131)
    prjF (src/Data/Type/Sum.hs:134)
    injectSumF (src/Data/Type/Sum.hs:137)
    indexF (src/Data/Type/Sum.hs:142)
   2% (  1 / 47) in 'Data.Type.Combinator'
  Missing documentation for:
    :.: (src/Data/Type/Combinator.hs:42)
     (src/Data/Type/Combinator.hs:50)
    :..: (src/Data/Type/Combinator.hs:54)
     (src/Data/Type/Combinator.hs:62)
    IT (src/Data/Type/Combinator.hs:70)
     (src/Data/Type/Combinator.hs:77)
     (src/Data/Type/Combinator.hs:80)
     (src/Data/Type/Combinator.hs:83)
     (src/Data/Type/Combinator.hs:86)
     (src/Data/Type/Combinator.hs:90)
    I (src/Data/Type/Combinator.hs:102)
     (src/Data/Type/Combinator.hs:109)
     (src/Data/Type/Combinator.hs:112)
     (src/Data/Type/Combinator.hs:116)
     (src/Data/Type/Combinator.hs:119)
     (src/Data/Type/Combinator.hs:122)
     (src/Data/Type/Combinator.hs:125)
     (src/Data/Type/Combinator.hs:129)
    LL (src/Data/Type/Combinator.hs:141)
     (src/Data/Type/Combinator.hs:149)
     (src/Data/Type/Combinator.hs:152)
     (src/Data/Type/Combinator.hs:155)
     (src/Data/Type/Combinator.hs:158)
    RR (src/Data/Type/Combinator.hs:166)
     (src/Data/Type/Combinator.hs:174)
     (src/Data/Type/Combinator.hs:177)
     (src/Data/Type/Combinator.hs:180)
     (src/Data/Type/Combinator.hs:183)
    SS (src/Data/Type/Combinator.hs:191)
     (src/Data/Type/Combinator.hs:198)
    CT (src/Data/Type/Combinator.hs:206)
     (src/Data/Type/Combinator.hs:213)
     (src/Data/Type/Combinator.hs:216)
     (src/Data/Type/Combinator.hs:219)
     (src/Data/Type/Combinator.hs:222)
     (src/Data/Type/Combinator.hs:226)
    C (src/Data/Type/Combinator.hs:238)
     (src/Data/Type/Combinator.hs:245)
     (src/Data/Type/Combinator.hs:249)
    Join (src/Data/Type/Combinator.hs:261)
     (src/Data/Type/Combinator.hs:269)
     (src/Data/Type/Combinator.hs:273)
    Flip (src/Data/Type/Combinator.hs:282)
     (src/Data/Type/Combinator.hs:286)
     (src/Data/Type/Combinator.hs:290)
    flipped (src/Data/Type/Combinator.hs:294)
  30% (  3 / 10) in 'Data.Type.Quantifier'
  Missing documentation for:
    Some (src/Data/Type/Quantifier.hs:38)
    withSome (src/Data/Type/Quantifier.hs:54)
    onSome (src/Data/Type/Quantifier.hs:57)
    Some2 (src/Data/Type/Quantifier.hs:60)
    Some2 (src/Data/Type/Quantifier.hs:63)
    All (src/Data/Type/Quantifier.hs:65)
    :--> (src/Data/Type/Quantifier.hs:73)
   4% (  1 / 25) in 'Data.Type.Product'
  Missing documentation for:
    Prod (src/Data/Type/Product.hs:49)
    :> (src/Data/Type/Product.hs:55)
    only (src/Data/Type/Product.hs:58)
    head' (src/Data/Type/Product.hs:61)
    tail' (src/Data/Type/Product.hs:64)
    >: (src/Data/Type/Product.hs:67)
    reverse' (src/Data/Type/Product.hs:73)
    init' (src/Data/Type/Product.hs:78)
    last' (src/Data/Type/Product.hs:83)
    append' (src/Data/Type/Product.hs:88)
    onHead' (src/Data/Type/Product.hs:93)
    onTail' (src/Data/Type/Product.hs:96)
    uncurry' (src/Data/Type/Product.hs:99)
    curry' (src/Data/Type/Product.hs:102)
    index (src/Data/Type/Product.hs:105)
     (src/Data/Type/Product.hs:110)
     (src/Data/Type/Product.hs:115)
     (src/Data/Type/Product.hs:120)
     (src/Data/Type/Product.hs:125)
     (src/Data/Type/Product.hs:130)
     (src/Data/Type/Product.hs:135)
     (src/Data/Type/Product.hs:138)
     (src/Data/Type/Product.hs:142)
     (src/Data/Type/Product.hs:145)
  18% (  5 / 28) in 'Data.Type.Nat'
  Missing documentation for:
    Nat (src/Data/Type/Nat.hs:39)
     (src/Data/Type/Nat.hs:64)
     (src/Data/Type/Nat.hs:73)
    _Z (src/Data/Type/Nat.hs:82)
    _S (src/Data/Type/Nat.hs:85)
    _s (src/Data/Type/Nat.hs:88)
    _ZneS (src/Data/Type/Nat.hs:91)
    addS (src/Data/Type/Nat.hs:102)
    .+ (src/Data/Type/Nat.hs:108)
    .* (src/Data/Type/Nat.hs:114)
    .^ (src/Data/Type/Nat.hs:120)
    nat (src/Data/Type/Nat.hs:126)
    n0 (src/Data/Type/Nat.hs:131)
    n1 (src/Data/Type/Nat.hs:132)
    n2 (src/Data/Type/Nat.hs:133)
    n3 (src/Data/Type/Nat.hs:134)
    n4 (src/Data/Type/Nat.hs:135)
    n5 (src/Data/Type/Nat.hs:136)
    n6 (src/Data/Type/Nat.hs:137)
    n7 (src/Data/Type/Nat.hs:138)
    n8 (src/Data/Type/Nat.hs:139)
    n9 (src/Data/Type/Nat.hs:140)
    n10 (src/Data/Type/Nat.hs:141)
  50% (  6 / 12) in 'Data.Type.Fin'
  Missing documentation for:
    Fin (src/Data/Type/Fin.hs:41)
    fin (src/Data/Type/Fin.hs:55)
    weaken (src/Data/Type/Fin.hs:64)
    <= (src/Data/Type/Fin.hs:80)
     (src/Data/Type/Fin.hs:83)
     (src/Data/Type/Fin.hs:86)
   2% (  1 / 52) in 'Data.Type.Vector'
  Missing documentation for:
    VT (src/Data/Type/Vector.hs:62)
    V (src/Data/Type/Vector.hs:67)
    :+ (src/Data/Type/Vector.hs:69)
    .++ (src/Data/Type/Vector.hs:76)
    vrep (src/Data/Type/Vector.hs:82)
    head' (src/Data/Type/Vector.hs:90)
    tail' (src/Data/Type/Vector.hs:93)
    onTail (src/Data/Type/Vector.hs:96)
    vDel (src/Data/Type/Vector.hs:99)
    imap (src/Data/Type/Vector.hs:104)
    ifoldMap (src/Data/Type/Vector.hs:109)
    itraverse (src/Data/Type/Vector.hs:114)
    index (src/Data/Type/Vector.hs:119)
    vmap (src/Data/Type/Vector.hs:124)
    vap (src/Data/Type/Vector.hs:129)
    vfoldr (src/Data/Type/Vector.hs:136)
    vfoldMap' (src/Data/Type/Vector.hs:141)
    vfoldMap (src/Data/Type/Vector.hs:147)
    withVT (src/Data/Type/Vector.hs:152)
    withV (src/Data/Type/Vector.hs:157)
    findV (src/Data/Type/Vector.hs:160)
    findVT (src/Data/Type/Vector.hs:163)
     (src/Data/Type/Vector.hs:170)
     (src/Data/Type/Vector.hs:173)
     (src/Data/Type/Vector.hs:177)
     (src/Data/Type/Vector.hs:180)
     (src/Data/Type/Vector.hs:185)
     (src/Data/Type/Vector.hs:198)
     (src/Data/Type/Vector.hs:203)
    M (src/Data/Type/Vector.hs:212)
     (src/Data/Type/Vector.hs:218)
    Matrix (src/Data/Type/Vector.hs:226)
    vgen_ (src/Data/Type/Vector.hs:230)
    vgen (src/Data/Type/Vector.hs:233)
    mgen_ (src/Data/Type/Vector.hs:238)
    mgen (src/Data/Type/Vector.hs:241)
    onMatrix (src/Data/Type/Vector.hs:246)
    diagonal (src/Data/Type/Vector.hs:249)
    vtranspose (src/Data/Type/Vector.hs:252)
    transpose (src/Data/Type/Vector.hs:255)
    m0 (src/Data/Type/Vector.hs:258)
    m1 (src/Data/Type/Vector.hs:261)
    m2 (src/Data/Type/Vector.hs:264)
    m3 (src/Data/Type/Vector.hs:267)
    m4 (src/Data/Type/Vector.hs:270)
    ppVec (src/Data/Type/Vector.hs:273)
    ppMatrix (src/Data/Type/Vector.hs:276)
    ppMatrix' (src/Data/Type/Vector.hs:279)
    mzipWith (src/Data/Type/Vector.hs:290)
    zipLines (src/Data/Type/Vector.hs:297)
    compose (src/Data/Type/Vector.hs:311)
Warning: Type.Family.Nat: could not find link destinations for:
    EqBool EqOrdering EqStar EqUnit EqList EqMaybe EqArrow EqEither Eq2 Eq3 Eq4 Eq5 Eq6 Eq7 Eq8 Eq9 Eq10 Eq11 Eq12 Eq13 Eq14 Eq15
Warning: Type.Family.Maybe: could not find link destinations for:
    EqBool EqOrdering EqStar EqUnit EqList EqMaybe EqArrow EqEither Eq2 Eq3 Eq4 Eq5 Eq6 Eq7 Eq8 Eq9 Eq10 Eq11 Eq12 Eq13 Eq14 Eq15
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.1.02145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-combinators-0.1.0.0-2TU2bsGpqGs5yx2cf8Wxc2
Registering type-combinators-0.1.0.0...
Installed type-combinators-0.1.0.0