Resolving dependencies...
Downloading type-combinators-0.2.1.0...
Configuring type-combinators-0.2.1.0...
Building type-combinators-0.2.1.0...
Preprocessing library type-combinators-0.2.1.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.Nat  ( src/Type/Family/Nat.hs, dist/build/Type/Family/Nat.o )
[10 of 30] Compiling Type.Family.Maybe ( src/Type/Family/Maybe.hs, dist/build/Type/Family/Maybe.o )
[11 of 30] Compiling Type.Family.Bool ( src/Type/Family/Bool.hs, dist/build/Type/Family/Bool.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.Conjunction ( src/Data/Type/Conjunction.hs, dist/build/Data/Type/Conjunction.o )
[15 of 30] Compiling Data.Type.Option ( src/Data/Type/Option.hs, dist/build/Data/Type/Option.o )
[16 of 30] Compiling Data.Type.Sym    ( src/Data/Type/Sym.hs, dist/build/Data/Type/Sym.o )
[17 of 30] Compiling Data.Type.Combinator ( src/Data/Type/Combinator.hs, dist/build/Data/Type/Combinator.o )
[18 of 30] Compiling Data.Type.Disjunction ( src/Data/Type/Disjunction.hs, dist/build/Data/Type/Disjunction.o )
[19 of 30] Compiling Data.Type.Nat    ( src/Data/Type/Nat.hs, dist/build/Data/Type/Nat.o )
[20 of 30] Compiling Data.Type.Fin    ( src/Data/Type/Fin.hs, dist/build/Data/Type/Fin.o )
[21 of 30] Compiling Data.Type.Nat.Inequality ( src/Data/Type/Nat/Inequality.hs, dist/build/Data/Type/Nat/Inequality.o )
[22 of 30] Compiling Data.Type.Fin.Indexed ( src/Data/Type/Fin/Indexed.hs, dist/build/Data/Type/Fin/Indexed.o )
[23 of 30] Compiling Data.Type.Index  ( src/Data/Type/Index.hs, dist/build/Data/Type/Index.o )
[24 of 30] Compiling Data.Type.Product.Lifted ( src/Data/Type/Product/Lifted.hs, dist/build/Data/Type/Product/Lifted.o )
[25 of 30] Compiling Data.Type.Sum.Lifted ( src/Data/Type/Sum/Lifted.hs, dist/build/Data/Type/Sum/Lifted.o )
[26 of 30] Compiling Data.Type.Length ( src/Data/Type/Length.hs, dist/build/Data/Type/Length.o )
[27 of 30] Compiling Data.Type.Product ( src/Data/Type/Product.hs, dist/build/Data/Type/Product.o )
[28 of 30] Compiling Data.Type.Vector ( src/Data/Type/Vector.hs, dist/build/Data/Type/Vector.o )
[29 of 30] Compiling Data.Type.Sum    ( src/Data/Type/Sum.hs, dist/build/Data/Type/Sum.o )
[30 of 30] Compiling Data.Type.Boolean ( src/Data/Type/Boolean.hs, dist/build/Data/Type/Boolean.o )
In-place registering type-combinators-0.2.1.0...
Running Haddock for type-combinators-0.2.1.0...
Running hscolour for type-combinators-0.2.1.0...
Preprocessing library type-combinators-0.2.1.0...
Preprocessing library type-combinators-0.2.1.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
  22% ( 10 / 45) in 'Type.Class.Witness'
  Missing documentation for:
    Wit1 (src/Type/Class/Witness.hs:67)
     (src/Type/Class/Witness.hs:87)
    // (src/Type/Class/Witness.hs:109)
    Fails (src/Type/Class/Witness.hs:125)
    absurdC (src/Type/Class/Witness.hs:128)
    Const (src/Type/Class/Witness.hs:131)
     (src/Type/Class/Witness.hs:134)
    ∘ (src/Type/Class/Witness.hs:137)
     (src/Type/Class/Witness.hs:140)
    ∧ (src/Type/Class/Witness.hs:144)
     (src/Type/Class/Witness.hs:148)
    ∨ (src/Type/Class/Witness.hs:151)
    eitherC (src/Type/Class/Witness.hs:155)
    pureC (src/Type/Class/Witness.hs:160)
    contraC (src/Type/Class/Witness.hs:163)
    Forall (src/Type/Class/Witness.hs:170)
    commute (src/Type/Class/Witness.hs:179)
    Holds (src/Type/Class/Witness.hs:182)
    falso (src/Type/Class/Witness.hs:186)
    top (src/Type/Class/Witness.hs:189)
    bottom (src/Type/Class/Witness.hs:192)
     (src/Type/Class/Witness.hs:195)
     (src/Type/Class/Witness.hs:198)
     (src/Type/Class/Witness.hs:215)
    //?+ (src/Type/Class/Witness.hs:226)
    witMaybe (src/Type/Class/Witness.hs:232)
    qed (src/Type/Class/Witness.hs:237)
    impossible (src/Type/Class/Witness.hs:240)
    =?= (src/Type/Class/Witness.hs:243)
    TestEquality1 (src/Type/Class/Witness.hs:247)
    =??= (src/Type/Class/Witness.hs:250)
    Dec (src/Type/Class/Witness.hs:258)
    DecEquality (src/Type/Class/Witness.hs:262)
    decCase (src/Type/Class/Witness.hs:265)
    absurd (src/Type/Class/Witness.hs:275)
   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)
   6% (  2 / 32) in 'Type.Family.Nat'
  Missing documentation for:
    N (src/Type/Family/Nat.hs:37)
    fromInt (src/Type/Family/Nat.hs:42)
    IsZero (src/Type/Family/Nat.hs:48)
    zeroCong (src/Type/Family/Nat.hs:52)
    zNotS (src/Type/Family/Nat.hs:55)
    NatEq (src/Type/Family/Nat.hs:58)
    Iota (src/Type/Family/Nat.hs:65)
    iotaCong (src/Type/Family/Nat.hs:69)
    Pred (src/Type/Family/Nat.hs:72)
    predCong (src/Type/Family/Nat.hs:75)
    + (src/Type/Family/Nat.hs:78)
    addCong (src/Type/Family/Nat.hs:83)
    * (src/Type/Family/Nat.hs:86)
    mulCong (src/Type/Family/Nat.hs:91)
    ^ (src/Type/Family/Nat.hs:94)
    expCong (src/Type/Family/Nat.hs:99)
    Len (src/Type/Family/Nat.hs:102)
    lenCong (src/Type/Family/Nat.hs:106)
    Ix (src/Type/Family/Nat.hs:109)
    ixCong (src/Type/Family/Nat.hs:113)
    N1 (src/Type/Family/Nat.hs:118)
    N2 (src/Type/Family/Nat.hs:119)
    N3 (src/Type/Family/Nat.hs:120)
    N4 (src/Type/Family/Nat.hs:121)
    N5 (src/Type/Family/Nat.hs:122)
    N6 (src/Type/Family/Nat.hs:123)
    N7 (src/Type/Family/Nat.hs:124)
    N8 (src/Type/Family/Nat.hs:125)
    N9 (src/Type/Family/Nat.hs:126)
    N10 (src/Type/Family/Nat.hs:127)
  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)
  22% (  2 /  9) in 'Type.Family.Bool'
  Missing documentation for:
    BoolC (src/Type/Family/Bool.hs:36)
    || (src/Type/Family/Bool.hs:40)
    && (src/Type/Family/Bool.hs:45)
    Not (src/Type/Family/Bool.hs:50)
    ==> (src/Type/Family/Bool.hs:54)
    <==> (src/Type/Family/Bool.hs:57)
    ^^ (src/Type/Family/Bool.hs:60)
   8% (  2 / 25) 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)
    Some2 (src/Data/Type/Quantifier.hs:76)
    some2 (src/Data/Type/Quantifier.hs:79)
    >>-- (src/Data/Type/Quantifier.hs:82)
    >--> (src/Data/Type/Quantifier.hs:86)
    withSome2 (src/Data/Type/Quantifier.hs:90)
    onSome2 (src/Data/Type/Quantifier.hs:93)
    Some3 (src/Data/Type/Quantifier.hs:100)
    some3 (src/Data/Type/Quantifier.hs:103)
    >>--- (src/Data/Type/Quantifier.hs:106)
    >---> (src/Data/Type/Quantifier.hs:110)
    withSome3 (src/Data/Type/Quantifier.hs:114)
    onSome3 (src/Data/Type/Quantifier.hs:117)
    SomeC (src/Data/Type/Quantifier.hs:124)
    someC (src/Data/Type/Quantifier.hs:127)
    >>~ (src/Data/Type/Quantifier.hs:130)
    Every (src/Data/Type/Quantifier.hs:138)
    Every2 (src/Data/Type/Quantifier.hs:141)
    Every3 (src/Data/Type/Quantifier.hs:144)
   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)
   3% (  1 / 35) in 'Data.Type.Conjunction'
  Missing documentation for:
    :&: (src/Data/Type/Conjunction.hs:42)
     (src/Data/Type/Conjunction.hs:51)
     (src/Data/Type/Conjunction.hs:54)
     (src/Data/Type/Conjunction.hs:57)
    fanFst (src/Data/Type/Conjunction.hs:63)
    fanSnd (src/Data/Type/Conjunction.hs:66)
    .&. (src/Data/Type/Conjunction.hs:69)
    fanFirst (src/Data/Type/Conjunction.hs:73)
    uncurryFan (src/Data/Type/Conjunction.hs:76)
    curryFan (src/Data/Type/Conjunction.hs:79)
     (src/Data/Type/Conjunction.hs:82)
     (src/Data/Type/Conjunction.hs:85)
     (src/Data/Type/Conjunction.hs:88)
     (src/Data/Type/Conjunction.hs:91)
     (src/Data/Type/Conjunction.hs:94)
     (src/Data/Type/Conjunction.hs:97)
     (src/Data/Type/Conjunction.hs:100)
    :*: (src/Data/Type/Conjunction.hs:108)
     (src/Data/Type/Conjunction.hs:117)
     (src/Data/Type/Conjunction.hs:120)
     (src/Data/Type/Conjunction.hs:123)
    parFst (src/Data/Type/Conjunction.hs:129)
    parSnd (src/Data/Type/Conjunction.hs:132)
    uncurryPar (src/Data/Type/Conjunction.hs:135)
    curryPar (src/Data/Type/Conjunction.hs:138)
     (src/Data/Type/Conjunction.hs:141)
     (src/Data/Type/Conjunction.hs:144)
     (src/Data/Type/Conjunction.hs:147)
     (src/Data/Type/Conjunction.hs:150)
     (src/Data/Type/Conjunction.hs:153)
    _fst (src/Data/Type/Conjunction.hs:156)
    _snd (src/Data/Type/Conjunction.hs:159)
     (src/Data/Type/Conjunction.hs:162)
     (src/Data/Type/Conjunction.hs:169)
  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)
  10% (  1 / 10) in 'Data.Type.Sym'
  Missing documentation for:
    Sym (src/Data/Type/Sym.hs:39)
     (src/Data/Type/Sym.hs:45)
     (src/Data/Type/Sym.hs:50)
     (src/Data/Type/Sym.hs:51)
     (src/Data/Type/Sym.hs:52)
     (src/Data/Type/Sym.hs:54)
     (src/Data/Type/Sym.hs:57)
     (src/Data/Type/Sym.hs:61)
    symbol (src/Data/Type/Sym.hs:64)
   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:170)
     (src/Data/Type/Disjunction.hs:176)
     (src/Data/Type/Disjunction.hs:180)
     (src/Data/Type/Disjunction.hs:184)
     (src/Data/Type/Disjunction.hs:189)
     (src/Data/Type/Disjunction.hs:194)
     (src/Data/Type/Disjunction.hs:199)
     (src/Data/Type/Disjunction.hs:204)
     (src/Data/Type/Disjunction.hs:208)
  22% (  5 / 23) in 'Data.Type.Nat'
  Missing documentation for:
    Nat (src/Data/Type/Nat.hs:40)
     (src/Data/Type/Nat.hs:48)
     (src/Data/Type/Nat.hs:49)
     (src/Data/Type/Nat.hs:50)
     (src/Data/Type/Nat.hs:52)
     (src/Data/Type/Nat.hs:79)
    pred' (src/Data/Type/Nat.hs:88)
    onNatPred (src/Data/Type/Nat.hs:91)
    _Z (src/Data/Type/Nat.hs:94)
    _S (src/Data/Type/Nat.hs:97)
    _s (src/Data/Type/Nat.hs:100)
    _ZneS (src/Data/Type/Nat.hs:103)
    addS (src/Data/Type/Nat.hs:114)
    .+ (src/Data/Type/Nat.hs:120)
    .* (src/Data/Type/Nat.hs:126)
    .^ (src/Data/Type/Nat.hs:132)
    elimNat (src/Data/Type/Nat.hs:138)
    natVal (src/Data/Type/Nat.hs:143)
  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)
   0% (  0 / 10) in 'Data.Type.Nat.Inequality'
  Missing documentation for:
    Module header
    < (src/Data/Type/Nat/Inequality.hs:24)
    > (src/Data/Type/Nat/Inequality.hs:31)
    NatLT (src/Data/Type/Nat/Inequality.hs:38)
    NatEQ (src/Data/Type/Nat/Inequality.hs:43)
    NatGT (src/Data/Type/Nat/Inequality.hs:48)
     (src/Data/Type/Nat/Inequality.hs:53)
     (src/Data/Type/Nat/Inequality.hs:59)
     (src/Data/Type/Nat/Inequality.hs:65)
    natCompare (src/Data/Type/Nat/Inequality.hs:71)
  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)
   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)
  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)
   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)
  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:36)
     (src/Data/Type/Boolean.hs:44)
     (src/Data/Type/Boolean.hs:45)
     (src/Data/Type/Boolean.hs:46)
     (src/Data/Type/Boolean.hs:48)
    not' (src/Data/Type/Boolean.hs:57)
    .|| (src/Data/Type/Boolean.hs:62)
    .&& (src/Data/Type/Boolean.hs:68)
    .^^ (src/Data/Type/Boolean.hs:74)
    ==> (src/Data/Type/Boolean.hs:78)
    <==> (src/Data/Type/Boolean.hs:82)
    BoolEq (src/Data/Type/Boolean.hs:86)
     (src/Data/Type/Boolean.hs:90)
     (src/Data/Type/Boolean.hs:99)
     (src/Data/Type/Boolean.hs:102)
Warning: Type.Family.Bool: could not find link destinations for:
    EqBool EqOrdering EqStar EqNat EqSymbol 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.2.12145174067468703135.0
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/type-combinators-0.2.1.0-1ruBHm0givd0aW99WMZnUy
Registering type-combinators-0.2.1.0...
Installed type-combinators-0.2.1.0