Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build #1 for data-category-0.6.0

[all reports]

Package	data-category-0.6.0

Install	InstallOk
Docs	Ok
Tests	NotTried

Time submitted	unknown
Compiler	ghc-7.6.3
OS	linux
Arch	x86_64
Dependencies
Flags	none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Downloading data-category-0.6.0...
Configuring data-category-0.6.0...
Building data-category-0.6.0...
Preprocessing library data-category-0.6.0...
[ 1 of 21] Compiling Data.Category    ( Data/Category.hs, dist/build/Data/Category.o )
[ 2 of 21] Compiling Data.Category.Product ( Data/Category/Product.hs, dist/build/Data/Category/Product.o )
[ 3 of 21] Compiling Data.Category.Functor ( Data/Category/Functor.hs, dist/build/Data/Category/Functor.o )
[ 4 of 21] Compiling Data.Category.NaturalTransformation ( Data/Category/NaturalTransformation.hs, dist/build/Data/Category/NaturalTransformation.o )
[ 5 of 21] Compiling Data.Category.Unit ( Data/Category/Unit.hs, dist/build/Data/Category/Unit.o )
[ 6 of 21] Compiling Data.Category.Void ( Data/Category/Void.hs, dist/build/Data/Category/Void.o )

Data/Category/Void.hs:39:1: Warning:
    No explicit associated type or default declaration for `:%'
    In the instance declaration for `Functor (Magic k)'
[ 7 of 21] Compiling Data.Category.Coproduct ( Data/Category/Coproduct.hs, dist/build/Data/Category/Coproduct.o )
[ 8 of 21] Compiling Data.Category.RepresentableFunctor ( Data/Category/RepresentableFunctor.hs, dist/build/Data/Category/RepresentableFunctor.o )
[ 9 of 21] Compiling Data.Category.Adjunction ( Data/Category/Adjunction.hs, dist/build/Data/Category/Adjunction.o )
[10 of 21] Compiling Data.Category.Limit ( Data/Category/Limit.hs, dist/build/Data/Category/Limit.o )
[11 of 21] Compiling Data.Category.Monoidal ( Data/Category/Monoidal.hs, dist/build/Data/Category/Monoidal.o )
[12 of 21] Compiling Data.Category.CartesianClosed ( Data/Category/CartesianClosed.hs, dist/build/Data/Category/CartesianClosed.o )
[13 of 21] Compiling Data.Category.Yoneda ( Data/Category/Yoneda.hs, dist/build/Data/Category/Yoneda.o )
[14 of 21] Compiling Data.Category.Presheaf ( Data/Category/Presheaf.hs, dist/build/Data/Category/Presheaf.o )
[15 of 21] Compiling Data.Category.Boolean ( Data/Category/Boolean.hs, dist/build/Data/Category/Boolean.o )
[16 of 21] Compiling Data.Category.Fix ( Data/Category/Fix.hs, dist/build/Data/Category/Fix.o )
[17 of 21] Compiling Data.Category.Kleisli ( Data/Category/Kleisli.hs, dist/build/Data/Category/Kleisli.o )
[18 of 21] Compiling Data.Category.Dialg ( Data/Category/Dialg.hs, dist/build/Data/Category/Dialg.o )
[19 of 21] Compiling Data.Category.NNO ( Data/Category/NNO.hs, dist/build/Data/Category/NNO.o )
[20 of 21] Compiling Data.Category.Simplex ( Data/Category/Simplex.hs, dist/build/Data/Category/Simplex.o )
[21 of 21] Compiling Data.Category.Comma ( Data/Category/Comma.hs, dist/build/Data/Category/Comma.o )
In-place registering data-category-0.6.0...
Running Haddock for data-category-0.6.0...
Running hscolour for data-category-0.6.0...
Preprocessing library data-category-0.6.0...
Preprocessing library data-category-0.6.0...

dist/build/tmp-27438/Data/Category/Void.hs:39:1: Warning:
    No explicit associated type or default declaration for `:%'
    In the instance declaration for `Functor (Magic k)'
Haddock coverage:
  83% (  5 /  6) in 'Data.Category'
  50% (  1 /  2) in 'Data.Category.Product'
Warning: Data.Category.Functor: We do not support associated types in instances yet. These instances are affected:
Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Functor.Id k), (Data.Category.Category (Data.Category.Functor.Cod g),
 Data.Category.Category (Data.Category.Functor.Dom h)) =>
Data.Category.Functor.Functor (g Data.Category.Functor.:.: h), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Functor.Const c1 c2 x), (Data.Category.Category (Data.Category.Functor.Dom f),
 Data.Category.Category (Data.Category.Functor.Cod f)) =>
Data.Category.Functor.Functor (Data.Category.Functor.Opposite f), Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Functor.OpOp k), Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Functor.OpOpInv k), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Functor.Proj1 c1 c2), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Functor.Proj2 c1 c2), (Data.Category.Functor.Functor f1,
 Data.Category.Functor.Functor f2) =>
Data.Category.Functor.Functor (f1 Data.Category.Functor.:***: f2), Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Functor.DiagProd k), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Functor.Tuple1 c1 c2 a1), Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Functor.Hom k)
  47% ( 14 / 30) in 'Data.Category.Functor'
Warning: Data.Category.NaturalTransformation: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Category c,
 Data.Category.Category d,
 Data.Category.Category e) =>
Data.Category.Functor.Functor (Data.Category.NaturalTransformation.FunctorCompose c d e), (Data.Category.Functor.Functor f,
 Data.Category.Functor.Functor h) =>
Data.Category.Functor.Functor (Data.Category.NaturalTransformation.Wrap f h)
  50% ( 16 / 32) in 'Data.Category.NaturalTransformation'
  50% (  1 /  2) in 'Data.Category.Unit'
Warning: Data.Category.Void: We do not support associated types in instances yet. These instances are affected:
Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Void.Magic k)
  20% (  1 /  5) in 'Data.Category.Void'
Warning: Data.Category.Coproduct: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Coproduct.Inj1 c1 c2), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Coproduct.Inj2 c1 c2), (Data.Category.Functor.Functor f1,
 Data.Category.Functor.Functor f2) =>
Data.Category.Functor.Functor (f1 Data.Category.Coproduct.:+++: f2), Data.Category.Category k =>
Data.Category.Functor.Functor (Data.Category.Coproduct.CodiagCoprod k), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Coproduct.Cotuple1 c1 c2 a1), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.Coproduct.Cotuple2 c1 c2 a2), (Data.Category.Functor.Functor f,
 Data.Category.Functor.Functor g,
 Data.Category.Functor.Dom f ~ Data.Category.Functor.Dom g,
 Data.Category.Functor.Cod f ~ Data.Category.Functor.Cod g) =>
Data.Category.Functor.Functor (Data.Category.Coproduct.NatAsFunctor f g)
   8% (  1 / 12) in 'Data.Category.Coproduct'
  33% (  3 /  9) in 'Data.Category.RepresentableFunctor'
  30% (  6 / 20) in 'Data.Category.Adjunction'
Warning: Data.Category.Limit: Instances of type and data families are not yet supported. Instances of the following families will be filtered out:
  LimitFam, ColimitFam
Warning: Data.Category.Limit: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Category j, Data.Category.Category k) =>
Data.Category.Functor.Functor (Data.Category.Limit.Diag j k), Data.Category.Limit.HasLimits j k =>
Data.Category.Functor.Functor (Data.Category.Limit.LimitFunctor j k), Data.Category.Limit.HasColimits j k =>
Data.Category.Functor.Functor (Data.Category.Limit.ColimitFunctor j k), Data.Category.Limit.HasTerminalObject (->), Data.Category.Limit.HasTerminalObject Data.Category.Functor.Cat, (Data.Category.Category c,
 Data.Category.Limit.HasTerminalObject d) =>
Data.Category.Limit.HasTerminalObject (Data.Category.NaturalTransformation.Nat c d), Data.Category.Limit.HasTerminalObject Data.Category.Unit.Unit, (Data.Category.Limit.HasTerminalObject c1,
 Data.Category.Limit.HasTerminalObject c2) =>
Data.Category.Limit.HasTerminalObject (c1 Data.Category.Product.:**: c2), (Data.Category.Category c1,
 Data.Category.Limit.HasTerminalObject c2) =>
Data.Category.Limit.HasTerminalObject (c1 Data.Category.Coproduct.:>>: c2), Data.Category.Limit.HasInitialObject (->), Data.Category.Limit.HasInitialObject Data.Category.Functor.Cat, (Data.Category.Category c,
 Data.Category.Limit.HasInitialObject d) =>
Data.Category.Limit.HasInitialObject (Data.Category.NaturalTransformation.Nat c d), (Data.Category.Limit.HasInitialObject c1,
 Data.Category.Limit.HasInitialObject c2) =>
Data.Category.Limit.HasInitialObject (c1 Data.Category.Product.:**: c2), Data.Category.Limit.HasInitialObject Data.Category.Unit.Unit, (Data.Category.Limit.HasInitialObject c1,
 Data.Category.Category c2) =>
Data.Category.Limit.HasInitialObject (c1 Data.Category.Coproduct.:>>: c2), Data.Category.Limit.HasBinaryProducts (->), Data.Category.Limit.HasBinaryProducts Data.Category.Functor.Cat, Data.Category.Limit.HasBinaryProducts Data.Category.Unit.Unit, (Data.Category.Limit.HasBinaryProducts c1,
 Data.Category.Limit.HasBinaryProducts c2) =>
Data.Category.Limit.HasBinaryProducts (c1 Data.Category.Product.:**: c2), (Data.Category.Limit.HasBinaryProducts c1,
 Data.Category.Limit.HasBinaryProducts c2) =>
Data.Category.Limit.HasBinaryProducts (c1 Data.Category.Coproduct.:>>: c2), Data.Category.Limit.HasBinaryProducts k =>
Data.Category.Functor.Functor (Data.Category.Limit.ProductFunctor k), (Data.Category.Category (Data.Category.Functor.Dom p),
 Data.Category.Category (Data.Category.Functor.Cod p)) =>
Data.Category.Functor.Functor (p Data.Category.Limit.:*: q), (Data.Category.Category c,
 Data.Category.Limit.HasBinaryProducts d) =>
Data.Category.Limit.HasBinaryProducts (Data.Category.NaturalTransformation.Nat c d), Data.Category.Limit.HasBinaryCoproducts Data.Category.Functor.Cat, Data.Category.Limit.HasBinaryCoproducts Data.Category.Unit.Unit, (Data.Category.Limit.HasBinaryCoproducts c1,
 Data.Category.Limit.HasBinaryCoproducts c2) =>
Data.Category.Limit.HasBinaryCoproducts (c1 Data.Category.Product.:**: c2), (Data.Category.Limit.HasBinaryCoproducts c1,
 Data.Category.Limit.HasBinaryCoproducts c2) =>
Data.Category.Limit.HasBinaryCoproducts (c1 Data.Category.Coproduct.:>>: c2), Data.Category.Limit.HasBinaryCoproducts k =>
Data.Category.Functor.Functor (Data.Category.Limit.CoproductFunctor k), (Data.Category.Category (Data.Category.Functor.Dom p),
 Data.Category.Category (Data.Category.Functor.Cod p)) =>
Data.Category.Functor.Functor (p Data.Category.Limit.:+: q), (Data.Category.Category c,
 Data.Category.Limit.HasBinaryCoproducts d) =>
Data.Category.Limit.HasBinaryCoproducts (Data.Category.NaturalTransformation.Nat c d), Data.Category.Limit.HasInitialObject k =>
Data.Category.Limit.HasTerminalObject (Data.Category.Op k), Data.Category.Limit.HasTerminalObject k =>
Data.Category.Limit.HasInitialObject (Data.Category.Op k), Data.Category.Limit.HasBinaryCoproducts k =>
Data.Category.Limit.HasBinaryProducts (Data.Category.Op k), Data.Category.Limit.HasBinaryProducts k =>
Data.Category.Limit.HasBinaryCoproducts (Data.Category.Op k)
  60% ( 21 / 35) in 'Data.Category.Limit'
Warning: Data.Category.Monoidal: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Limit.HasTerminalObject k,
 Data.Category.Limit.HasBinaryProducts k) =>
Data.Category.Monoidal.TensorProduct (Data.Category.Limit.ProductFunctor k), (Data.Category.Limit.HasInitialObject k,
 Data.Category.Limit.HasBinaryCoproducts k) =>
Data.Category.Monoidal.TensorProduct (Data.Category.Limit.CoproductFunctor k), Data.Category.Category k =>
Data.Category.Monoidal.TensorProduct (Data.Category.NaturalTransformation.EndoFunctorCompose k)
  50% (  8 / 16) in 'Data.Category.Monoidal'
Warning: Data.Category.CartesianClosed: We do not support associated types in instances yet. These instances are affected:
Data.Category.CartesianClosed.CartesianClosed k =>
Data.Category.Functor.Functor (Data.Category.CartesianClosed.ExpFunctor k), Data.Category.CartesianClosed.CartesianClosed (->), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.CartesianClosed.Apply c1 c2), (Data.Category.Category c1, Data.Category.Category c2) =>
Data.Category.Functor.Functor (Data.Category.CartesianClosed.Tuple c1 c2), Data.Category.CartesianClosed.CartesianClosed Data.Category.Functor.Cat
  36% (  5 / 14) in 'Data.Category.CartesianClosed'
Warning: Data.Category.Yoneda: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Category k,
 Data.Category.Functor.Functor f,
 Data.Category.Functor.Dom f ~ Data.Category.Op k,
 Data.Category.Functor.Cod f ~ (->)) =>
Data.Category.Functor.Functor (Data.Category.Yoneda.Yoneda k f)
  50% (  3 /  6) in 'Data.Category.Yoneda'
Warning: Data.Category.Presheaf: We do not support associated types in instances yet. These instances are affected:
Data.Category.Category k =>
Data.Category.CartesianClosed.CartesianClosed (Data.Category.Presheaf.Presheaves k)
  25% (  1 /  4) in 'Data.Category.Presheaf'
Warning: Data.Category.Boolean: We do not support associated types in instances yet. These instances are affected:
Data.Category.Limit.HasInitialObject Data.Category.Boolean.Boolean, Data.Category.Limit.HasTerminalObject Data.Category.Boolean.Boolean, Data.Category.Limit.HasBinaryProducts Data.Category.Boolean.Boolean, Data.Category.Limit.HasBinaryCoproducts Data.Category.Boolean.Boolean, Data.Category.CartesianClosed.CartesianClosed Data.Category.Boolean.Boolean
  10% (  1 / 10) in 'Data.Category.Boolean'
Warning: Data.Category.Fix: We do not support associated types in instances yet. These instances are affected:
Data.Category.Limit.HasInitialObject (f (Data.Category.Fix.Fix f)) =>
Data.Category.Limit.HasInitialObject (Data.Category.Fix.Fix f), Data.Category.Limit.HasTerminalObject (f (Data.Category.Fix.Fix f)) =>
Data.Category.Limit.HasTerminalObject (Data.Category.Fix.Fix f), Data.Category.Limit.HasBinaryProducts (f (Data.Category.Fix.Fix f)) =>
Data.Category.Limit.HasBinaryProducts (Data.Category.Fix.Fix f), Data.Category.Limit.HasBinaryCoproducts (f (Data.Category.Fix.Fix f)) =>
Data.Category.Limit.HasBinaryCoproducts (Data.Category.Fix.Fix f), Data.Category.CartesianClosed.CartesianClosed (f (Data.Category.Fix.Fix f)) =>
Data.Category.CartesianClosed.CartesianClosed (Data.Category.Fix.Fix f), Data.Category.Category (f (Data.Category.Fix.Fix f)) =>
Data.Category.Functor.Functor (Data.Category.Fix.Wrap f)
  50% (  2 /  4) in 'Data.Category.Fix'
Warning: Data.Category.Kleisli: We do not support associated types in instances yet. These instances are affected:
(Data.Category.Functor.Functor m,
 Data.Category.Functor.Dom m ~ k,
 Data.Category.Functor.Cod m ~ k) =>
Data.Category.Functor.Functor (Data.Category.Kleisli.KleisliAdjF m), (Data.Category.Functor.Functor m,
 Data.Category.Functor.Dom m ~ k,
 Data.Category.Functor.Cod m ~ k) =>
Data.Category.Functor.Functor (Data.Category.Kleisli.KleisliAdjG m)
  17% (  1 /  6) in 'Data.Category.Kleisli'
Warning: Data.Category.Dialg: We do not support associated types in instances yet. These instances are affected:
Data.Category.Limit.HasInitialObject (Data.Category.Dialg.Dialg (Data.Category.Functor.Tuple1 (->) (->) ()) (Data.Category.Functor.DiagProd (->))), (Data.Category.Functor.Functor m,
 Data.Category.Functor.Dom m ~ k,
 Data.Category.Functor.Cod m ~ k) =>
Data.Category.Functor.Functor (Data.Category.Dialg.FreeAlg m), (Data.Category.Functor.Functor m,
 Data.Category.Functor.Dom m ~ k,
 Data.Category.Functor.Cod m ~ k) =>
Data.Category.Functor.Functor (Data.Category.Dialg.ForgetAlg m)
  39% (  7 / 18) in 'Data.Category.Dialg'
Warning: Data.Category.NNO: We do not support associated types in instances yet. These instances are affected:
Data.Category.NNO.HasNaturalNumberObject (->), Data.Category.NNO.HasNaturalNumberObject Data.Category.Functor.Cat, (Data.Category.Functor.Functor z,
 Data.Category.Functor.Functor s,
 Data.Category.Functor.Dom z ~ Data.Category.Unit.Unit,
 Data.Category.Functor.Cod z ~ Data.Category.Functor.Dom s,
 Data.Category.Functor.Dom s ~ Data.Category.Functor.Cod s) =>
Data.Category.Functor.Functor (Data.Category.NNO.PrimRec z s)
  20% (  1 /  5) in 'Data.Category.NNO'
Warning: Data.Category.Simplex: We do not support associated types in instances yet. These instances are affected:
Data.Category.Limit.HasInitialObject Data.Category.Simplex.Simplex, Data.Category.Limit.HasTerminalObject Data.Category.Simplex.Simplex, Data.Category.Functor.Functor Data.Category.Simplex.Forget, Data.Category.Functor.Functor Data.Category.Simplex.Add, Data.Category.Monoidal.TensorProduct Data.Category.Simplex.Add, Data.Category.Monoidal.TensorProduct f =>
Data.Category.Functor.Functor (Data.Category.Simplex.Replicate f a)
  38% (  5 / 13) in 'Data.Category.Simplex'
  10% (  1 / 10) in 'Data.Category.Comma'
Documentation created: dist/doc/html/data-category/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/data-category-0.6.0
Registering data-category-0.6.0...
Installed data-category-0.6.0

Test log

No test log was submitted for this report.