Build #1 for functor-utils-1.1
| Package | functor-utils-1.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-02-12 03:28:47.473202 UTC |
|---|---|
| Compiler | ghc-7.10.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ghc-prim-0.4.0.0, base-4.8.2.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring functor-utils-1.1...
Building functor-utils-1.1...
Preprocessing library functor-utils-1.1...
[1 of 1] Compiling Data.Functor.Utils ( src/Data/Functor/Utils.hs, dist/build/Data/Functor/Utils.o )
src/Data/Functor/Utils.hs:10:1: Warning:
Top-level binding with no type signature:
fmap1 :: forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:11:1: Warning:
Top-level binding with no type signature:
fmap2 :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:12:1: Warning:
Top-level binding with no type signature:
fmap3 :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:13:1: Warning:
Top-level binding with no type signature:
fmap4 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:14:1: Warning:
Top-level binding with no type signature:
fmap5 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:15:1: Warning:
Top-level binding with no type signature:
fmap6 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:16:1: Warning:
Top-level binding with no type signature:
fmap7 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:17:1: Warning:
Top-level binding with no type signature:
fmap8 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:18:1: Warning:
Top-level binding with no type signature:
fmap9 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
(f8 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:22:1: Warning:
Top-level binding with no type signature:
dot1 :: forall a b (f :: * -> *).
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:23:1: Warning:
Top-level binding with no type signature:
dot2 :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:24:1: Warning:
Top-level binding with no type signature:
dot3 :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:25:1: Warning:
Top-level binding with no type signature:
dot4 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:26:1: Warning:
Top-level binding with no type signature:
dot5 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:27:1: Warning:
Top-level binding with no type signature:
dot6 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b
(f5 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:28:1: Warning:
Top-level binding with no type signature:
dot7 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b
(f6 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:29:1: Warning:
Top-level binding with no type signature:
dot8 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b
(f7 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:30:1: Warning:
Top-level binding with no type signature:
dot9 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b
(f8 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:39:1: Warning:
Top-level binding with no type signature:
(∘) :: forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:40:1: Warning:
Top-level binding with no type signature:
(∘∘) :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:41:1: Warning:
Top-level binding with no type signature:
(∘∘∘) :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:42:1: Warning:
Top-level binding with no type signature:
(∘∘∘∘) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:43:1: Warning:
Top-level binding with no type signature:
(∘∘∘∘∘) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:56:1: Warning:
Top-level binding with no type signature:
(.:) :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:57:1: Warning:
Top-level binding with no type signature:
(.:.) :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:58:1: Warning:
Top-level binding with no type signature:
(.::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:59:1: Warning:
Top-level binding with no type signature:
(.::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:60:1: Warning:
Top-level binding with no type signature:
(.:::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b
(f5 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:61:1: Warning:
Top-level binding with no type signature:
(.:::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b
(f6 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:62:1: Warning:
Top-level binding with no type signature:
(.::::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b
(f7 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:63:1: Warning:
Top-level binding with no type signature:
(.::::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b
(f8 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:72:1: Warning:
Top-level binding with no type signature:
(<∘>) :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:73:1: Warning:
Top-level binding with no type signature:
(<∘∘>) :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:74:1: Warning:
Top-level binding with no type signature:
(<∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:75:1: Warning:
Top-level binding with no type signature:
(<∘∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:76:1: Warning:
Top-level binding with no type signature:
(<∘∘∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:80:1: Warning:
Top-level binding with no type signature:
(<<∘>>) :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:83:1: Warning:
Top-level binding with no type signature:
(<<$>>) :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:97:1: Warning:
Top-level binding with no type signature:
nested :: forall (f :: * -> *)
(m :: * -> *)
(n :: * -> *)
a
(f1 :: * -> *)
(m1 :: * -> *)
(n1 :: * -> *)
a1.
(Functor f, Functor f1) =>
(f1 (NestedFunctor m1 n1 a1) -> f (NestedFunctor m n a))
-> f1 (m1 (n1 a1)) -> f (m (n a))
In-place registering functor-utils-1.1...
Running Haddock for functor-utils-1.1...
Running hscolour for functor-utils-1.1...
Preprocessing library functor-utils-1.1...
Preprocessing library functor-utils-1.1...
src/Data/Functor/Utils.hs:10:1: Warning:
Top-level binding with no type signature:
fmap1 :: forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:11:1: Warning:
Top-level binding with no type signature:
fmap2 :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:12:1: Warning:
Top-level binding with no type signature:
fmap3 :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:13:1: Warning:
Top-level binding with no type signature:
fmap4 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:14:1: Warning:
Top-level binding with no type signature:
fmap5 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:15:1: Warning:
Top-level binding with no type signature:
fmap6 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:16:1: Warning:
Top-level binding with no type signature:
fmap7 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:17:1: Warning:
Top-level binding with no type signature:
fmap8 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:18:1: Warning:
Top-level binding with no type signature:
fmap9 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
(f8 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:22:1: Warning:
Top-level binding with no type signature:
dot1 :: forall a b (f :: * -> *).
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:23:1: Warning:
Top-level binding with no type signature:
dot2 :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:24:1: Warning:
Top-level binding with no type signature:
dot3 :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:25:1: Warning:
Top-level binding with no type signature:
dot4 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:26:1: Warning:
Top-level binding with no type signature:
dot5 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:27:1: Warning:
Top-level binding with no type signature:
dot6 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b
(f5 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:28:1: Warning:
Top-level binding with no type signature:
dot7 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b
(f6 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:29:1: Warning:
Top-level binding with no type signature:
dot8 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b
(f7 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:30:1: Warning:
Top-level binding with no type signature:
dot9 :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b
(f8 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:39:1: Warning:
Top-level binding with no type signature:
(∘) :: forall (f :: * -> *) a b.
Functor f =>
(a -> b) -> f a -> f b
src/Data/Functor/Utils.hs:40:1: Warning:
Top-level binding with no type signature:
(∘∘) :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:41:1: Warning:
Top-level binding with no type signature:
(∘∘∘) :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:42:1: Warning:
Top-level binding with no type signature:
(∘∘∘∘) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:43:1: Warning:
Top-level binding with no type signature:
(∘∘∘∘∘) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:56:1: Warning:
Top-level binding with no type signature:
(.:) :: forall (f :: * -> *) a b (f1 :: * -> *).
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:57:1: Warning:
Top-level binding with no type signature:
(.:.) :: forall (f :: * -> *) (f1 :: * -> *) a b (f2 :: * -> *).
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:58:1: Warning:
Top-level binding with no type signature:
(.::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
a
b
(f3 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:59:1: Warning:
Top-level binding with no type signature:
(.::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b
(f4 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:60:1: Warning:
Top-level binding with no type signature:
(.:::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b
(f5 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:61:1: Warning:
Top-level binding with no type signature:
(.:::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b
(f6 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 a))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 b))))))
src/Data/Functor/Utils.hs:62:1: Warning:
Top-level binding with no type signature:
(.::::) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
a
b
(f7 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 a)))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 b)))))))
src/Data/Functor/Utils.hs:63:1: Warning:
Top-level binding with no type signature:
(.::::.) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
(f6 :: * -> *)
(f7 :: * -> *)
a
b
(f8 :: * -> *).
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5, Functor f6, Functor f7, Functor f8) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 a))))))))
-> f (f1 (f2 (f3 (f4 (f5 (f6 (f7 (f8 b))))))))
src/Data/Functor/Utils.hs:72:1: Warning:
Top-level binding with no type signature:
(<∘>) :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:73:1: Warning:
Top-level binding with no type signature:
(<∘∘>) :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:74:1: Warning:
Top-level binding with no type signature:
(<∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3) =>
(a -> b) -> f (f1 (f2 (f3 a))) -> f (f1 (f2 (f3 b)))
src/Data/Functor/Utils.hs:75:1: Warning:
Top-level binding with no type signature:
(<∘∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4) =>
(a -> b) -> f (f1 (f2 (f3 (f4 a)))) -> f (f1 (f2 (f3 (f4 b))))
src/Data/Functor/Utils.hs:76:1: Warning:
Top-level binding with no type signature:
(<∘∘∘∘∘>) :: forall (f :: * -> *)
(f1 :: * -> *)
(f2 :: * -> *)
(f3 :: * -> *)
(f4 :: * -> *)
(f5 :: * -> *)
a
b.
(Functor f, Functor f1, Functor f2, Functor f3, Functor f4,
Functor f5) =>
(a -> b)
-> f (f1 (f2 (f3 (f4 (f5 a))))) -> f (f1 (f2 (f3 (f4 (f5 b)))))
src/Data/Functor/Utils.hs:80:1: Warning:
Top-level binding with no type signature:
(<<∘>>) :: forall (f :: * -> *) (f1 :: * -> *) (f2 :: * -> *) a b.
(Functor f, Functor f1, Functor f2) =>
(a -> b) -> f (f1 (f2 a)) -> f (f1 (f2 b))
src/Data/Functor/Utils.hs:83:1: Warning:
Top-level binding with no type signature:
(<<$>>) :: forall (f :: * -> *) (f1 :: * -> *) a b.
(Functor f, Functor f1) =>
(a -> b) -> f (f1 a) -> f (f1 b)
src/Data/Functor/Utils.hs:97:1: Warning:
Top-level binding with no type signature:
nested :: forall (f :: * -> *)
(m :: * -> *)
(n :: * -> *)
a
(f1 :: * -> *)
(m1 :: * -> *)
(n1 :: * -> *)
a1.
(Functor f, Functor f1) =>
(f1 (NestedFunctor m1 n1 a1) -> f (NestedFunctor m n a))
-> f1 (m1 (n1 a1)) -> f (m (n a))
Haddock coverage:
2% ( 1 / 44) in 'Data.Functor.Utils'
Missing documentation for:
Module header
fmap1 (src/Data/Functor/Utils.hs:10)
fmap2 (src/Data/Functor/Utils.hs:11)
fmap3 (src/Data/Functor/Utils.hs:12)
fmap4 (src/Data/Functor/Utils.hs:13)
fmap5 (src/Data/Functor/Utils.hs:14)
fmap6 (src/Data/Functor/Utils.hs:15)
fmap7 (src/Data/Functor/Utils.hs:16)
fmap8 (src/Data/Functor/Utils.hs:17)
fmap9 (src/Data/Functor/Utils.hs:18)
dot1 (src/Data/Functor/Utils.hs:22)
dot2 (src/Data/Functor/Utils.hs:23)
dot3 (src/Data/Functor/Utils.hs:24)
dot4 (src/Data/Functor/Utils.hs:25)
dot5 (src/Data/Functor/Utils.hs:26)
dot6 (src/Data/Functor/Utils.hs:27)
dot7 (src/Data/Functor/Utils.hs:28)
dot8 (src/Data/Functor/Utils.hs:29)
dot9 (src/Data/Functor/Utils.hs:30)
∘ (src/Data/Functor/Utils.hs:39)
∘∘ (src/Data/Functor/Utils.hs:40)
∘∘∘ (src/Data/Functor/Utils.hs:41)
∘∘∘∘ (src/Data/Functor/Utils.hs:42)
∘∘∘∘∘ (src/Data/Functor/Utils.hs:43)
. (src/Data/Functor/Utils.hs:54)
.: (src/Data/Functor/Utils.hs:56)
.:. (src/Data/Functor/Utils.hs:57)
.:: (src/Data/Functor/Utils.hs:58)
.::. (src/Data/Functor/Utils.hs:59)
.::: (src/Data/Functor/Utils.hs:60)
.:::. (src/Data/Functor/Utils.hs:61)
.:::: (src/Data/Functor/Utils.hs:62)
.::::. (src/Data/Functor/Utils.hs:63)
<∘> (src/Data/Functor/Utils.hs:72)
<∘∘> (src/Data/Functor/Utils.hs:73)
<∘∘∘> (src/Data/Functor/Utils.hs:74)
<∘∘∘∘> (src/Data/Functor/Utils.hs:75)
<∘∘∘∘∘> (src/Data/Functor/Utils.hs:76)
<<∘>> (src/Data/Functor/Utils.hs:80)
<<$>> (src/Data/Functor/Utils.hs:83)
(src/Data/Functor/Utils.hs:94)
nested (src/Data/Functor/Utils.hs:97)
Functors (src/Data/Functor/Utils.hs:101)
Documentation created: dist/doc/html/functor-utils/index.html,
dist/doc/html/functor-utils/functor-utils.txt
Creating package registration file:
/tmp/pkgConf-functor-utils-1278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.3/functor-utils-1.1-E3rF7CzyRMU3BWXjrzRWdN
Registering functor-utils-1.1...
Installed functor-utils-1.1
Test log
No test log was submitted for this report.